Fossil SCM
Reduced the space around floated left/right Pikchr elements in the default CSS, applied as part of [947c039073]. It was giving each 4em all the way around, but it now gives 2em to the sides and 1em top and bottom, which seems plenty in all conceivable contexts.
Commit
97c9cae468550f335e3b44914800183b4fd1515bb021925026a3dc1ef255dbaa
Parent
3481761e6c28723…
1 file changed
+2
-2
+2
-2
| --- src/default.css | ||
| +++ src/default.css | ||
| @@ -1806,16 +1806,16 @@ | ||
| 1806 | 1806 | margin-left: 4em; |
| 1807 | 1807 | } |
| 1808 | 1808 | div.pikchr-wrapper.float-left:not(.source), |
| 1809 | 1809 | div.pikchr-wrapper.float-left.source.source-inline { |
| 1810 | 1810 | float: left; |
| 1811 | - padding: 4em; | |
| 1811 | + padding: 1em 2em; | |
| 1812 | 1812 | } |
| 1813 | 1813 | div.pikchr-wrapper.float-right:not(.source), |
| 1814 | 1814 | div.pikchr-wrapper.float-right.source.source-inline{ |
| 1815 | 1815 | float: right; |
| 1816 | - padding: 4em; | |
| 1816 | + padding: 1em 2em; | |
| 1817 | 1817 | } |
| 1818 | 1818 | |
| 1819 | 1819 | /* For pikchr-wrapper.source mode, toggle pre.pikchr-src and |
| 1820 | 1820 | svg.pikchr visibility... */ |
| 1821 | 1821 | div.pikchr-wrapper.source > div.pikchr-src { |
| 1822 | 1822 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1806,16 +1806,16 @@ | |
| 1806 | margin-left: 4em; |
| 1807 | } |
| 1808 | div.pikchr-wrapper.float-left:not(.source), |
| 1809 | div.pikchr-wrapper.float-left.source.source-inline { |
| 1810 | float: left; |
| 1811 | padding: 4em; |
| 1812 | } |
| 1813 | div.pikchr-wrapper.float-right:not(.source), |
| 1814 | div.pikchr-wrapper.float-right.source.source-inline{ |
| 1815 | float: right; |
| 1816 | padding: 4em; |
| 1817 | } |
| 1818 | |
| 1819 | /* For pikchr-wrapper.source mode, toggle pre.pikchr-src and |
| 1820 | svg.pikchr visibility... */ |
| 1821 | div.pikchr-wrapper.source > div.pikchr-src { |
| 1822 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1806,16 +1806,16 @@ | |
| 1806 | margin-left: 4em; |
| 1807 | } |
| 1808 | div.pikchr-wrapper.float-left:not(.source), |
| 1809 | div.pikchr-wrapper.float-left.source.source-inline { |
| 1810 | float: left; |
| 1811 | padding: 1em 2em; |
| 1812 | } |
| 1813 | div.pikchr-wrapper.float-right:not(.source), |
| 1814 | div.pikchr-wrapper.float-right.source.source-inline{ |
| 1815 | float: right; |
| 1816 | padding: 1em 2em; |
| 1817 | } |
| 1818 | |
| 1819 | /* For pikchr-wrapper.source mode, toggle pre.pikchr-src and |
| 1820 | svg.pikchr visibility... */ |
| 1821 | div.pikchr-wrapper.source > div.pikchr-src { |
| 1822 |