Skip to content

Commit

Permalink
Latex font fix (#4449)
Browse files Browse the repository at this point in the history
  • Loading branch information
shawnyama authored Aug 15, 2024
1 parent 46a232d commit c24d7c1
Show file tree
Hide file tree
Showing 5 changed files with 5 additions and 4 deletions.
2 changes: 1 addition & 1 deletion packages/client/hmi-client/src/assets/css/reset.css
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ body {
}

/* The :not(.pi) selector is used to avoid resetting the styles of the PrimeIcons */
a, div, em, figure, footer, form, h1, h2, h3, h4, h5, h6, header, img, li, ol, p, strong, ul, span:not(.pi) {
a, div, em, figure, footer, form, h1, h2, h3, h4, h5, h6, header, img, li, ol, p, strong, ul, span:not(.pi, .katex *) {
font: inherit;
margin: 0;
padding: 0;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,7 @@ http://www.gust.org.pl/projects/e-foundry/
}

.latex-font {
font-family: 'latex-math, latex-roman12', cursive, serif;
font-family: 'latex-math, latex-roman12', serif;
font-size: medium;
font-style: italic;
}
Original file line number Diff line number Diff line change
Expand Up @@ -146,6 +146,7 @@ h6 {
.expression {
grid-area: expression;
font-size: var(--font-body-small);
}
.concept {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,7 @@ export class NestedPetrinetRenderer extends PetrinetRenderer {
transitions
.append('text')
.attr('y', (d) => -d.height / 2 - 8)
.classed('latex-fontt', true)
.classed('latex-font', true)
.style('font-style', 'italic')
.style('font-size', FONT_SIZE_SMALL)
.style('text-anchor', 'middle')
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -151,7 +151,7 @@ export class PetrinetRenderer extends BasicRenderer<NodeData, EdgeData> {
transitions
.append('text')
.attr('y', (d) => -d.height / 2 - 8)
.classed('latex-fontt', true)
.classed('latex-font', true)
.style('font-style', 'italic')
.style('font-size', FONT_SIZE_SMALL)
.style('text-anchor', 'middle')
Expand Down

0 comments on commit c24d7c1

Please sign in to comment.