Fossil SCM

Reverted half of commit [4ad86dd5]: it incorrectly moved a CSS style instead of copying it to where it also needed to be. The user-visible effect was that centered Pikchrs varied in size according to their size and complexity, which meant that elements that should've been the same size weren't.

wyoung 2023-02-15 11:26 trunk
Commit 5ad62aba37c10313feb549184894fbe8bc479dde08fba19338f8f7cbb3810df6
1 file changed +1
--- src/default.css
+++ src/default.css
@@ -1582,10 +1582,11 @@
15821582
and does not require setting display:inline-block on the relevant
15831583
child items, but caniuse.com/css-grid suggests that some
15841584
still-seemingly-legitimate browsers don't support grid mode. */
15851585
}
15861586
div.pikchr-wrapper.center > div.pikchr-svg {
1587
+ width: 100%/*necessary for Chrome!*/;
15871588
}
15881589
div.pikchr-wrapper.center:not(.source) > pre.pikchr-src,
15891590
div.pikchr-wrapper.center:not(.source) > div.pikchr-svg,
15901591
/* ^^^ Centered non-source-view elements */
15911592
div.pikchr-wrapper.center.source.source-inline > pre.pikchr-src,
15921593
--- src/default.css
+++ src/default.css
@@ -1582,10 +1582,11 @@
1582 and does not require setting display:inline-block on the relevant
1583 child items, but caniuse.com/css-grid suggests that some
1584 still-seemingly-legitimate browsers don't support grid mode. */
1585 }
1586 div.pikchr-wrapper.center > div.pikchr-svg {
 
1587 }
1588 div.pikchr-wrapper.center:not(.source) > pre.pikchr-src,
1589 div.pikchr-wrapper.center:not(.source) > div.pikchr-svg,
1590 /* ^^^ Centered non-source-view elements */
1591 div.pikchr-wrapper.center.source.source-inline > pre.pikchr-src,
1592
--- src/default.css
+++ src/default.css
@@ -1582,10 +1582,11 @@
1582 and does not require setting display:inline-block on the relevant
1583 child items, but caniuse.com/css-grid suggests that some
1584 still-seemingly-legitimate browsers don't support grid mode. */
1585 }
1586 div.pikchr-wrapper.center > div.pikchr-svg {
1587 width: 100%/*necessary for Chrome!*/;
1588 }
1589 div.pikchr-wrapper.center:not(.source) > pre.pikchr-src,
1590 div.pikchr-wrapper.center:not(.source) > div.pikchr-svg,
1591 /* ^^^ Centered non-source-view elements */
1592 div.pikchr-wrapper.center.source.source-inline > pre.pikchr-src,
1593

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button