1.1 --- a/docs/web/ucx.css Fri Oct 20 13:50:13 2017 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,79 +0,0 @@
1.4 -.header, h1, h2, h3, .sidebar {
1.5 - font-family: sans-serif;
1.6 -}
1.7 -
1.8 -div.header {
1.9 - padding-top: 0.3em;
1.10 - padding-bottom: 0.5em;
1.11 - margin-bottom: 2em;
1.12 - border: none;
1.13 - border-bottom: 1px solid;
1.14 - border-bottom-color: #2E2E2E;
1.15 -}
1.16 -
1.17 -div.header span {
1.18 - font-size: 2em;
1.19 - font-weight: bold;
1.20 - margin-left: 1em;
1.21 -}
1.22 -
1.23 -div.header img {
1.24 - float: right;
1.25 -}
1.26 -
1.27 -div.sidebar {
1.28 - float: left;
1.29 - width: 15em;
1.30 -}
1.31 -
1.32 -div.nav {
1.33 - color: black;
1.34 - background-color: #E9EBEC;
1.35 - margin-bottom: 1em;
1.36 - padding-bottom: 0.1em;
1.37 -}
1.38 -
1.39 -div.nav h3 {
1.40 - color: white;
1.41 - background-color: #5B6F7A;
1.42 - font-size: 1.2em;
1.43 - padding-top: 0.2em;
1.44 - padding-bottom: 0.2em;
1.45 - padding-left: 0.5em;
1.46 - margin-top: 0;
1.47 -}
1.48 -
1.49 -div.nav ul {
1.50 - margin-top: 0;
1.51 - padding-top: 0;
1.52 - font-size: 0.95em;
1.53 -}
1.54 -
1.55 -div.content {
1.56 - margin-left: 16em;
1.57 - padding: 0;
1.58 - font-family: serif;
1.59 - font-size: 1em;
1.60 - min-width: 16em;
1.61 -}
1.62 -
1.63 -div.content h1 {
1.64 - color: white;
1.65 - background-color: #5B6F7A;
1.66 - font-size: 1.2em;
1.67 - padding-top: 0.2em;
1.68 - padding-bottom: 0.2em;
1.69 - padding-left: 0.5em;
1.70 - padding-right: 0;
1.71 - margin-top: 0;
1.72 -}
1.73 -
1.74 -div.content h2 {
1.75 - font-size: 1.2em;
1.76 -}
1.77 -
1.78 -div.content h3 {
1.79 - font-size: 1.05em;
1.80 -}
1.81 -
1.82 -
