update fonts to use \not character without left side-bearing correction, fixes #1189 (#1267)

* update fonts to use \not character without left side-bearing correction, fixes #1189

* update katex-fonts submodule

* update katex-fonts submodule

* add comment

* Update fonts submodule

* Update screenshots
This commit is contained in:
Kevin Barabash
2018-07-21 12:17:07 -07:00
committed by ylemkimon
parent e5cb511f5a
commit 8eed4e2795
4 changed files with 2 additions and 6 deletions

View File

@@ -187,12 +187,8 @@ export const buildExpression = function(
for (let i = 0; i < groups.length; i++) {
const group = groups[i];
if (group instanceof domTree.symbolNode && group.value === "\u0338") {
// Results in a solidus being overlaid over the following group/atom.
group.style.position = "absolute";
// TODO(kevinb) fix this for Safari by switching to a non-combining
// character for \not.
// This value was determined empirically.
// TODO(kevinb) figure out the real math for this value.
group.style.paddingLeft = "0.8em";
}
}

Binary file not shown.

Before

Width:  |  Height:  |  Size: 17 KiB

After

Width:  |  Height:  |  Size: 17 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 14 KiB

After

Width:  |  Height:  |  Size: 14 KiB