diff options
Diffstat (limited to 'Master/texmf-dist/doc/epspdf/default.css')
-rw-r--r-- | Master/texmf-dist/doc/epspdf/default.css | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/epspdf/default.css b/Master/texmf-dist/doc/epspdf/default.css new file mode 100644 index 00000000000..0b1cdd46c3a --- /dev/null +++ b/Master/texmf-dist/doc/epspdf/default.css @@ -0,0 +1,56 @@ +body { + color: black; + background-color: #ffffff; + margin-left: 15px; + margin-right: 9px; + font-family: serif; +} +h1 { + font-size: xx-large; + font-weight: bold; + margin-top: 12px; + margin-bottom: 6px; +} +h1.display { + text-align: center +} +h2 { + font-size: x-large; + font-weight: bold; + margin-top: 12px; + margin-bottom: 6px; +} +h3 { + font-weight: bold; + margin-top: 9px; + margin-bottom: 3px; +} +p { + margin-top: 6px; + margin-bottom: 3px; +} +p.display { + text-align: center +} +.fineprint { + font-size: x-small; +} +table { + border-width: 0px; + margin-left: 0px; + margin-right: 6px; +} +ul { + margin-top: 9px; + margin-bottom: 9px; +} +ul li { + margin-top: 3px; + margin-bottom: 3px; + margin-left: -6px +} +pre { + margin-top: 3px; + margin-bottom: 3px; + margin-left: 0px; +}
\ No newline at end of file |