1 files changed, 0 insertions, 167 deletions
diff --git a/docs/style.css b/docs/style.css
deleted file mode 100644
index 32c47ff..0000000
--- a/docs/style.css
+++ /dev/null
@@ -1,167 +0,0 @@
-/* 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; }