katex 0.2.3 → 0.3.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (46) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +1 -1
  3. data/lib/katex/engine.rb +3 -2
  4. data/lib/katex/version.rb +2 -2
  5. data/vendor/katex/javascripts/katex.js +6 -5
  6. data/vendor/katex/sprockets/stylesheets/_katex.scss +23 -440
  7. data/vendor/katex/sprockets/stylesheets/katex.css.erb +23 -440
  8. data/vendor/katex/stylesheets/katex.css +1 -1
  9. metadata +2 -39
  10. data/vendor/katex/images/Image-Licensing-and-Technical-Notes.txt +0 -70
  11. data/vendor/katex/images/bcancel.svg +0 -1
  12. data/vendor/katex/images/cancel.svg +0 -1
  13. data/vendor/katex/images/doubleleftarrow.svg +0 -1
  14. data/vendor/katex/images/doubleleftrightarrow.svg +0 -1
  15. data/vendor/katex/images/doublerightarrow.svg +0 -1
  16. data/vendor/katex/images/hookleftarrow.svg +0 -1
  17. data/vendor/katex/images/hookrightarrow.svg +0 -1
  18. data/vendor/katex/images/leftarrow.svg +0 -1
  19. data/vendor/katex/images/leftdoublearrow.svg +0 -1
  20. data/vendor/katex/images/leftharpoon.svg +0 -1
  21. data/vendor/katex/images/leftharpoondown.svg +0 -1
  22. data/vendor/katex/images/leftrightarrow.svg +0 -1
  23. data/vendor/katex/images/leftrightharpoons.svg +0 -1
  24. data/vendor/katex/images/linesegment.svg +0 -1
  25. data/vendor/katex/images/longequal.svg +0 -1
  26. data/vendor/katex/images/mapsto.svg +0 -1
  27. data/vendor/katex/images/overbrace.svg +0 -1
  28. data/vendor/katex/images/overgroup.svg +0 -1
  29. data/vendor/katex/images/rightarrow.svg +0 -1
  30. data/vendor/katex/images/rightharpoon.svg +0 -1
  31. data/vendor/katex/images/rightharpoondown.svg +0 -1
  32. data/vendor/katex/images/rightleftharpoons.svg +0 -1
  33. data/vendor/katex/images/tilde1.svg +0 -1
  34. data/vendor/katex/images/tilde2.svg +0 -1
  35. data/vendor/katex/images/tilde3.svg +0 -1
  36. data/vendor/katex/images/tilde4.svg +0 -1
  37. data/vendor/katex/images/tofrom.svg +0 -1
  38. data/vendor/katex/images/twoheadleftarrow.svg +0 -1
  39. data/vendor/katex/images/twoheadrightarrow.svg +0 -1
  40. data/vendor/katex/images/underbrace.svg +0 -1
  41. data/vendor/katex/images/undergroup.svg +0 -11
  42. data/vendor/katex/images/widehat1.svg +0 -1
  43. data/vendor/katex/images/widehat2.svg +0 -1
  44. data/vendor/katex/images/widehat3.svg +0 -1
  45. data/vendor/katex/images/widehat4.svg +0 -1
  46. data/vendor/katex/images/xcancel.svg +0 -1
@@ -142,6 +142,7 @@
142
142
  overflow: hidden;
143
143
  }
144
144
  .katex .base {
145
+ position: relative;
145
146
  display: inline-block;
146
147
  }
147
148
  .katex .strut {
@@ -186,6 +187,10 @@
186
187
  font-family: KaTeX_Main;
187
188
  font-style: italic;
188
189
  }
190
+ .katex .mainrm {
191
+ font-family: KaTeX_Main;
192
+ font-style: normal;
193
+ }
189
194
  .katex .mord + .mop {
190
195
  margin-left: 0.16667em;
191
196
  }
@@ -454,15 +459,6 @@
454
459
  width: 100%;
455
460
  border-bottom-style: solid;
456
461
  }
457
- .katex .sqrt > .sqrt-sign {
458
- position: relative;
459
- }
460
- .katex .sqrt .sqrt-line {
461
- display: inline-block;
462
- position: relative;
463
- width: 100%;
464
- border-bottom-style: solid;
465
- }
466
462
  .katex .sqrt > .root {
467
463
  margin-left: 0.27777778em;
468
464
  margin-right: -0.55555556em;
@@ -1002,6 +998,10 @@
1002
998
  position: relative;
1003
999
  left: 0.326em;
1004
1000
  }
1001
+ .katex .accent .accent-body.accent-hungarian > span {
1002
+ position: relative;
1003
+ left: 0.250em;
1004
+ }
1005
1005
  .katex .mtable .vertical-separator {
1006
1006
  display: inline-block;
1007
1007
  margin: 0 -0.025em;
@@ -1019,12 +1019,23 @@
1019
1019
  .katex .mtable .col-align-r > .vlist-t {
1020
1020
  text-align: right;
1021
1021
  }
1022
+ .katex .svg-align {
1023
+ text-align: left;
1024
+ }
1025
+ .katex svg {
1026
+ display: block;
1027
+ position: absolute;
1028
+ width: 100%;
1029
+ }
1030
+ .katex svg path {
1031
+ fill: currentColor;
1032
+ }
1033
+ .katex svg line {
1034
+ stroke: currentColor;
1035
+ }
1022
1036
  .katex .stretchy {
1023
1037
  width: 100%;
1024
1038
  display: block;
1025
- background-repeat: no-repeat;
1026
- background-position: right center;
1027
- background-size: 100% 100%;
1028
1039
  }
1029
1040
  .katex .stretchy:before,
1030
1041
  .katex .stretchy:after {
@@ -1061,431 +1072,3 @@
1061
1072
  border-bottom-style: solid;
1062
1073
  border-bottom-width: 0.08em;
1063
1074
  }
1064
- .katex .widehat1 {
1065
- height: 0.24em;
1066
- background-image: url(asset-path('widehat1.svg'));
1067
- }
1068
- .katex .widehat2 {
1069
- height: 0.30em;
1070
- background-image: url(asset-path('widehat2.svg'));
1071
- }
1072
- .katex .widehat3 {
1073
- height: 0.36em;
1074
- background-image: url(asset-path('widehat3.svg'));
1075
- }
1076
- .katex .widehat4 {
1077
- height: 0.42em;
1078
- background-image: url(asset-path('widehat4.svg'));
1079
- }
1080
- .katex .tilde1 {
1081
- height: 0.26em;
1082
- background-image: url(asset-path('tilde1.svg'));
1083
- }
1084
- .katex .tilde2 {
1085
- height: 0.29em;
1086
- background-image: url(asset-path('tilde2.svg'));
1087
- }
1088
- .katex .tilde3 {
1089
- height: 0.306em;
1090
- background-image: url(asset-path('tilde3.svg'));
1091
- }
1092
- .katex .tilde4 {
1093
- height: 0.312em;
1094
- background-image: url(asset-path('tilde4.svg'));
1095
- }
1096
- .katex .rightarrow {
1097
- height: 0.522em;
1098
- min-width: 0.5em;
1099
- background-image: url(asset-path('rightarrow.svg'));
1100
- }
1101
- .katex .xrightarrow {
1102
- height: 0.522em;
1103
- min-width: 0.783em;
1104
- background-image: url(asset-path('rightarrow.svg'));
1105
- }
1106
- .katex .leftarrow {
1107
- height: 0.522em;
1108
- min-width: 0.5em;
1109
- background-image: url(asset-path('leftarrow.svg'));
1110
- }
1111
- .katex .xleftarrow {
1112
- height: 0.522em;
1113
- min-width: 0.783em;
1114
- background-image: url(asset-path('leftarrow.svg'));
1115
- }
1116
- .katex .overbrace {
1117
- height: 0.548em;
1118
- min-width: 1.6em;
1119
- background-image: url(asset-path('overbrace.svg'));
1120
- }
1121
- .katex .underbrace {
1122
- height: 0.548em;
1123
- min-width: 1.6em;
1124
- background-image: url(asset-path('underbrace.svg'));
1125
- }
1126
- .katex .leftrightarrow {
1127
- height: 0.522em;
1128
- min-width: 0.5em;
1129
- background-image: url(asset-path('leftrightarrow.svg'));
1130
- }
1131
- .katex .xleftrightarrow {
1132
- height: 0.522em;
1133
- min-width: 0.783em;
1134
- background-image: url(asset-path('leftrightarrow.svg'));
1135
- }
1136
- .katex .doublerightarrow {
1137
- height: 0.56em;
1138
- min-width: 0.783em;
1139
- background-image: url(asset-path('doublerightarrow.svg'));
1140
- }
1141
- .katex .doubleleftarrow {
1142
- height: 0.56em;
1143
- min-width: 0.783em;
1144
- background-image: url(asset-path('doubleleftarrow.svg'));
1145
- }
1146
- .katex .doubleleftrightarrow {
1147
- height: 0.56em;
1148
- min-width: 0.955em;
1149
- background-image: url(asset-path('doubleleftrightarrow.svg'));
1150
- }
1151
- .katex .leftharpoon {
1152
- height: 0.522em;
1153
- min-width: 0.5em;
1154
- background-image: url(asset-path('leftharpoon.svg'));
1155
- }
1156
- .katex .leftharpoon {
1157
- height: 0.522em;
1158
- min-width: 0.783em;
1159
- background-image: url(asset-path('leftharpoon.svg'));
1160
- }
1161
- .katex .rightharpoon {
1162
- height: 0.522em;
1163
- min-width: 0.5em;
1164
- background-image: url(asset-path('rightharpoon.svg'));
1165
- }
1166
- .katex .xrightharpoon {
1167
- height: 0.522em;
1168
- min-width: 0.783em;
1169
- background-image: url(asset-path('rightharpoon.svg'));
1170
- }
1171
- .katex .hookleftarrow {
1172
- height: 0.522em;
1173
- min-width: 0.87em;
1174
- background-image: url(asset-path('hookleftarrow.svg'));
1175
- }
1176
- .katex .hookrightarrow {
1177
- min-width: 0.87em;
1178
- height: 0.522em;
1179
- background-image: url(asset-path('hookrightarrow.svg'));
1180
- }
1181
- .katex .mapsto {
1182
- height: 0.522em;
1183
- min-width: 0.783em;
1184
- background-image: url(asset-path('mapsto.svg'));
1185
- }
1186
- .katex .leftharpoondown {
1187
- height: 0.522em;
1188
- min-width: 0.5em;
1189
- background-image: url(asset-path('leftharpoondown.svg'));
1190
- }
1191
- .katex .leftharpoondown {
1192
- height: 0.522em;
1193
- min-width: 0.783em;
1194
- background-image: url(asset-path('leftharpoondown.svg'));
1195
- }
1196
- .katex .rightharpoondown {
1197
- height: 0.522em;
1198
- min-width: 0.5em;
1199
- background-image: url(asset-path('rightharpoondown.svg'));
1200
- }
1201
- .katex .xrightharpoondown {
1202
- height: 0.522em;
1203
- min-width: 0.783em;
1204
- background-image: url(asset-path('rightharpoondown.svg'));
1205
- }
1206
- .katex .rightleftharpoons {
1207
- height: 0.716em;
1208
- min-width: 0.783em;
1209
- background-image: url(asset-path('rightleftharpoons.svg'));
1210
- }
1211
- .katex .leftrightharpoons {
1212
- height: 0.716em;
1213
- min-width: 0.783em;
1214
- background-image: url(asset-path('leftrightharpoons.svg'));
1215
- }
1216
- .katex .overgroup {
1217
- height: 0.342em;
1218
- min-width: 0.87em;
1219
- background-image: url(asset-path('overgroup.svg'));
1220
- }
1221
- .katex .undergroup {
1222
- height: 0.342em;
1223
- min-width: 0.87em;
1224
- background-image: url(asset-path('undergroup.svg'));
1225
- }
1226
- .katex .twoheadleftarrow {
1227
- height: 0.334em;
1228
- min-width: 0.86em;
1229
- background-image: url(asset-path('twoheadleftarrow.svg'));
1230
- }
1231
- .katex .twoheadrightarrow {
1232
- height: 0.334em;
1233
- min-width: 0.86em;
1234
- background-image: url(asset-path('twoheadrightarrow.svg'));
1235
- }
1236
- .katex .linesegment {
1237
- height: 0.414em;
1238
- min-width: 0.5em;
1239
- background-image: url(asset-path('linesegment.svg'));
1240
- }
1241
- .katex .longequal {
1242
- height: 0.334em;
1243
- min-width: 0.5em;
1244
- background-image: url(asset-path('longequal.svg'));
1245
- }
1246
- .katex .tofrom {
1247
- height: 0.528em;
1248
- min-width: 0.86em;
1249
- background-image: url(asset-path('tofrom.svg'));
1250
- }
1251
- .katex .cancel {
1252
- background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1253
- }
1254
- .katex .bcancel {
1255
- background: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1256
- }
1257
- .katex .xcancel {
1258
- background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1259
- }
1260
- @media screen and (min-width: 0\0) {
1261
- .katex .mask {
1262
- background-color: transparent !important;
1263
- }
1264
- .katex .bcancel,
1265
- .katex .bcancel-mask {
1266
- background-color: transparent !important;
1267
- background-image: url(asset-path('bcancel.svg'));
1268
- }
1269
- .katex .cancel,
1270
- .katex .cancel-mask {
1271
- background-color: transparent !important;
1272
- background-image: url(asset-path('cancel.svg'));
1273
- }
1274
- .katex .xcancel,
1275
- .katex .xcancel-mask {
1276
- background-color: transparent !important;
1277
- background-image: url(asset-path('xcancel.svg'));
1278
- }
1279
- }
1280
- @supports ((mask-image:none) or (-webkit-mask:none)) {
1281
- .katex .mask,
1282
- .katex .bcancel-mask,
1283
- .katex .cancel-mask,
1284
- .katex .xcancel-mask {
1285
- background-image: none;
1286
- }
1287
- }
1288
- @supports not ((mask-image:none) or (-webkit-mask:none)) {
1289
- .katex .mask {
1290
- background-color: transparent !important;
1291
- }
1292
- .katex .cancel-mask {
1293
- background-color: transparent !important;
1294
- background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1295
- }
1296
- .katex .bcancel-mask {
1297
- background-color: transparent !important;
1298
- background: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1299
- }
1300
- .katex .xcancel-mask {
1301
- background-color: transparent !important;
1302
- background: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1303
- }
1304
- }
1305
- .katex .cancel-mask {
1306
- mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1307
- -webkit-mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1308
- }
1309
- .katex .bcancel-mask {
1310
- mask-image: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1311
- -webkit-mask-image: linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1312
- }
1313
- .katex .xcancel-mask {
1314
- mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1315
- -webkit-mask-image: linear-gradient(to top left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%), linear-gradient(to top right, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 0) calc(50% - 0.04em - 0.5px), #000000 calc(50% - 0.04em), #000000 calc(50% + 0.04em), rgba(0, 0, 0, 0) calc(50% + 0.04em + 0.5px), rgba(0, 0, 0, 0) 100%);
1316
- }
1317
- @supports (-ms-touch-action: none) {
1318
- .katex .bcancel,
1319
- .katex .bcancel-mask {
1320
- background-color: transparent !important;
1321
- background-image: url(asset-path('bcancel.svg'));
1322
- }
1323
- .katex .cancel,
1324
- .katex .cancel-mask {
1325
- background-color: transparent !important;
1326
- background-image: url(asset-path('cancel.svg'));
1327
- }
1328
- .katex .xcancel,
1329
- .katex .xcancel-mask {
1330
- background-color: transparent !important;
1331
- background-image: url(asset-path('xcancel.svg'));
1332
- }
1333
- }
1334
- .katex .widehat1-mask {
1335
- -webkit-mask: url(asset-path('widehat1.svg'));
1336
- mask: url(asset-path('widehat1.svg')) no-repeat;
1337
- }
1338
- .katex .widehat2-mask {
1339
- -webkit-mask: url(asset-path('widehat2.svg'));
1340
- mask: url(asset-path('widehat2.svg')) no-repeat;
1341
- }
1342
- .katex .widehat3-mask {
1343
- -webkit-mask: url(asset-path('widehat3.svg'));
1344
- mask: url(asset-path('widehat3.svg')) no-repeat;
1345
- }
1346
- .katex .widehat4-mask {
1347
- -webkit-mask: url(asset-path('widehat4.svg'));
1348
- mask: url(asset-path('widehat4.svg')) no-repeat;
1349
- }
1350
- .katex .tilde1-mask {
1351
- -webkit-mask: url(asset-path('tilde1.svg'));
1352
- mask: url(asset-path('tilde1.svg')) no-repeat;
1353
- }
1354
- .katex .tilde2-mask {
1355
- -webkit-mask: url(asset-path('tilde2.svg'));
1356
- mask: url(asset-path('tilde2.svg')) no-repeat;
1357
- }
1358
- .katex .tilde3-mask {
1359
- -webkit-mask: url(asset-path('tilde3.svg'));
1360
- mask: url(asset-path('tilde3.svg')) no-repeat;
1361
- }
1362
- .katex .tilde4-mask {
1363
- -webkit-mask: url(asset-path('tilde4.svg'));
1364
- mask: url(asset-path('tilde4.svg')) no-repeat;
1365
- }
1366
- .katex .rightarrow-mask {
1367
- mask: url(asset-path('rightarrow.svg'));
1368
- -webkit-mask: url(asset-path('rightarrow.svg'));
1369
- }
1370
- .katex .xrightarrow-mask {
1371
- mask: url(asset-path('rightarrow.svg'));
1372
- -webkit-mask: url(asset-path('rightarrow.svg'));
1373
- }
1374
- .katex .leftarrow-mask {
1375
- mask: url(asset-path('leftarrow.svg'));
1376
- -webkit-mask: url(asset-path('leftarrow.svg'));
1377
- }
1378
- .katex .xleftarrow-mask {
1379
- mask: url(asset-path('leftarrow.svg'));
1380
- -webkit-mask: url(asset-path('leftarrow.svg'));
1381
- }
1382
- .katex .overbrace-mask {
1383
- min-width: 1.6em;
1384
- mask: url(asset-path('overbrace.svg'));
1385
- -webkit-mask: url(asset-path('overbrace.svg'));
1386
- }
1387
- .katex .underbrace-mask {
1388
- min-width: 1.6em;
1389
- mask: url(asset-path('underbrace.svg'));
1390
- -webkit-mask: url(asset-path('underbrace.svg'));
1391
- }
1392
- .katex .leftrightarrow-mask {
1393
- mask: url(asset-path('leftrightarrow.svg'));
1394
- -webkit-mask: url(asset-path('leftrightarrow.svg'));
1395
- }
1396
- .katex .xleftrightarrow-mask {
1397
- mask: url(asset-path('leftrightarrow.svg'));
1398
- -webkit-mask: url(asset-path('leftrightarrow.svg'));
1399
- }
1400
- .katex .doublerightarrow-mask {
1401
- mask: url(asset-path('doublerightarrow.svg'));
1402
- -webkit-mask: url(asset-path('doublerightarrow.svg'));
1403
- }
1404
- .katex .doubleleftarrow-mask {
1405
- mask: url(asset-path('doubleleftarrow.svg'));
1406
- -webkit-mask: url(asset-path('doubleleftarrow.svg'));
1407
- }
1408
- .katex .doubleleftrightarrow-mask {
1409
- mask: url(asset-path('doubleleftrightarrow.svg'));
1410
- -webkit-mask: url(asset-path('doubleleftrightarrow.svg'));
1411
- }
1412
- .katex .leftharpoon-mask {
1413
- mask: url(asset-path('leftharpoon.svg'));
1414
- -webkit-mask: url(asset-path('leftharpoon.svg'));
1415
- }
1416
- .katex .xleftharpoon-mask {
1417
- mask: url(asset-path('leftharpoon.svg'));
1418
- -webkit-mask: url(asset-path('leftharpoon.svg'));
1419
- }
1420
- .katex .rightharpoon-mask {
1421
- mask: url(asset-path('rightharpoon.svg'));
1422
- -webkit-mask: url(asset-path('rightharpoon.svg'));
1423
- }
1424
- .katex .xrightharpoon-mask {
1425
- mask: url(asset-path('rightharpoon.svg'));
1426
- -webkit-mask: url(asset-path('rightharpoon.svg'));
1427
- }
1428
- .katex .hookleftarrow-mask {
1429
- mask: url(asset-path('hookleftarrow.svg'));
1430
- -webkit-mask: url(asset-path('hookleftarrow.svg'));
1431
- }
1432
- .katex .hookrightarrow-mask {
1433
- mask: url(asset-path('hookrightarrow.svg'));
1434
- -webkit-mask: url(asset-path('hookrightarrow.svg'));
1435
- }
1436
- .katex .mapsto-mask {
1437
- mask: url(asset-path('mapsto.svg'));
1438
- -webkit-mask: url(asset-path('mapsto.svg'));
1439
- }
1440
- .katex .leftharpoondown-mask {
1441
- mask: url(asset-path('leftharpoondown.svg'));
1442
- -webkit-mask: url(asset-path('leftharpoondown.svg'));
1443
- }
1444
- .katex .xleftharpoondown-mask {
1445
- mask: url(asset-path('leftharpoondown.svg'));
1446
- -webkit-mask: url(asset-path('leftharpoondown.svg'));
1447
- }
1448
- .katex .rightharpoondown-mask {
1449
- mask: url(asset-path('rightharpoondown.svg'));
1450
- -webkit-mask: url(asset-path('rightharpoondown.svg'));
1451
- }
1452
- .katex .xrightharpoondown-mask {
1453
- mask: url(asset-path('rightharpoondown.svg'));
1454
- -webkit-mask: url(asset-path('rightharpoondown.svg'));
1455
- }
1456
- .katex .rightleftharpoons-mask {
1457
- mask: url(asset-path('rightleftharpoons.svg'));
1458
- -webkit-mask: url(asset-path('rightleftharpoons.svg'));
1459
- }
1460
- .katex .leftrightharpoons-mask {
1461
- mask: url(asset-path('leftrightharpoons.svg'));
1462
- -webkit-mask: url(asset-path('leftrightharpoons.svg'));
1463
- }
1464
- .katex .overgroup-mask {
1465
- mask: url(asset-path('overgroup.svg'));
1466
- -webkit-mask: url(asset-path('overgroup.svg'));
1467
- }
1468
- .katex .undergroup-mask {
1469
- mask: url(asset-path('undergroup.svg'));
1470
- -webkit-mask: url(asset-path('undergroup.svg'));
1471
- }
1472
- .katex .twoheadleftarrow-mask {
1473
- mask: url(asset-path('twoheadleftarrow.svg'));
1474
- -webkit-mask: url(asset-path('twoheadleftarrow.svg'));
1475
- }
1476
- .katex .twoheadrightarrow-mask {
1477
- mask: url(asset-path('twoheadrightarrow.svg'));
1478
- -webkit-mask: url(asset-path('twoheadrightarrow.svg'));
1479
- }
1480
- .katex .linesegment-mask {
1481
- mask: url(asset-path('linesegment.svg'));
1482
- -webkit-mask: url(asset-path('linesegment.svg'));
1483
- }
1484
- .katex .longequal-mask {
1485
- mask: url(asset-path('longequal.svg'));
1486
- -webkit-mask: url(asset-path('longequal.svg'));
1487
- }
1488
- .katex .tofrom-mask {
1489
- mask: url(asset-path('tofrom.svg'));
1490
- -webkit-mask: url(asset-path('tofrom.svg'));
1491
- }