aboutsummaryrefslogtreecommitdiff
path: root/source/css/print.css (follow)
Commit message (Collapse)AuthorAgeFilesLines
* css: replace padding with margin whenever possibleZhiming Wang2015-07-261-1/+1
| | | | Also adjusted some margins.
* fix line number placementZhiming Wang2015-07-171-1/+1
| | | | | | | | | | | | | | | | | 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.
* add print stylesheetZhiming Wang2015-07-171-0/+15