website/inc/design.css

   1 body {
   2   background-color: white;
   3   color: black;
   4   margin: 30px;
   5   padding: 0px;
   6   font-family: sans-serif;
   7   line-height: 1.5em;
   8 }
   9 /* hide old stuff */
  10 .legacy {
  11   display: none
  12 }
  13
  14 /**************************
  15  * layout
  16  **************************/
  17 table#frame  {
  18         width: 100%;
  19         border-collapse: collapse;
  20         background-color: #1a1a1a;
  21 }
  22
  23 table#frame td {
  24         vertical-align: top;
  25         margin: 0px;
  26         padding: 0px;
  27 }
  28
  29
  30 /**************************
  31  * body
  32  **************************/
  33 div#body {
  34   color: white;
  35   margin: 40px;
  36   margin-top: 80px;
  37 }
  38
  39 div#body h1 {
  40   color: #717fe5;
  41   margin-top: 0px;
  42   margin-bottom: 0.5em;
  43   padding-bottom: 0.1em;
  44   line-height: 1em;
  45   font-size: 220%;
  46   border-bottom-style: solid;
  47   border-bottom-width: 4px;
  48   border-bottom-color: #404040;
  49 }
  50
  51 div#body h2 {
  52   color: white;
  53   margin-top: 0.6em;
  54   margin-bottom: 0.1em;
  55 }
  56
  57
  58 div#body a {
  59   color: #4a71e4;
  60 }
  61
  62 div#body a[name] {
  63   color: white;
  64 }
  65
  66 div#body a:hover {
  67   color: #7b9dff;
  68 }
  69
  70 div#body h2 a,
  71 div#body h3 a,
  72 div#body h4 a,
  73 div#body h5 a {
  74   color: white;
  75 }
  76
  77 div#body dl dd {
  78   margin-left: 1.5em;
  79 }
  80
  81 div#body dl dt {
  82   padding-top: 1em;
  83   font-weight: bold;
  84 }
  85
  86 div#body dl dt a {
  87   text-decoration: none;
  88 }
  89
  90 div#body dl p {
  91   margin-bottom: 0.2em;
  92   margin-top: 0.2em;
  93 }
  94
  95 div#body pre {
  96   border-style: solid;
  97   border-color: #bfbfbf;
  98   border-width: 1px;
  99   background-color: #606060;
 100   padding: 1em;
 101 }
 102
 103 div#body pre a{
 104   color: white;
 105 }
 106
 107 /**************************
 108  * footer
 109  **************************/
 110 table#frame td#footcell {
 111 }
 112
 113 div#address  {
 114   float: right;
 115   margin: 30px;
 116 }
 117
 118 div#address small {
 119   color: #b0b0b0;
 120   font-size: 90%;
 121 }
 122
 123 div#address a {
 124   color: #b0b0b0;
 125   text-decoration: none;
 126 }
 127
 128 /**************************
 129  * logo
 130  **************************/
 131
 132 div#logo {
 133   position: absolute;
 134   height: 62px;
 135   width: 187px;
 136   right: 80px;
 137   top: 60px;
 138   background-image: url("rrdtool-theme.png");
 139 }
 140
 141 /**************************
 142  * rrdworld
 143  **************************/
 144
 145 div.rrdworld h3 {
 146   background: #202050;
 147   margin-top: 0.1em;
 148   margin-bottom: 0.3em;
 149   padding: 3px;
 150 }
 151
 152 div.rrdworld {
 153   border-style: solid;
 154   border-color: #bfbfbf;
 155   border-width: 1px;
 156   background-color: #404040;
 157   padding: 1em;
 158   margin-top: 0.5em;
 159   margin-bottom: 1em;
 160 }
 161
 162
 163 /**************************
 164  * mirrors
 165  **************************/
 166
 167 div#mirrors {
 168   padding: 3px;
 169   padding-left: 40px;
 170   font-size: 10px;
 171 }
 172
 173 div#mirrors,
 174 div#mirrors a {
 175   color: #606060;
 176 }
 177
 178
 179 /**************************
 180  * menu
 181  **************************/
 182 table#frame td#leftcornercell,
 183 table#frame td#menucell {
 184   width: 10%;
 185   background-color: #606060;
 186 }
 187
 188 div#menu {
 189   font-weight: normal;
 190   color: white;
 191   margin-top: 20px;
 192   margin-left: 20px;
 193   margin-right: 20px;
 194   font-size: 14px;
 195   width: 120px;
 196   line-height: 1em;
 197 }
 198
 199 div#menu li {
 200   margin-top: 0.7em;
 201   margin-bottom: 0.7em;
 202 }
 203
 204 div#menu li li {
 205   margin-top: 0.5em;
 206   margin-bottom: 0.5em;
 207 }
 208
 209 div#menu a {
 210   color: black;
 211   text-decoration: none;
 212 }
 213
 214 div#menu ul ul a {
 215   color: black;
 216   text-decoration: none;
 217 }
 218
 219 div#menu ul {
 220   list-style: none;
 221   margin-left: 0px;
 222   padding-left: 0px;
 223 }
 224
 225 div#menu ul ul {
 226   padding-left: 10px;
 227   font-size: 12px;
 228 }
 229
 230 div#menu ul a,
 231 div#menu ul div.selected {
 232   padding-left: 0px;
 233 }
 234
 235 div#menu ul ul ul li {
 236   padding-left: 1em;
 237 }
 238
 239 div#menu a:hover {
 240   color: #a6a4f5;
 241 }
 242
 243 div#menu a:active {
 244   color: #7b7aba;
 245 }
 246
 247 div#menu li div.selected {
 248   color: white;
 249   font-weight: bold;
 250 }
 251