git.infodrom.org Git - infodrom.org/service.infodrom.org/blob - src/infodrom.css

   1 /*
   2  * General settings
   3  */
   4 body {
   5   font-family: Verdana, Helvetica, Arial, sans-serif;
   6   font-size: 13px;
   7   line-height: 18px;
   8   background-color: #f7f7f7;
   9   color: #000000;
  10 }
  11
  12 /*
  13  * No underline for links
  14  */
  15 a:link {
  16   text-decoration: none;
  17   cursor: pointer;
  18 }
  19 a:visited {
  20   text-decoration: none;
  21   cursor: pointer;
  22 }
  23
  24 /*
  25  * General layout
  26  */
  27 .font {
  28   font-size: 13px;
  29 }
  30 .smallfont {
  31   font-size: 11px;
  32   line-height: 14px;
  33 }
  34 .height {
  35   line-height: 15px;
  36 }
  37 .none {
  38   display: none;
  39 }
  40 .border {
  41   border: 1px solid #9b9b9b;
  42 }
  43 h3.bar {
  44   padding-left: 5px;
  45   padding-bottom: 2px;
  46   font-size: 15px;
  47   background: #98c5e5;
  48 }
  49 img.border {
  50   border: 2px solid #e5e5e5;
  51 }
  52 ul.webgraph li {
  53   list-style: none;
  54 }
  55 td.leftcol {
  56   padding-left: 2px;
  57 }
  58 td.rightcol {
  59   padding-right: 2px;
  60 }
  61 tr.head {
  62   background: #98c5e5;
  63 }
  64 tr.t0 {
  65   background: #ffffff;
  66 }
  67 tr.t1 {
  68   background: #d9e2ea;
  69 }
  70 tr.t2 {
  71   background: #ffff00;
  72 }
  73 td.in {
  74   color: #2f9a00;
  75 }
  76 td.out {
  77   color: #ff0000;
  78 }
  79
  80 pre {
  81   border: 1pt solid #cfcfcf;
  82   background-color: #F3F5F7;
  83   padding: 2px;
  84   padding-left: 2px;
  85   font-family: courier, monospace;
  86   white-space: pre;
  87   /* begin css 3 or browser specific rules - do not remove!
  88    * see: http://forums.techguy.org/archive/index.php/t-249849.html
  89    */
  90   white-space: pre-wrap;
  91   word-wrap: break-word;
  92   white-space: -moz-pre-wrap;
  93   white-space: -pre-wrap;
  94   white-space: -o-pre-wrap;
  95   /* end css 3 or browser specific rules */
  96 }
  97
  98 p.img img {
  99   display: block;
 100   margin-left: auto;
 101   margin-right: auto;
 102   border: 1px solid #cfcfcf;
 103 }
 104
 105 /*
 106  * Menu
 107  */
 108 p.menurule {
 109   height: 3px;
 110   width: 100%;
 111   background-color: #999999;
 112   padding: 0;
 113   margin-top: 7px;
 114   margin-bottom: 7px;
 115 }
 116
 117 /*
 118  * Formulare
 119  */
 120 input, select, textarea {
 121   border: 1px solid #aaaaaa;
 122 }
 123 input.button {
 124   width: auto;
 125   display: inline;
 126   border: 1px solid #aaaaaa;
 127 }
 128 input.button:hover {
 129   border: 1px solid #9b9b9b;
 130   background-color: #bfbfbf;
 131 }
 132
 133 /*
 134  * Footer
 135  */
 136 div.footer {
 137   clear: both;
 138   border-top: 1px solid #707070;
 139 }
 140 div.footerleft {
 141   float: left;
 142   font-size: xx-small;
 143 }
 144 div.footerright {
 145   float: right;
 146   font-size: xx-small;
 147 }
 148
 149 /*
 150  * Local variables:
 151  * mode: indented-text
 152  * mode: auto-fill
 153  * End:
 154 */