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 }
  74
  75 h2 {
  76         color : #88b0f0;
  77         font-size : 14pt;
  78         border-width : 0px 0px 1px 0px;
  79         border-color : #f0f0f0;
  80         border-style : solid;
  81 }
  82
  83 div.rss h1 {
  84         border-width : 0px 0px 1px 0px;
  85         border-color : gray;
  86         border-style : dotted;
  87         color : gray;
  88         margin-right : 90px;
  89 }
  90
  91 div.rss h2 {
  92         font-size : 12pt;
  93         margin : 0px;
  94 }
  95
  96 div.rss a.extlink {
  97         color : gray;
  98         border-width : 0px 0px 1px 0px;
  99         border-color : #778899;
 100         border-style : dotted;
 101         font-size : 9pt;
 102 }
 103
 104 div.rss p.description {
 105         color : gray;
 106         font-size : 9pt;
 107 }
 108
 109 div.rss div.content {
 110         margin-top : 0.5em;
 111 }
 112
 113 div.rss img.feedicon {
 114         float : right;
 115 }
 116
 117 div.rss hr {
 118         border-width : 0px 0px 1px 0px;
 119         border-style : dashed;
 120         border-color : #e0e0e0;
 121 }
 122
 123 body#sharepopup {
 124         background-color : white;
 125         background-image : url("images/toolbar.png");
 126         background-repeat : repeat-x;
 127         background-position : bottom;
 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 #88b0f0;
 141         padding : 5px;
 142 }
 143
 144 body#sharepopup form {
 145         height : 100%;
 146 }
 147
 148 body#sharepopup input {
 149         width : 100%;
 150 }
 151
 152 div.autocomplete {
 153         position : absolute;
 154         width : 250px;
 155         background-color : white;
 156         border :1px solid #778899;
 157         margin : 0px;
 158         padding : 0px;
 159         z-index : 4;
 160 }
 161
 162 div.autocomplete ul {
 163         list-style-type : none;
 164         margin : 0px;
 165         padding : 0px;
 166         font-size : 10px;
 167 }
 168
 169 div.autocomplete ul li.selected {
 170         background-color : #fff7d5;
 171 }
 172
 173 div.autocomplete ul li {
 174         list-style-type : none;
 175         display : block;
 176         margin : 0;
 177         padding : 2px;
 178         height : 32px;
 179         cursor : pointer;
 180 }
 181
 182 fieldset {
 183         border-width : 0px;
 184         padding : 0px 0px 5px 0px;
 185         margin : 0px;
 186 }
 187
 188 fieldset input {
 189         font-family : sans-serif;
 190         font-size : medium;
 191         border-spacing : 2px;
 192         border : 1px solid #b5bcc7;
 193         padding : 2px;
 194 }
 195
 196 fieldset label {
 197         width : 120px;
 198         margin-right : 20px;
 199         display : inline-block;
 200         text-align : right;
 201         color : gray;
 202 }
 203