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 div#googlead_right {
 108   background-color: #1a1a1a;
 109   float: right;
 110   padding-top: 31px;
 111   padding-left: 15px;
 112   padding-right: 0px;
 113 }
 114
 115 /**************************
 116  * footer
 117  **************************/
 118 table#frame td#footcell {
 119 }
 120
 121 div#address  {
 122   float: right;
 123   margin: 30px;
 124   padding-right: 12px;
 125 }
 126
 127 div#address small {
 128   color: #b0b0b0;
 129   font-size: 90%;
 130 }
 131
 132 div#address a {
 133   color: #b0b0b0;
 134   text-decoration: none;
 135 }
 136
 137 /**************************
 138  * logo
 139  **************************/
 140
 141 div#logo {
 142   position: absolute;
 143   height: 62px;
 144   width: 187px;
 145   right: 69px;
 146   top: 60px;
 147   background-image: url("rrdtool-theme.png");
 148 }
 149
 150 /**************************
 151  * rrdworld
 152  **************************/
 153
 154 div.rrdworld h3 {
 155   background: #202050;
 156   margin-top: 0.1em;
 157   margin-bottom: 0.3em;
 158   padding: 3px;
 159 }
 160
 161 div.rrdworld {
 162   border-style: solid;
 163   border-color: #bfbfbf;
 164   border-width: 1px;
 165   background-color: #404040;
 166   padding: 1em;
 167   margin-top: 0.5em;
 168   margin-bottom: 1em;
 169 }
 170
 171
 172 /**************************
 173  * mirrors
 174  **************************/
 175
 176 div#mirrors {
 177   padding: 3px;
 178   padding-left: 40px;
 179   font-size: 10px;
 180 }
 181
 182 div#mirrors,
 183 div#mirrors a {
 184   color: #606060;
 185 }
 186
 187
 188 /**************************
 189  * menu
 190  **************************/
 191 table#frame td#leftcornercell,
 192 table#frame td#menucell {
 193   width: 10%;
 194   background-color: #606060;
 195 }
 196
 197 div#menu {
 198   font-weight: normal;
 199   color: white;
 200   margin-top: 20px;
 201   margin-left: 20px;
 202   margin-right: 20px;
 203   font-size: 14px;
 204   width: 120px;
 205   line-height: 1em;
 206 }
 207
 208 div#menu li {
 209   margin-top: 0.7em;
 210   margin-bottom: 0.7em;
 211 }
 212
 213 div#menu li li {
 214   margin-top: 0.5em;
 215   margin-bottom: 0.5em;
 216 }
 217
 218 div#menu a {
 219   color: black;
 220   text-decoration: none;
 221 }
 222
 223 div#menu ul ul a {
 224   color: black;
 225   text-decoration: none;
 226 }
 227
 228 div#menu ul {
 229   list-style: none;
 230   margin-left: 0px;
 231   padding-left: 0px;
 232 }
 233
 234 div#menu ul ul {
 235   padding-left: 10px;
 236   font-size: 12px;
 237 }
 238
 239 div#menu ul a,
 240 div#menu ul div.selected {
 241   padding-left: 0px;
 242 }
 243
 244 div#menu ul ul ul li {
 245   padding-left: 1em;
 246 }
 247
 248 div#menu a:hover {
 249   color: #a6a4f5;
 250 }
 251
 252 div#menu a:active {
 253   color: #7b7aba;
 254 }
 255
 256 div#menu li div.selected {
 257   color: white;
 258   font-weight: bold;
 259 }
 260