diff --git a/Documentation/docbook-xsl.css b/Documentation/docbook-xsl.css
--- /dev/null
@@ -0,0 +1,286 @@
+/*\r
+ CSS stylesheet for XHTML produced by DocBook XSL stylesheets.\r
+ Tested with XSL stylesheets 1.61.2, 1.67.2\r
+*/\r
+\r
+span.strong {\r
+ font-weight: bold;\r
+}\r
+\r
+body blockquote {\r
+ margin-top: .75em;\r
+ line-height: 1.5;\r
+ margin-bottom: .75em;\r
+}\r
+\r
+html body {\r
+ margin: 1em 5% 1em 5%;\r
+ line-height: 1.2;\r
+}\r
+\r
+body div {\r
+ margin: 0;\r
+}\r
+\r
+h1, h2, h3, h4, h5, h6,\r
+div.toc p b,\r
+div.list-of-figures p b,\r
+div.list-of-tables p b,\r
+div.abstract p.title\r
+{\r
+ color: #527bbd;\r
+ font-family: tahoma, verdana, sans-serif;\r
+}\r
+\r
+div.toc p:first-child,\r
+div.list-of-figures p:first-child,\r
+div.list-of-tables p:first-child,\r
+div.example p.title\r
+{\r
+ margin-bottom: 0.2em;\r
+}\r
+\r
+body h1 {\r
+ margin: .0em 0 0 -4%;\r
+ line-height: 1.3;\r
+ border-bottom: 2px solid silver;\r
+}\r
+\r
+body h2 {\r
+ margin: 0.5em 0 0 -4%;\r
+ line-height: 1.3;\r
+ border-bottom: 2px solid silver;\r
+}\r
+\r
+body h3 {\r
+ margin: .8em 0 0 -3%;\r
+ line-height: 1.3;\r
+}\r
+\r
+body h4 {\r
+ margin: .8em 0 0 -3%;\r
+ line-height: 1.3;\r
+}\r
+\r
+body h5 {\r
+ margin: .8em 0 0 -2%;\r
+ line-height: 1.3;\r
+}\r
+\r
+body h6 {\r
+ margin: .8em 0 0 -1%;\r
+ line-height: 1.3;\r
+}\r
+\r
+body hr {\r
+ border: none; /* Broken on IE6 */\r
+}\r
+div.footnotes hr {\r
+ border: 1px solid silver;\r
+}\r
+\r
+div.navheader th, div.navheader td, div.navfooter td {\r
+ font-family: sans-serif;\r
+ font-size: 0.9em;\r
+ font-weight: bold;\r
+ color: #527bbd;\r
+}\r
+div.navheader img, div.navfooter img {\r
+ border-style: none;\r
+}\r
+div.navheader a, div.navfooter a {\r
+ font-weight: normal;\r
+}\r
+div.navfooter hr {\r
+ border: 1px solid silver;\r
+}\r
+\r
+body td {\r
+ line-height: 1.2\r
+}\r
+\r
+body th {\r
+ line-height: 1.2;\r
+}\r
+\r
+ol {\r
+ line-height: 1.2;\r
+}\r
+\r
+ul, body dir, body menu {\r
+ line-height: 1.2;\r
+}\r
+\r
+html {\r
+ margin: 0; \r
+ padding: 0;\r
+}\r
+\r
+body h1, body h2, body h3, body h4, body h5, body h6 {\r
+ margin-left: 0\r
+} \r
+\r
+body pre {\r
+ margin: 0.5em 10% 0.5em 1em;\r
+ line-height: 1.0;\r
+ color: navy;\r
+}\r
+\r
+tt.literal, code.literal {\r
+ color: navy;\r
+}\r
+\r
+div.literallayout p {\r
+ padding: 0em;\r
+ margin: 0em;\r
+}\r
+\r
+div.literallayout {\r
+ font-family: monospace;\r
+# margin: 0.5em 10% 0.5em 1em;\r
+ margin: 0em;\r
+ color: navy;\r
+ border: 1px solid silver;\r
+ background: #f4f4f4;\r
+ padding: 0.5em;\r
+}\r
+\r
+.programlisting, .screen {\r
+ border: 1px solid silver;\r
+ background: #f4f4f4;\r
+ margin: 0.5em 10% 0.5em 0;\r
+ padding: 0.5em 1em;\r
+}\r
+\r
+div.sidebar {\r
+ background: #ffffee;\r
+ margin: 1.0em 10% 0.5em 0;\r
+ padding: 0.5em 1em;\r
+ border: 1px solid silver;\r
+}\r
+div.sidebar * { padding: 0; }\r
+div.sidebar div { margin: 0; }\r
+div.sidebar p.title {\r
+ font-family: sans-serif;\r
+ margin-top: 0.5em;\r
+ margin-bottom: 0.2em;\r
+}\r
+\r
+div.bibliomixed {\r
+ margin: 0.5em 5% 0.5em 1em;\r
+}\r
+\r
+div.glossary dt {\r
+ font-weight: bold;\r
+}\r
+div.glossary dd p {\r
+ margin-top: 0.2em;\r
+}\r
+\r
+dl {\r
+ margin: .8em 0;\r
+ line-height: 1.2;\r
+}\r
+\r
+dt {\r
+ margin-top: 0.5em;\r
+}\r
+\r
+dt span.term {\r
+ font-style: italic;\r
+}\r
+\r
+div.variablelist dd p {\r
+ margin-top: 0;\r
+}\r
+\r
+div.itemizedlist li, div.orderedlist li {\r
+ margin-left: -0.8em;\r
+ margin-top: 0.5em;\r
+}\r
+\r
+ul, ol {\r
+ list-style-position: outside;\r
+}\r
+\r
+div.sidebar ul, div.sidebar ol {\r
+ margin-left: 2.8em;\r
+}\r
+\r
+div.itemizedlist p.title,\r
+div.orderedlist p.title,\r
+div.variablelist p.title\r
+{\r
+ margin-bottom: -0.8em;\r
+}\r
+\r
+div.revhistory table {\r
+ border-collapse: collapse;\r
+ border: none;\r
+}\r
+div.revhistory th {\r
+ border: none;\r
+ color: #527bbd;\r
+ font-family: tahoma, verdana, sans-serif;\r
+}\r
+div.revhistory td {\r
+ border: 1px solid silver;\r
+}\r
+\r
+/* Keep TOC and index lines close together. */\r
+div.toc dl, div.toc dt,\r
+div.list-of-figures dl, div.list-of-figures dt,\r
+div.list-of-tables dl, div.list-of-tables dt,\r
+div.indexdiv dl, div.indexdiv dt\r
+{\r
+ line-height: normal;\r
+ margin-top: 0;\r
+ margin-bottom: 0;\r
+}\r
+\r
+/*\r
+ Table styling does not work because of overriding attributes in\r
+ generated HTML.\r
+*/\r
+div.table table,\r
+div.informaltable table\r
+{\r
+ margin-left: 0;\r
+ margin-right: 5%;\r
+ margin-bottom: 0.8em;\r
+}\r
+div.informaltable table\r
+{\r
+ margin-top: 0.4em\r
+}\r
+div.table thead,\r
+div.table tfoot,\r
+div.table tbody,\r
+div.informaltable thead,\r
+div.informaltable tfoot,\r
+div.informaltable tbody\r
+{\r
+ /* No effect in IE6. */\r
+ border-top: 2px solid #527bbd;\r
+ border-bottom: 2px solid #527bbd;\r
+}\r
+div.table thead, div.table tfoot,\r
+div.informaltable thead, div.informaltable tfoot\r
+{\r
+ font-weight: bold;\r
+}\r
+\r
+div.mediaobject img {\r
+ border: 1px solid silver;\r
+ margin-bottom: 0.8em;\r
+}\r
+div.figure p.title,\r
+div.table p.title\r
+{\r
+ margin-top: 1em;\r
+ margin-bottom: 0.4em;\r
+}\r
+\r
+@media print {\r
+ div.navheader, div.navfooter { display: none; }\r
+}\r