summaryrefslogtreecommitdiff
path: root/docs/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'docs/style.css')
-rw-r--r--docs/style.css167
1 files changed, 167 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css
new file mode 100644
index 0000000..32c47ff
--- /dev/null
+++ b/docs/style.css
@@ -0,0 +1,167 @@
+/* Sans-serif font. */
+h1, h2, h3, h4, h5, h6,
+div.title, caption.title,
+thead, p.table.header,
+div#toctitle,
+span#author, span#revnumber, span#revdate, span#revremark,
+div#footer,
+th {
+ font-family: "Lucida Grande", "Luxi Sans", "Trebuchet MS", "Bitstream Vera Sans", helvetica, verdana, arial, sans-serif;
+}
+
+p, td {
+ font-family: inherit;
+}
+
+div.overview_img {
+ float: right;
+ margin-top: 10px;
+ margin-left: 20px;
+ margin-bottom: 10px;
+}
+
+th {
+ text-align: left;
+ background: #F0F0F0;
+ padding: 5px;
+}
+
+th.sub {
+ background: none;
+}
+
+tr.current {
+ background: #90EE90;
+}
+
+tt {
+ font-size: inherit;
+}
+
+body {
+ margin: 1em 5% 1em 5%;
+}
+
+a {
+ color: #000000;
+ text-decoration: underline;
+}
+a:visited {
+ color: #000000;
+}
+
+.dg { color: #000000; }
+
+em {
+ font-style: italic;
+ /* color: navy; */
+}
+
+strong {
+ font-weight: bold;
+ color: black;
+ /* color: #083194; */
+}
+
+tt {
+ font-size: inherit;
+ color: navy;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ color: #000000;
+ margin-left: -1.0em;
+ margin-top: 0.5em;
+ margin-bottom: 0.1em;
+ line-height: 1.3;
+}
+
+h1 {
+ color: #000000;
+}
+h2 {
+ padding-top: 0.5em;
+}
+h3 {
+ float: left;
+ margin-bottom: 0.7em;
+}
+h3 + * {
+ clear: left;
+}
+
+hr {
+ border: 1px solid;
+ color: #000000;
+ width: 100%;
+}
+
+p {
+ margin-top: 0.5em;
+ margin-bottom: 0.5em;
+}
+
+ul, ol, li > p {
+ margin-top: 0;
+}
+/* ul > li { color: #aaa; } */
+ul > li > * { color: black; }
+
+pre {
+ padding: 0;
+ margin: 0;
+}
+
+dl {
+ margin-top: 0.8em;
+ margin-bottom: 0.8em;
+}
+dt {
+ margin-top: 0.5em;
+ margin-bottom: 0;
+ font-weight: bold;
+ color: #000000;
+}
+dd > *:first-child {
+ margin-top: 0.1em;
+}
+
+ul, ol {
+ list-style-position: outside;
+}
+span.aqua { color: aqua; }
+span.black { color: black; }
+span.blue { color: blue; }
+span.fuchsia { color: fuchsia; }
+span.gray { color: gray; }
+span.green { color: green; }
+span.lime { color: lime; }
+span.maroon { color: maroon; }
+span.navy { color: navy; }
+span.olive { color: olive; }
+span.purple { color: purple; }
+span.red { color: red; }
+span.silver { color: silver; }
+span.teal { color: teal; }
+span.white { color: white; }
+span.yellow { color: yellow; }
+
+span.aqua-background { background: aqua; }
+span.black-background { background: black; }
+span.blue-background { background: blue; }
+span.fuchsia-background { background: fuchsia; }
+span.gray-background { background: gray; }
+span.green-background { background: green; }
+span.lime-background { background: lime; }
+span.maroon-background { background: maroon; }
+span.navy-background { background: navy; }
+span.olive-background { background: olive; }
+span.purple-background { background: purple; }
+span.red-background { background: red; }
+span.silver-background { background: silver; }
+span.teal-background { background: teal; }
+span.white-background { background: white; }
+span.yellow-background { background: yellow; }
+
+span.big { font-size: 2em; }
+span.small { font-size: 0.6em; }