Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | 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. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
97c9cae468550f335e3b44914800183b |
| User & Date: | wyoung 2025-11-23 02:06:52.741 |
Context
|
2025-11-23
| ||
| 11:06 | Update to the latest SQLite, so as to gain access to the improved layout of the ".tables" and ".indexes" commands in the SQLite CLI. ... (check-in: 9aee493cf3 user: drh tags: trunk) | |
| 02:06 | 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. ... (check-in: 97c9cae468 user: wyoung tags: trunk) | |
|
2025-11-22
| ||
| 21:16 | Documentation updates for the robot-restrict changes of the previous check-in. ... (check-in: 3481761e6c user: drh tags: trunk) | |
Changes
Changes to src/default.css.
| ︙ | ︙ | |||
1804 1805 1806 1807 1808 1809 1810 |
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 {
float: left;
| | | | 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 |
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 {
float: left;
padding: 1em 2em;
}
div.pikchr-wrapper.float-right:not(.source),
div.pikchr-wrapper.float-right.source.source-inline{
float: right;
padding: 1em 2em;
}
/* For pikchr-wrapper.source mode, toggle pre.pikchr-src and
svg.pikchr visibility... */
div.pikchr-wrapper.source > div.pikchr-src {
/* Source code ^^^^^^^ is visible, else it is hidden */
}
|
| ︙ | ︙ |