Differences From Artifact [0ae6c1eb35]:
- File src/default.css — part of check-in [7e97f4999b] at 2024-10-12 23:08:18 on branch omit-cr — Minor style tweaks to the open-in-pikchrshow links. No functional changes. (user: stephan size: 46063)
To Artifact [3a83ddf9d2]:
- File src/default.css — part of check-in [c0f192102a] at 2024-10-13 00:50:22 on branch omit-cr — Add a small bottom margin to the open-in-pikchr links so that the links in pikchr's own user manual don't crowd up directly next to immediately-following pikchrs. It's still a bit tight, but any more margin and it's too much when the following element is _not_ a pikchr. We could maybe solve this better by moving the link to the top of the picture instead of the bottom? (user: stephan size: 46087) [more...]
| ︙ | ︙ | |||
1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 |
/*Source code for a pikchr*/
box-sizing: border-box;
text-align: left;
}
div.pikchr-src > span {
/*Wrapper for a link to open a pikchr in /pikchrshow*/
margin-top: 0.5em;
font-size: 85%;
}
div.pikchr-src > span::before {
content: "[";
}
div.pikchr-src > span::after {
content: "]";
| > | 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 |
/*Source code for a pikchr*/
box-sizing: border-box;
text-align: left;
}
div.pikchr-src > span {
/*Wrapper for a link to open a pikchr in /pikchrshow*/
margin-top: 0.5em;
margin-bottom: 0.5em;
font-size: 85%;
}
div.pikchr-src > span::before {
content: "[";
}
div.pikchr-src > span::after {
content: "]";
|
| ︙ | ︙ |