From fd32ca77e7beed31d601ef836be39cb6aa828a5f Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 15 Nov 2013 08:59:47 +0200
Subject: Rename documentation/ to doc/

---
 documentation/default.css | 319 ----------------------------------------------
 1 file changed, 319 deletions(-)
 delete mode 100644 documentation/default.css

(limited to 'documentation/default.css')

diff --git a/documentation/default.css b/documentation/default.css
deleted file mode 100644
index bb3805b..0000000
--- a/documentation/default.css
+++ /dev/null
@@ -1,319 +0,0 @@
-html {
-  margin     : 0;
-  padding    : 0;
-  background : white;
-}
-
-body {
-  font-family      : "Lucida Grande", Verdana, "Bitstream Vera Sans", sans-serif;
-  font-weight      : normal;
-  font-size        : 13px;
-  line-height      : 19px;
-
-  color            : black;
-
-  margin  : 0 2em 0 2em;
-  padding : 0;
-}
-
-
-body {
-  min-width: 40em;
-}
-
-#container {
-  max-width : 46em;
-  margin    : 0 auto;
-  padding   : 0 1em 0 1em;
-}
-
-
-
-/*
- * Footer
- *
- */
-#footer {
-  color       : #3a84a7;
-
-  padding     : 1em 0 0.5em 0;
-
-  font-size   : 10px;
-  line-height : 15px;
-
-  text-align: center;
-}
-
-#footer a:link, #footer a:visited {
-
-  color:#1d6699;
-  text-decoration: underline;
-}
-
-#footer a {
-  margin-left: 0.7em;
-  margin-right: 0.7em;
-}
-
-#footer p {
-  padding: 0;
-  margin: 0.3em 0 0 0;
-}
-
-/* Distribution terms.  */
-#footer #terms {
-  text-align: justify;
-
-  font-size        : 110%;
-  font-family      : monospace;
-
-  padding          : 1em 0 0.5em 0;
-}
-
-
-/*
- * Content
- *
- */
-
-#content {
-  padding    : 0em 0.1em 0 1.3em;
-  margin     : 1.4em 0 0 0;
-}
-
-#content p,
-#content ol,
-#content ul,
-#content dl {
-  text-align: justify;
-}
-
-#content h1 {
-  margin-left: -0.89em;
-}
-
-a:link {
-  color:#0536d2;
-}
-
-
-/*
- * Headings
- *
- */
-
-h1, h2, h3, h4, h5, h6 {
-  font-weight      : 500;
-}
-
-h1 { font-size  : 155%; }
-h2 { font-size  : 130%; }
-h3 { font-size  : 125%; }
-h4 { font-size  : 110%; }
-h5 { font-size  : 106%; }
-h6 { font-size  : 100%; }
-
-h1 { margin     : 1.8em 0 0.8em 0;}
-h2 { margin-top : 1.4em;}
-h3 { margin-top : 1em;}
-
-p.indent {
-  margin-left   : 1.5em;
-}
-
-
-/*
- * Fix for IE 5.5 table font problem
- *
- */
-
-table {
-  font-size     : 13px;
-}
-
-
-/*
- * table of content
- *
- */
-
-ul.toc li {
-    padding        : .4em 0em 0em 0em;
-}
-
-
-/* Toc links don't need to show when they are visited. */
-.toc a:visited {
-  color:#0536d2;
-}
-
-
-/*
- * lists
- *
- */
-
-
-/* list of links */
-ul.menu {
-  list-style-type  : none;
-}
-
-ul.menu li {
-  padding-top      : 0.3em;
-  padding-bottom   : 0.3em;
-}
-
-
-
-/* @@ I should probably use child selector here */
-/* list with multiline list-elements */
-ul.multiline li, ol.multiline li, dl.multiline dd {
-  padding-top      : 0.16em;
-  padding-bottom   : 0.16em;
-
-  font-size        : 11px;
-  line-height      : 15px;
-}
-
-
-
-/* C++ code snippet */
-pre.cxx {
-  margin-top       : 0em;
-  margin-bottom    : 2em;
-
-  margin-left      : 1em;
-}
-
-
-
-/* make code snippet */
-pre.make {
-  margin-top       : 0em;
-  margin-bottom    : 2em;
-
-  margin-left      : 1em;
-}
-
-
-
-/* terminal output */
-pre.term {
-  margin-top       : 0em;
-  margin-bottom    : 2em;
-
-  margin-left      : 1em;
-}
-
-
-/* Images */
-div.center {
-  text-align: center;
-}
-
-/* Document info. */
-#docinfo {
-  margin-top: 4em;
-  border-top: 1px dashed #000000;
-  font-size: 70%;
-}
-
-
-/* Footnote */
-
-#footnote {
-  margin-top       : 2.5em;
-}
-
-#footnote hr, hr.footnote {
-  margin-left: 0;
-  margin-bottom: 0.6em;
-  width: 8em;
-  border-top: 1px solid #000000;
-  border-right: none;
-  border-bottom: none;
-  border-left: none;
-
-}
-
-#footnote ol {
-  margin-left: 0;
-  padding-left: 1.45em;
-}
-
-#footnote li {
-  text-align       : left;
-  font-size        : 11px;
-  line-height      : 15px;
-
-  padding          : .4em 0 .4em 0;
-}
-
-
-/* Normal table with borders, etc. */
-
-table.std {
-  margin: 2em 0 2em 0;
-
-  border-collapse   : collapse;
-  border            : 1px solid;
-  border-color      : #000000;
-
-  font-size        : 11px;
-  line-height      : 14px;
-}
-
-table.std th, table.std td {
-  border  : 1px solid;
-  padding : 0.6em 0.8em 0.6em 0.8em;
-}
-
-table.std th {
-  background : #cde8f6;
-}
-
-table.std td {
-  text-align: left;
-}
-
-
-/*
- * "item | description" table.
- *
- */
-
-table.description {
-  border-style      : none;
-  border-collapse   : separate;
-  border-spacing    : 0;
-
-  font-size         : 13px;
-
-  margin            : 0.6em 0 0.6em 0;
-  padding           : 0 0 0 0;
-}
-
-table.description tr {
-  padding           : 0 0 0 0;
-  margin            : 0 0 0 0;
-}
-
-table.description * td, table.description * th {
-  border-style      : none;
-  margin            : 0 0 0 0;
-  vertical-align    : top;
-}
-
-table.description * th {
-  font-weight       : normal;
-  padding           : 0.4em 1em 0.4em 0;
-  text-align        : left;
-  white-space       : nowrap;
-  background        : none;
-}
-
-table.description * td {
-  padding           : 0.4em 0 0.4em 1em;
-  text-align        : justify;
-}
-- 
cgit v1.1