summaryrefslogtreecommitdiff
path: root/Build/source/texk/xdvipdfmx/style_dflt.css
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/xdvipdfmx/style_dflt.css')
-rw-r--r--Build/source/texk/xdvipdfmx/style_dflt.css95
1 files changed, 95 insertions, 0 deletions
diff --git a/Build/source/texk/xdvipdfmx/style_dflt.css b/Build/source/texk/xdvipdfmx/style_dflt.css
new file mode 100644
index 00000000000..913a4387650
--- /dev/null
+++ b/Build/source/texk/xdvipdfmx/style_dflt.css
@@ -0,0 +1,95 @@
+
+/* @import "style_base.css"; */
+
+body {
+ font-family: "Verdana", "Lucida Sans", sans-serif;
+ font-size: small medium;
+ margin-right: 2em;
+ margin-left: 11em;
+ /* font-size-adjust: .56; */
+}
+
+h1 {
+ background-image: url("doc/images/dvipdfmx-logo.png");
+ background-repeat: no-repeat;
+ background-position: top right;
+}
+
+/*
+h2, h3 {
+ font-variant: normal;
+ background-repeat: no-repeat;
+ background-position: top left;
+ margin-top: 2em;
+ margin-bottom: 1em;
+ padding: 0 0 0 16px;
+ background-image: url("doc/images/rightarrow.png");
+}
+*/
+
+.note:before, .important:before {
+ font-variant: normal;
+}
+
+.logo {
+ display: block;
+ float: right;
+}
+
+kbd, code, pre, adress,
+*.file, *.mail, *.date {
+ font-family: "Andale Mono", "Lucida Sans Typewriter", monospace;
+ /* font-size-adjust: .56; */
+}
+
+
+#navmenu {
+ display: block;
+ margin: 0;
+ padding: 0.5em;
+ font-weight: bold;
+ line-height: 120%;
+ position: absolute;
+ top: 3.0em;
+ left: 0.5em;
+ width: 7em;
+ background: white;
+ border: dashed 2px #336699;
+ overflow: hidden;
+}
+
+#navmenu p {
+ text-align: left;
+ margin: 0;
+ padding: 0.5em 0.5em;
+ border-bottom: dashed 2px #336699;
+ overflow: hidden;
+}
+
+#navmenu a[href],
+#navmenu a[href|="#sec"] {
+ font-style: normal;
+ font-weight: bold;
+}
+
+@media print {
+ #navmenu, *.logo {
+ display: none;
+ float: none;
+ overflow: hidden;
+ }
+}
+
+@media tty {
+ #navmenu, *.logo {
+ display: none;
+ float: none;
+ overflow: hidden;
+ }
+}
+
+@media screen {
+ #navmenu {
+ position: fixed;
+ }
+}