summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/epspdf/default.css
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/epspdf/default.css')
-rw-r--r--Master/texmf-dist/doc/epspdf/default.css56
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