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 div.insensitive-small {
  21         color : gray;
  22         font-size : 10px;
  23 }
  24
  25 .floatingLogo {
  26         float : right;
  27 }
  28
  29 a {
  30         color : #4684ff;
  31         text-decoration : none;
  32 }
  33
  34 a:hover {
  35         color : black;
  36 }
  37
  38 div.notice {
  39         background : #ffffff;
  40         border : 1px solid #88b0f0;
  41         width : 50%;
  42         padding : 5px;
  43         margin : 0px 0px 5px 0px;
  44         font-size : 9pt;
  45 }
  46
  47 div.warning {
  48         background : #fff7d5;
  49         border : 1px solid #d7c47a;
  50         font-size : 9pt;
  51         width : 50%;
  52         padding : 5px;
  53         margin : 0px 0px 5px 0px;
  54 }
  55
  56
  57 div.warning img, div.notice img, div.error img {
  58         vertical-align : middle;
  59         padding : 5px;
  60 }
  61
  62 div.error {
  63         border : 1px solid #ff0000;
  64         background : #ffcccc;
  65         padding : 5px;
  66         margin : 0px 0px 5px 0px;
  67         font-size : 9pt;
  68 }
  69
  70 h1 {
  71         color : #88b0f0;
  72         font-size : 16pt;
  73 /*      border-width : 0px 0px 1px 0px;
  74         border-color : black;
  75         border-style : solid; */
  76 }
  77
  78 h2 {
  79         color : #88b0f0;
  80         font-size : 14pt;
  81 /*      border-width : 0px 0px 1px 0px;
  82         border-color : black;
  83         border-style : solid; */
  84 }
  85
  86 div.rss h1 {
  87         border-width : 0px 0px 1px 0px;
  88         border-color : gray;
  89         border-style : dotted;
  90         color : gray;
  91         margin-right : 90px;
  92 }
  93
  94 div.rss h2 {
  95         font-size : 12pt;
  96         margin : 0px;
  97 }
  98
  99 div.rss a.extlink {
 100         color : gray;
 101         border-width : 0px 0px 1px 0px;
 102         border-color : #778899;
 103         border-style : dotted;
 104         font-size : 9pt;
 105 }
 106
 107 div.rss p.description {
 108         color : gray;
 109         font-size : 9pt;
 110 }
 111
 112 div.rss div.content {
 113         margin-top : 0.5em;
 114 }
 115
 116 div.rss img.feedicon {
 117         float : right;
 118 }
 119
 120 div.rss hr {
 121         border-width : 0px 0px 1px 0px;
 122         border-style : dashed;
 123         border-color : #e0e0e0;
 124 }
 125
 126 body#sharepopup {
 127         background : #88b0f0;
 128         margin : 10px;
 129         padding : 0px;
 130 }
 131
 132 body#sharepopup h1 {
 133         font-size : 14px;
 134         margin : 0px;
 135         color : #88b0f0;
 136 }
 137
 138 body#sharepopup table {
 139         background : white;
 140         border : 1px solid black;
 141         padding : 5px;
 142 }
 143
 144 body#sharepopup form {
 145         height : 100%;
 146 }
 147
 148 body#sharepopup input {
 149         width : 100%;
 150 }