utility.css

   1 body {
   2         margin : 20px;
   3         padding : 0px;
   4         font-family : sans-serif;
   5         font-size : 12px;
   6         background : white;
   7 }
   8
   9 p.warning {
  10         color : red;
  11 }
  12
  13 p.query, code {
  14         color : green;
  15 }
  16
  17 p.insensitive {
  18         color : gray;
  19 }
  20
  21 div.insensitive-small {
  22         color : gray;
  23         font-size : 10px;
  24 }
  25
  26 .floatingLogo {
  27         float : right;
  28 }
  29
  30 a {
  31         color : #4684ff;
  32         text-decoration : none;
  33 }
  34
  35 a:hover {
  36         color : black;
  37 }
  38
  39 div.notice {
  40         background : #ffffff;
  41         border : 1px solid #88b0f0;
  42         width : 50%;
  43         padding : 5px;
  44         margin : 0px 0px 5px 0px;
  45         font-size : 9pt;
  46 }
  47
  48 div.warning {
  49         background : #fff7d5;
  50         border : 1px solid #d7c47a;
  51         font-size : 9pt;
  52         width : 50%;
  53         padding : 5px;
  54         margin : 0px 0px 5px 0px;
  55 }
  56
  57
  58 div.warning img, div.notice img, div.error img {
  59         vertical-align : middle;
  60         padding : 5px;
  61 }
  62
  63 div.error {
  64         border : 1px solid #ff0000;
  65         background : #ffcccc;
  66         padding : 5px;
  67         margin : 0px 0px 5px 0px;
  68         font-size : 9pt;
  69 }
  70
  71 h1 {
  72         color : black;
  73         font-size : 32px;
  74         font-family : serif;
  75         /* text-shadow : 2px 2px 2px #f0f0f0; */
  76 }
  77
  78 h2 {
  79         color : #88b0f0;
  80         font-size : 14pt;
  81         border-width : 0px 0px 1px 0px;
  82         border-color : #f0f0f0;
  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-color : white;
 128         background-image : url("images/toolbar.png");
 129         background-repeat : repeat-x;
 130         background-position : bottom;
 131         margin : 10px;
 132         padding : 0px;
 133 }
 134
 135 body#sharepopup h1 {
 136         font-size : 14px;
 137         margin : 0px;
 138         color : #88b0f0;
 139 }
 140
 141 body#sharepopup table {
 142         background : white;
 143         border : 1px solid #88b0f0;
 144         padding : 5px;
 145 }
 146
 147 body#sharepopup form {
 148         height : 100%;
 149 }
 150
 151 body#sharepopup input {
 152         width : 100%;
 153 }
 154
 155 div.autocomplete {
 156         position : absolute;
 157         width : 250px;
 158         background-color : white;
 159         border :1px solid #778899;
 160         margin : 0px;
 161         padding : 0px;
 162         z-index : 4;
 163 }
 164
 165 div.autocomplete ul {
 166         list-style-type : none;
 167         margin : 0px;
 168         padding : 0px;
 169         font-size : 10px;
 170 }
 171
 172 div.autocomplete ul li.selected {
 173         background-color : #fff7d5;
 174 }
 175
 176 div.autocomplete ul li {
 177         list-style-type : none;
 178         display : block;
 179         margin : 0;
 180         padding : 2px;
 181         height : 32px;
 182         cursor : pointer;
 183 }
 184
 185 fieldset {
 186         border-width : 0px;
 187         padding : 0px 0px 5px 0px;
 188         margin : 0px;
 189 }
 190
 191 fieldset input {
 192         font-family : sans-serif;
 193         font-size : medium;
 194         border-spacing : 2px;
 195         border : 1px solid #b5bcc7;
 196         padding : 2px;
 197 }
 198
 199 fieldset label {
 200         width : 120px;
 201         margin-right : 20px;
 202         display : inline-block;
 203         text-align : right;
 204         color : gray;
 205 }
 206