diff -r 92c22c0fa8e8 -r 2c21b42cf11d docs/web/ucx.css
--- a/docs/web/ucx.css	Fri Oct 20 13:50:13 2017 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,79 +0,0 @@
-.header, h1, h2, h3, .sidebar {
-    font-family: sans-serif;
-}
-
-div.header {
-    padding-top: 0.3em;
-    padding-bottom: 0.5em;
-    margin-bottom: 2em;
-    border: none;
-    border-bottom: 1px solid;
-    border-bottom-color: #2E2E2E;
-}
-
-div.header span {
-    font-size: 2em;
-    font-weight: bold;
-    margin-left: 1em;
-}
-
-div.header img {
-    float: right;
-}
-
-div.sidebar {
-    float: left;
-    width: 15em;
-}
-
-div.nav {
-    color: black;
-    background-color: #E9EBEC;
-    margin-bottom: 1em;
-    padding-bottom: 0.1em;
-}
-
-div.nav h3 {
-    color: white;
-    background-color: #5B6F7A;
-    font-size: 1.2em;
-    padding-top: 0.2em;
-    padding-bottom: 0.2em;
-    padding-left: 0.5em;
-    margin-top: 0;
-}
-
-div.nav ul {
-    margin-top: 0;
-    padding-top: 0;
-    font-size: 0.95em;
-}
-
-div.content {
-    margin-left: 16em;
-    padding: 0;
-    font-family: serif;
-    font-size: 1em;
-    min-width: 16em;
-}
-
-div.content h1 {
-    color: white;
-    background-color: #5B6F7A;
-    font-size: 1.2em;
-    padding-top: 0.2em;
-    padding-bottom: 0.2em;
-    padding-left: 0.5em;
-    padding-right: 0;
-    margin-top: 0;
-}
-
-div.content h2 {
-    font-size: 1.2em;
-}
-
-div.content h3 {
-    font-size: 1.05em;
-}
-
-