1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
|
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
|
+
+
+
+
+
+
|
div.pikchr-wrapper.center:not(.source) > pre.pikchr-src,
div.pikchr-wrapper.center:not(.source) > div.pikchr-svg,
/* ^^^ Centered non-source-view elements */
div.pikchr-wrapper.center.source.source-inline > pre.pikchr-src,
div.pikchr-wrapper.center.source.source-inline > div.pikchr-svg
/* ^^^ Centered inline-source-view elements */{
display:inline-block/*allows parent text-align to do the alignment*/;
/* ^^^^ Browser incompatibility: inline-block causes the centered
pikchr to shrink to the point of illegiblity in Chrome. The
closest match on Chrome seems to be using 'unset', which centers
by virtue of stretching it to the width of the window. Similarly,
using {display: grid; place-items: center} centers and sizes well
on FF but Chrome shrinks it in the same way. */
}
div.pikchr-wrapper.indent:not(.source),
div.pikchr-wrapper.indent.source.source-inline{
margin-left: 4em;
}
div.pikchr-wrapper.float-left:not(.source),
div.pikchr-wrapper.float-left.source.source-inline {
|