| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
Having a whole bunch of CSS files is not good for the performance of the
website.
|
| |
|
|
|
| |
Before this commit, superscripts in print adopt the sweeping body {
font-size: 12px; } rule, making them too large and protruding.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Adjust to the right font size. Most of the heavylifting is avoided by
the last commit which made all printing font sizes relative (to the base
body font size).
Also add "-webkit-print-color-adjust: exact" to the pre tag to hint
WebKit based browsers to keep my code block background color. Nothing
can be done in Firefox; users need to manually check the "Print
Background Colors" advanced printing option. IE/Edge? Who knows, who
cares.
|
| |
|
|
| |
I forgot to update print.css to match the updated DOM last time.
|
| |
|
|
| |
Also adjusted some margins.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Global font size in each style sheet has been tweaked very carefully so
that the precise line height is very close to a whole number of pixels,
so that precision alignment using em, which aligns something
precise (top: 13.5em) to something inprecise (line heights, with
accumulated errors due to rounding in every line), is not lost.
Note that Firefox is NOT supported, since each line seems to always
occupy one more pixel than the calculated line height.
For some reason line numbers in the print view are still rather
problematic at a page continuation. In Chrome and Safari, the first two
line numbers on a new page tend to overlap, so everything afterwards are
off (and on Firefox line numbers do not show up on the second page at
all). Anyway, printing shouldn't be a big concern.
|
| |
|
