diff options
author | Norbert Preining <norbert@preining.info> | 2021-07-25 03:00:49 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-07-25 03:00:49 +0000 |
commit | 70e05e80042e1e0b40202c65384883b446f03654 (patch) | |
tree | a245ddbfdcfbe4d7a24c5608e8399d759f72b3c7 /info/latex2e-help-texinfo/latex2e.css | |
parent | 9c5706814f2f593a9f52c51ad02b61e9bacd9ee4 (diff) |
CTAN sync 202107250300
Diffstat (limited to 'info/latex2e-help-texinfo/latex2e.css')
-rw-r--r-- | info/latex2e-help-texinfo/latex2e.css | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/info/latex2e-help-texinfo/latex2e.css b/info/latex2e-help-texinfo/latex2e.css index 7e784f2dbd..8efed0a6bd 100644 --- a/info/latex2e-help-texinfo/latex2e.css +++ b/info/latex2e-help-texinfo/latex2e.css @@ -1,11 +1,7 @@ -/* $Id: latex2e.css 690 2018-09-15 15:20:19Z jimhefferon $ +/* $Id: latex2e.css 935 2021-07-23 17:48:15Z jimhefferon $ Minor css for latexrefman. Public domain. Originally written by Jim Hefferon and Karl Berry, 2018. */ -/* So you can style for yourself */ -@import url("/css/latexreflocal.css"); - - BODY { margin-top: 1em; margin-left: 1em; /* auto results in two-digit <ol> lost off left */ @@ -22,3 +18,6 @@ code {font-style:normal; font-family:monospace; } /* We put a link to our own home page at the bottom. */ div.referenceinfo {font-size:small;} + +/* So you can style for yourself */ +@import url("/css/latexreflocal.css"); |