Fossil

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: "]";