Remove old unused CSS and associated images.

1 files changed, 0 insertions, 112 deletions

diff --git a/htdocs/docs.css b/htdocs/docs.css
deleted file mode 100644
index 90a3e40..0000000
--- a/htdocs/docs.css
+++ /dev/null
@@ -1,112 +0,0 @@
-/*!
-   Documentation Style Sheet for the W3C Markup Validation Service.
- 
-   Copyright 2003 W3C (MIT, INRIA, Keio). All Rights Reserved.
-   See <http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright>
-*/
-
-/*
-   Please Note:
-   Every selector in this stylesheet should require a parent element with the
-   class ".doc" to avoid namespace clashes. Currently the class is set on a
-   "div" element, but there is no reason to limit it to that. i.e. use the
-   ".doc" selector as parent, not "div.doc".
-*/
-
-
-/* Margins common (relative) to multiple block elements. */
-.doc h4, .doc h5, .doc p, .doc pre, .doc ul, .doc table
-{
- margin-left: 1em;
- /* margin-right: 20%; */
-margin-right: 1em;
-}
-
-/* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */
-.doc {
-  line-height: 140%; 
-}
-
-/* documentation - table of contents */
-#toc { /* making the toc a bit more compact and standing out */
-    font-size: .85em;
-    font-weight: bold;
-    margin-bottom: 40px;
-}
-
-.doc div#toc ol {
-   list-style-type: decimal;
-}
-.doc div#toc ol li ol {
-   list-style-type: lower-alpha;
-}
-.doc div#toc ol li ol li ol{
-   list-style-type: lower-roman;
-}
-
-
-/* documentation - error explanations */
-dl#expl dt code { /* headings for an error */
-  white-space: normal;
-  font-weight: bold;
-}
-
-dl#expl dt {
-  border-top: 1px dashed black;
-  margin-top: 2em;
-  margin-bottom: 1em;
-}
-
-.doc dd {
-  margin-right: 0; /* no need for the extra margin if we nicely put the text of the dd in a paragraph */
-}
-.doc var { /* headings for an error */
-  color: #006;
-}
-
-/* A snippet of code used inline. */
-.doc code {
-  white-space: normal;
-  font-weight: bold;
-  display: inline;
-  padding-left: .2em;
-  padding-right: .2em;
-  background: #eef;
-  color:      #337;
-  font-family: "Bitstream Vera Sans Mono", monospace;
-  border: 1px dotted #ccf;
-}
-
-.doc code.block {
-  display: block;
-  padding: 1em;
-  white-space: pre;
-  margin-top: 1em;
-  margin-bottom: 1em;
-  margin-right:  3em;
-}
-
-.doc code samp {
-  font-weight: normal;
-  color: black;
-  font-style: italic;
-}
-
-/* reference tables */
-
-.doc table {
-	border-collapse: collapse;
-	border-right: 1px solid #ccc;
-}
-.doc table td, .doc table th{
-	border-top: 0px solid #ddd;
-	border-bottom: 1px solid #ccc;
-	border-left: 1px solid #eee;
-	padding: 6px;
-	border-collapse: collapse;
-}
-.doc table th {
-	background-color: #eee;
-	color: #11111A;
-	border-right: 1px solid #ccc;
-}