diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex2e-help-texinfo/latex2e.css')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex2e-help-texinfo/latex2e.css | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/latex2e.css b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/latex2e.css index 7e784f2dbd7..8efed0a6bd7 100644 --- a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/latex2e.css +++ b/Master/texmf-dist/doc/latex/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"); |