utility.css

   1 body {
   2         margin : 2em;
   3         padding : 0em;
   4         font-family : sans-serif;
   5         font-size : 12px;
   6 }
   7
   8 p.warning {
   9         color : red;
  10 }
  11
  12 p.query, code {
  13         color : green;
  14 }
  15
  16 p.insensitive {
  17         color : gray;
  18 }
  19
  20 .floatingLogo {
  21         float : right;
  22 }
  23
  24 a {
  25         color : #4684ff;
  26         text-decoration : none;
  27 }
  28
  29 a:hover {
  30         color : black;
  31 }
  32
  33 div.notice {
  34         background : #ffffff;
  35         border : 1px solid #88b0f0;
  36         width : 50%;
  37         padding : 5px;
  38         margin : 0px 0px 5px 0px;
  39         font-size : 9pt;
  40 }
  41
  42 div.warning {
  43         background : #fff7d5;
  44         border : 1px solid #d7c47a;
  45         font-size : 9pt;
  46         width : 50%;
  47         padding : 5px;
  48         margin : 0px 0px 5px 0px;
  49 }
  50
  51
  52 div.warning img, div.notice img, div.error img {
  53         vertical-align : middle;
  54         padding : 5px;
  55 }
  56
  57 div.error {
  58         border : 1px solid #ff0000;
  59         background : #ffcccc;
  60         padding : 5px;
  61         margin : 0px 0px 5px 0px;
  62         font-size : 9pt;
  63 }
  64
  65 h1 {
  66         color : #88b0f0;
  67         font-size : 16pt;
  68 /*      border-width : 0px 0px 1px 0px;
  69         border-color : black;
  70         border-style : solid; */
  71 }
  72
  73 h2 {
  74         color : #88b0f0;
  75         font-size : 14pt;
  76 /*      border-width : 0px 0px 1px 0px;
  77         border-color : black;
  78         border-style : solid; */
  79 }
  80
  81 div.rss h1 {
  82         border-width : 0px 0px 1px 0px;
  83         border-color : gray;
  84         border-style : dotted;
  85         color : gray;
  86         margin-right : 90px;
  87 }
  88
  89 div.rss h2 {
  90         font-size : 12pt;
  91         margin : 0px;
  92 }
  93
  94 div.rss a.extlink {
  95         color : gray;
  96         border-width : 0px 0px 1px 0px;
  97         border-color : #778899;
  98         border-style : dotted;
  99         font-size : 9pt;
 100 }
 101
 102 div.rss p.description {
 103         color : gray;
 104         font-size : 9pt;
 105 }
 106
 107 div.rss div.content {
 108         margin-top : 0.5em;
 109 }
 110
 111 div.rss img.feedicon {
 112         float : right;
 113 }
 114
 115 div.rss hr {
 116         border-width : 0px 0px 1px 0px;
 117         border-style : dashed;
 118         border-color : #e0e0e0;
 119 }
 120
 121