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 }
  33 .height {
  34   line-height: 15px;
  35 }
  36 .none {
  37   display: none;
  38 }
  39 .border {
  40   border: 1px solid black;
  41 }
  42 h3.bar {
  43   padding-left: 5px;
  44   padding-bottom: 2px;
  45   font-size: 15px;
  46   background: #98c5e5;
  47 }
  48 img.border {
  49   border: 2px solid #e5e5e5;
  50 }
  51 ul.webgraph li {
  52   list-style: none;
  53 }
  54 td.leftcol {
  55   padding-left: 2px;
  56 }
  57 td.rightcol {
  58   padding-right: 2px;
  59 }
  60 tr.head {
  61   background: #98c5e5;
  62 }
  63 tr.t0 {
  64   background: #ffffff;
  65 }
  66 tr.t1 {
  67   background: #d9e2ea;
  68 }
  69 td.in {
  70   color: #2f9a00;
  71 }
  72 td.out {
  73   color: #ff0000;
  74 }
  75
  76 pre {
  77   border: 1pt solid #cfcfcf;
  78   background-color: #F3F5F7;
  79   padding: 2px;
  80   padding-left: 2px;
  81   font-family: courier, monospace;
  82   white-space: pre;
  83   /* begin css 3 or browser specific rules - do not remove!
  84    * see: http://forums.techguy.org/archive/index.php/t-249849.html
  85    */
  86   white-space: pre-wrap;
  87   word-wrap: break-word;
  88   white-space: -moz-pre-wrap;
  89   white-space: -pre-wrap;
  90   white-space: -o-pre-wrap;
  91   /* end css 3 or browser specific rules */
  92 }
  93
  94 /*
  95  * Menu
  96  */
  97 p.menurule {
  98   height: 3px;
  99   width: 100%;
 100   background-color: #999999;
 101   padding: 0;
 102   margin-top: 7px;
 103   margin-bottom: 7px;
 104 }
 105
 106 /*
 107  * Footer
 108  */
 109 div.footer {
 110   clear: both;
 111   border-top: 1px solid #707070;
 112 }
 113 div.footerleft {
 114   float: left;
 115   font-size: xx-small;
 116 }
 117 div.footerright {
 118   float: right;
 119   font-size: xx-small;
 120 }
 121
 122 /*
 123  * Local variables:
 124  * mode: indented-text
 125  * mode: auto-fill
 126  * End:
 127 */