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; }