client/servlet/www/static/css/layout2.jsp

Code
Comments
Other
Rev Date Author Line
921 15 Nov 06 gregory 1 /**
1101 15 Jan 07 gregory 2    <% response.setHeader("Content-Type", "text/css"); %> 
1101 15 Jan 07 gregory 3    <% String img = request.getContextPath() + "/static/img"; %> 
1101 15 Jan 07 gregory 4    Background colors are defined in colors.css
1101 15 Jan 07 gregory 5  */
3591 12 Mar 10 gregory 6
1194 14 Feb 07 gregory 7  body#leftFrame
1194 14 Feb 07 gregory 8  {
1194 14 Feb 07 gregory 9    background-image:url('<%=img%>/proteios-red.gif');
1194 14 Feb 07 gregory 10    background-position: 16px 14px;
1194 14 Feb 07 gregory 11    background-repeat: no-repeat;
1194 14 Feb 07 gregory 12    padding-top: 30px;
1194 14 Feb 07 gregory 13  }
2811 25 Aug 08 gregory 14  
2811 25 Aug 08 gregory 15  #menuh-container 
2811 25 Aug 08 gregory 16  {
3948 05 Nov 10 gregory 17    background-image: url('<%=img%>/logo-small.gif');
2811 25 Aug 08 gregory 18    background-position: top right;
2811 25 Aug 08 gregory 19    background-repeat: no-repeat;
3948 05 Nov 10 gregory 20    width: 790px;
2811 25 Aug 08 gregory 21  }
925 16 Nov 06 gregory 22
920 15 Nov 06 gregory 23 /*******************************************************************************
925 16 Nov 06 gregory 24  * grid layout uses tables to define columns
925 16 Nov 06 gregory 25  ******************************************************************************/
925 16 Nov 06 gregory 26 table.grid
925 16 Nov 06 gregory 27 {
925 16 Nov 06 gregory 28   float:left;
925 16 Nov 06 gregory 29   clear:both;
925 16 Nov 06 gregory 30   width: 100%;
925 16 Nov 06 gregory 31 }  
925 16 Nov 06 gregory 32
925 16 Nov 06 gregory 33 table.grid tr td
925 16 Nov 06 gregory 34 {
925 16 Nov 06 gregory 35   vertical-align: top;
991 29 Nov 06 gregory 36   padding-right: 5px;
925 16 Nov 06 gregory 37 }
925 16 Nov 06 gregory 38
991 29 Nov 06 gregory 39 table.grid tr td.last
991 29 Nov 06 gregory 40 {
991 29 Nov 06 gregory 41   padding-right: 0px;
991 29 Nov 06 gregory 42 }
991 29 Nov 06 gregory 43
925 16 Nov 06 gregory 44 /*******************************************************************************
920 15 Nov 06 gregory 45  * Layout elements are containers surrounding each major guielement
920 15 Nov 06 gregory 46  ******************************************************************************/
881 11 Nov 06 gregory 47 div.layout
805 30 Oct 06 gregory 48 {
881 11 Nov 06 gregory 49   float:left;
881 11 Nov 06 gregory 50   clear:both;
881 11 Nov 06 gregory 51   width: 100%;
881 11 Nov 06 gregory 52   margin-bottom: 5px;
881 11 Nov 06 gregory 53 }  
881 11 Nov 06 gregory 54
2490 09 Jan 08 gregory 55
805 30 Oct 06 gregory 56
805 30 Oct 06 gregory 57
920 15 Nov 06 gregory 58 /*******************************************************************************
920 15 Nov 06 gregory 59  * System message and error
920 15 Nov 06 gregory 60  ******************************************************************************/
881 11 Nov 06 gregory 61 #message, #error
881 11 Nov 06 gregory 62 {
881 11 Nov 06 gregory 63   border: 1px dashed #888;  
881 11 Nov 06 gregory 64   font-style: italic;
881 11 Nov 06 gregory 65   text-align: center;
881 11 Nov 06 gregory 66   padding: 2px 2px;
881 11 Nov 06 gregory 67 }
881 11 Nov 06 gregory 68
920 15 Nov 06 gregory 69 /*******************************************************************************
920 15 Nov 06 gregory 70  * Tables
920 15 Nov 06 gregory 71  ******************************************************************************/
881 11 Nov 06 gregory 72 div.table
881 11 Nov 06 gregory 73 {
928 16 Nov 06 gregory 74   border: 1px solid #888;    
881 11 Nov 06 gregory 75 }
881 11 Nov 06 gregory 76
895 13 Nov 06 gregory 77 div.table div
1208 16 Feb 07 gregory 78 {  
895 13 Nov 06 gregory 79   overflow: auto;
895 13 Nov 06 gregory 80 }
895 13 Nov 06 gregory 81
3949 05 Nov 10 gregory 82
1207 16 Feb 07 gregory 83 div.table div.title,
1207 16 Feb 07 gregory 84 div.table div.scroller
881 11 Nov 06 gregory 85 {
881 11 Nov 06 gregory 86   border-style: solid;
881 11 Nov 06 gregory 87   border-width: 1px 0px 1px 1px;
928 16 Nov 06 gregory 88   border-color: #fff #888 #888 #fff;  
881 11 Nov 06 gregory 89   font-weight: bold;
881 11 Nov 06 gregory 90   padding: 0px 5px;
1101 15 Jan 07 gregory 91   /** IE fix * */
928 16 Nov 06 gregory 92   margin-right: -2px;
881 11 Nov 06 gregory 93 }
881 11 Nov 06 gregory 94
1791 21 Jun 07 gregory 95
1101 15 Jan 07 gregory 96 /** IE fix * */
1207 16 Feb 07 gregory 97 div.table>div.title, div.table>div.scroller
928 16 Nov 06 gregory 98 {
928 16 Nov 06 gregory 99   margin-right: 0px;
928 16 Nov 06 gregory 100 }
928 16 Nov 06 gregory 101
1207 16 Feb 07 gregory 102 div.table div.scroller
1207 16 Feb 07 gregory 103 {
1207 16 Feb 07 gregory 104   border-width: 0px 0px 0px 1px;
1211 16 Feb 07 gregory 105   font-weight: normal;
1211 16 Feb 07 gregory 106   text-align: center;
1207 16 Feb 07 gregory 107 }
1207 16 Feb 07 gregory 108
1211 16 Feb 07 gregory 109 div.table div.scroller a
1211 16 Feb 07 gregory 110 {
1211 16 Feb 07 gregory 111   cursor: pointer;
1791 21 Jun 07 gregory 112   text-decoration: none;
1211 16 Feb 07 gregory 113 }
1211 16 Feb 07 gregory 114
1791 21 Jun 07 gregory 115 div.table div.scroller span.selected
1791 21 Jun 07 gregory 116 {
1791 21 Jun 07 gregory 117   font-weight: bold;
1791 21 Jun 07 gregory 118 }
1791 21 Jun 07 gregory 119
881 11 Nov 06 gregory 120 div.table table
881 11 Nov 06 gregory 121 {
895 13 Nov 06 gregory 122   width: 100%;  
881 11 Nov 06 gregory 123 }
881 11 Nov 06 gregory 124
2110 12 Oct 07 gregory 125 div.table table tr.hand
2110 12 Oct 07 gregory 126 {
2110 12 Oct 07 gregory 127   cursor: pointer;
2110 12 Oct 07 gregory 128 }
2110 12 Oct 07 gregory 129
881 11 Nov 06 gregory 130 div.table table tr th
881 11 Nov 06 gregory 131 {
819 31 Oct 06 gregory 132   border-width: 1px;
819 31 Oct 06 gregory 133   border-style: solid;
819 31 Oct 06 gregory 134   border-color: #fff #888 #888 #fff;
881 11 Nov 06 gregory 135   font-weight: normal;
1005 01 Dec 06 gregory 136   white-space: nowrap;
2117 12 Oct 07 gregory 137   padding: 0px 7px;
2200 22 Oct 07 gregory 138   height: 1.4em; /* Same height as buttons */
805 30 Oct 06 gregory 139 }
805 30 Oct 06 gregory 140
881 11 Nov 06 gregory 141 div.table table tr td
805 30 Oct 06 gregory 142 {
881 11 Nov 06 gregory 143   border-width: 0px 1px 1px 0px;
928 16 Nov 06 gregory 144   border-style: solid;
3951 05 Nov 10 gregory 145   border-color: #ccc;
3951 05 Nov 10 gregory 146   padding: 2px 3px 3px 3px;  
1005 01 Dec 06 gregory 147   white-space: nowrap;
3951 05 Nov 10 gregory 148   font-size: 14px;
805 30 Oct 06 gregory 149 }
805 30 Oct 06 gregory 150
1876 13 Aug 07 olle 151 div.table table tr td.link, div.table table tr th.link
1244 20 Feb 07 gregory 152 {
1244 20 Feb 07 gregory 153   cursor: pointer;
1244 20 Feb 07 gregory 154 }
1244 20 Feb 07 gregory 155
1005 01 Dec 06 gregory 156 div.table table tr td.nowrap
1005 01 Dec 06 gregory 157 {
1020 03 Dec 06 gregory 158   white-space: normal;
1005 01 Dec 06 gregory 159 }
1005 01 Dec 06 gregory 160
3954 05 Nov 10 gregory 161 div.table table tr th:last-child,
3961 05 Nov 10 gregory 162 div.table .tableContent table tr th:last-child,
3954 05 Nov 10 gregory 163 div.table table tr td:last-child
805 30 Oct 06 gregory 164 {
1005 01 Dec 06 gregory 165   border-right-width: 0px;  
805 30 Oct 06 gregory 166 }
805 30 Oct 06 gregory 167
881 11 Nov 06 gregory 168 div.table table tr.lastRow td
805 30 Oct 06 gregory 169 {
881 11 Nov 06 gregory 170   border-bottom-width: 0px;
805 30 Oct 06 gregory 171 }
805 30 Oct 06 gregory 172
881 11 Nov 06 gregory 173 /* Clear border styles for treeLine tables */
881 11 Nov 06 gregory 174 div.table table tr td table,
881 11 Nov 06 gregory 175 div.table table tr td table tr,
881 11 Nov 06 gregory 176 div.table table tr td table tr td
805 30 Oct 06 gregory 177 {
881 11 Nov 06 gregory 178   border-width: 0px;
881 11 Nov 06 gregory 179   background-color: transparent;
881 11 Nov 06 gregory 180 }
881 11 Nov 06 gregory 181
881 11 Nov 06 gregory 182
920 15 Nov 06 gregory 183 /*******************************************************************************
920 15 Nov 06 gregory 184  * Forms
920 15 Nov 06 gregory 185  ******************************************************************************/
881 11 Nov 06 gregory 186
881 11 Nov 06 gregory 187 div.form
881 11 Nov 06 gregory 188 {
881 11 Nov 06 gregory 189   border-width: 0px 1px 0px 1px;
881 11 Nov 06 gregory 190   border-style: solid;
881 11 Nov 06 gregory 191   border-color: #888;
3593 12 Mar 10 gregory 192  min-width: 300px;
881 11 Nov 06 gregory 193 }
881 11 Nov 06 gregory 194
881 11 Nov 06 gregory 195 div.form form
881 11 Nov 06 gregory 196 {
881 11 Nov 06 gregory 197   margin: 0 0;
881 11 Nov 06 gregory 198   padding: 0 0;
881 11 Nov 06 gregory 199   border-width: 1px 0px 0px 0px;
881 11 Nov 06 gregory 200   border-style: solid;
881 11 Nov 06 gregory 201   border-color: #888;
881 11 Nov 06 gregory 202 }
881 11 Nov 06 gregory 203
881 11 Nov 06 gregory 204 div.form form fieldset
881 11 Nov 06 gregory 205 {
881 11 Nov 06 gregory 206   margin: 0 0;
881 11 Nov 06 gregory 207   padding: 0 0;
881 11 Nov 06 gregory 208   border-width: 0px 0px 1px 1px;
881 11 Nov 06 gregory 209   border-style: solid;
881 11 Nov 06 gregory 210   border-color: #fff #888 #888 #fff;
881 11 Nov 06 gregory 211 }
881 11 Nov 06 gregory 212
1101 15 Jan 07 gregory 213
881 11 Nov 06 gregory 214 div.form form div.legend div
881 11 Nov 06 gregory 215 {
881 11 Nov 06 gregory 216   margin: 0 0;
881 11 Nov 06 gregory 217   padding: 0 5px;
881 11 Nov 06 gregory 218   font-weight: bold;
881 11 Nov 06 gregory 219   border-width: 1px 0px 1px 0px;
881 11 Nov 06 gregory 220   border-style: solid;
881 11 Nov 06 gregory 221   border-color: #fff #888 #888 #fff;
881 11 Nov 06 gregory 222 }
881 11 Nov 06 gregory 223
3894 20 Oct 10 gregory 224
3908 21 Oct 10 gregory 225 .sublegend 
3908 21 Oct 10 gregory 226 {
3908 21 Oct 10 gregory 227   text-align: right;
3908 21 Oct 10 gregory 228   font-size: 0.8em;
3908 21 Oct 10 gregory 229   text-transform: uppercase;
3908 21 Oct 10 gregory 230     padding-top: 10px;
3908 21 Oct 10 gregory 231 }
3908 21 Oct 10 gregory 232
3908 21 Oct 10 gregory 233
881 11 Nov 06 gregory 234 div.form form div.legend
881 11 Nov 06 gregory 235 {
881 11 Nov 06 gregory 236   border-width: 0px 0px 1px 0px;
881 11 Nov 06 gregory 237   border-style: solid;
881 11 Nov 06 gregory 238   border-color: #fff;
3894 20 Oct 10 gregory 239   cursor: default;
881 11 Nov 06 gregory 240 }
881 11 Nov 06 gregory 241
3905 21 Oct 10 gregory 242 div.form form div.legend img.toggle
3894 20 Oct 10 gregory 243 {
3894 20 Oct 10 gregory 244     float: left;
3894 20 Oct 10 gregory 245     border: 0px;
3905 21 Oct 10 gregory 246     margin-top: 1px;
3894 20 Oct 10 gregory 247 }
3894 20 Oct 10 gregory 248
881 11 Nov 06 gregory 249 div.form form fieldset div.fields
881 11 Nov 06 gregory 250 {
881 11 Nov 06 gregory 251   float:left;
881 11 Nov 06 gregory 252   padding: 10px 10px;
881 11 Nov 06 gregory 253 }
881 11 Nov 06 gregory 254
3894 20 Oct 10 gregory 255
3894 20 Oct 10 gregory 256
3759 29 Jul 10 gregory 257 div.form form fieldset div.fields table.field
881 11 Nov 06 gregory 258 {
3759 29 Jul 10 gregory 259  border: 0px;
3759 29 Jul 10 gregory 260  border-collapse: collapsed;
3759 29 Jul 10 gregory 261 }
3759 29 Jul 10 gregory 262
3759 29 Jul 10 gregory 263 div.form form fieldset div.fields .field
3759 29 Jul 10 gregory 264 {
881 11 Nov 06 gregory 265   float:left;
881 11 Nov 06 gregory 266   clear: both;
881 11 Nov 06 gregory 267   margin-bottom: 2px;
881 11 Nov 06 gregory 268 }
881 11 Nov 06 gregory 269
2474 04 Jan 08 gregory 270 div.form form fieldset div.fields div.hidden, input.hidden
988 29 Nov 06 gregory 271 {
988 29 Nov 06 gregory 272   display: none;
988 29 Nov 06 gregory 273 }
988 29 Nov 06 gregory 274
3759 29 Jul 10 gregory 275 div.form form fieldset div.fields .field label
881 11 Nov 06 gregory 276 {
881 11 Nov 06 gregory 277   float: left;
881 11 Nov 06 gregory 278   width: 130px;
881 11 Nov 06 gregory 279 }
881 11 Nov 06 gregory 280
3759 29 Jul 10 gregory 281 div.form form fieldset input,
3759 29 Jul 10 gregory 282 div.form form fieldset select,
3759 29 Jul 10 gregory 283 div.form form fieldset textarea
881 11 Nov 06 gregory 284 {
881 11 Nov 06 gregory 285   border-width: 1px;
881 11 Nov 06 gregory 286 }
881 11 Nov 06 gregory 287
881 11 Nov 06 gregory 288 div.form form fieldset div.fields div.field span.fieldError
881 11 Nov 06 gregory 289 {
881 11 Nov 06 gregory 290   font-style: italic;
881 11 Nov 06 gregory 291 }
881 11 Nov 06 gregory 292
1034 04 Dec 06 gregory 293 div.form form fieldset div.fields div.field input.disabled,
1034 04 Dec 06 gregory 294 div.form form fieldset div.fields div.field textarea.disabled
920 15 Nov 06 gregory 295 {
2284 25 Oct 07 gregory 296   border-width: 0px;  
2284 25 Oct 07 gregory 297   font-family: serif;  
920 15 Nov 06 gregory 298 }
881 11 Nov 06 gregory 299
2495 10 Jan 08 gregory 300 div.table input.filter
2495 10 Jan 08 gregory 301 {
2495 10 Jan 08 gregory 302   width: 100%;
2495 10 Jan 08 gregory 303 }
881 11 Nov 06 gregory 304
3759 29 Jul 10 gregory 305 div.form form .label
3759 29 Jul 10 gregory 306 {
3759 29 Jul 10 gregory 307  white-space: nowrap;
3759 29 Jul 10 gregory 308 }
2495 10 Jan 08 gregory 309
3759 29 Jul 10 gregory 310 div.form tr.hidden
3759 29 Jul 10 gregory 311 {
3759 29 Jul 10 gregory 312  display: none;
3759 29 Jul 10 gregory 313 }
3759 29 Jul 10 gregory 314
3759 29 Jul 10 gregory 315
920 15 Nov 06 gregory 316 /*******************************************************************************
2200 22 Oct 07 gregory 317  * Toolbar, Scroller
920 15 Nov 06 gregory 318  ******************************************************************************/
920 15 Nov 06 gregory 319
881 11 Nov 06 gregory 320 div.toolbar
881 11 Nov 06 gregory 321 {
805 30 Oct 06 gregory 322   display: block;
805 30 Oct 06 gregory 323   float:left;
881 11 Nov 06 gregory 324   clear: both;
805 30 Oct 06 gregory 325   padding: 0 0;
805 30 Oct 06 gregory 326   margin: 0 0;
881 11 Nov 06 gregory 327   border-width: 0px 0px 1px 1px;
881 11 Nov 06 gregory 328   border-style: solid;
881 11 Nov 06 gregory 329   border-color: #888;
805 30 Oct 06 gregory 330 }
805 30 Oct 06 gregory 331
881 11 Nov 06 gregory 332 div.toolbar ul
805 30 Oct 06 gregory 333 {
881 11 Nov 06 gregory 334   float:left;
881 11 Nov 06 gregory 335   padding: 0 0;
881 11 Nov 06 gregory 336   margin: 0 0;
881 11 Nov 06 gregory 337 }
881 11 Nov 06 gregory 338
881 11 Nov 06 gregory 339 div.toolbar ul li
881 11 Nov 06 gregory 340 {
805 30 Oct 06 gregory 341   display: block;
805 30 Oct 06 gregory 342   float:left;
846 02 Nov 06 gregory 343   /* Inset border */
881 11 Nov 06 gregory 344   border-width: 1px 1px 0px 1px;
846 02 Nov 06 gregory 345   border-style: solid;
881 11 Nov 06 gregory 346   border-color: #fff #888 #888 #fff;
881 11 Nov 06 gregory 347   margin-right: 0px;
881 11 Nov 06 gregory 348   padding: 0px 7px;
956 22 Nov 06 gregory 349   cursor: pointer;
2200 22 Oct 07 gregory 350   height: 1.4em;
805 30 Oct 06 gregory 351 }
805 30 Oct 06 gregory 352
881 11 Nov 06 gregory 353 div.toolbar ul li a
842 02 Nov 06 gregory 354 {
2111 12 Oct 07 gregory 355   text-decoration: none;
2111 12 Oct 07 gregory 356   font-size: 1em;
842 02 Nov 06 gregory 357 }
819 31 Oct 06 gregory 358
3950 05 Nov 10 gregory 359 div.toolbar ul li img, 
3950 05 Nov 10 gregory 360 div.scroller a img
805 30 Oct 06 gregory 361 {
881 11 Nov 06 gregory 362   border: 0px;
2204 22 Oct 07 olle 363   vertical-align: -8%;
3950 05 Nov 10 gregory 364   margin-top: 3px;
3950 05 Nov 10 gregory 365   margin-right: 7px;
2111 12 Oct 07 gregory 366   width: 1em;
2111 12 Oct 07 gregory 367   height: 1em;
805 30 Oct 06 gregory 368 }
805 30 Oct 06 gregory 369
1149 31 Jan 07 gregory 370 div.toolbar ul li.disabled
1149 31 Jan 07 gregory 371 {
1149 31 Jan 07 gregory 372   cursor: default;
1149 31 Jan 07 gregory 373 }
881 11 Nov 06 gregory 374
881 11 Nov 06 gregory 375
920 15 Nov 06 gregory 376 /*******************************************************************************
920 15 Nov 06 gregory 377  * Titled window
920 15 Nov 06 gregory 378  ******************************************************************************/
881 11 Nov 06 gregory 379
881 11 Nov 06 gregory 380 div.titledWindow
805 30 Oct 06 gregory 381 {
2698 15 May 08 gregory 382   clear: left;
881 11 Nov 06 gregory 383   border: 1px solid #888;
805 30 Oct 06 gregory 384 }
805 30 Oct 06 gregory 385
881 11 Nov 06 gregory 386 div.titledWindow div.title
1101 15 Jan 07 gregory 387 {  
881 11 Nov 06 gregory 388   border-width: 1px 0px 1px 1px;
881 11 Nov 06 gregory 389   border-style: solid;
881 11 Nov 06 gregory 390   border-color: #fff #888 #888 #fff;
805 30 Oct 06 gregory 391   font-weight: bold;
881 11 Nov 06 gregory 392   padding: 0px 5px;
2651 30 Apr 08 gregory 393   white-space: nowrap;
837 02 Nov 06 gregory 394 }
874 06 Nov 06 gregory 395
881 11 Nov 06 gregory 396 div.titledWindow div.textArea
874 06 Nov 06 gregory 397 {
881 11 Nov 06 gregory 398   padding: 10px;
874 06 Nov 06 gregory 399 }
881 11 Nov 06 gregory 400
1017 03 Dec 06 gregory 401 div.titledWindow div.textArea dl dd
1017 03 Dec 06 gregory 402 {
1017 03 Dec 06 gregory 403   margin-bottom: 1em;
1017 03 Dec 06 gregory 404 }
1017 03 Dec 06 gregory 405
1021 03 Dec 06 gregory 406 div.titledWindow div.textArea p
1021 03 Dec 06 gregory 407 {
1021 03 Dec 06 gregory 408   padding-left: 10px;
1021 03 Dec 06 gregory 409 }
1017 03 Dec 06 gregory 410
2475 04 Jan 08 gregory 411 div.appFront 
2475 04 Jan 08 gregory 412 {
2475 04 Jan 08 gregory 413   border-width: 1px 0px 1px 1px;
2475 04 Jan 08 gregory 414   border-style: solid;
2475 04 Jan 08 gregory 415   border-color: #fff #888 #888 #fff;
2475 04 Jan 08 gregory 416 }
2597 05 Mar 08 gregory 417
2597 05 Mar 08 gregory 418 div.titledWindow div.title img.close
2597 05 Mar 08 gregory 419 {
2597 05 Mar 08 gregory 420   float: right;
2597 05 Mar 08 gregory 421   cursor: pointer;  
2597 05 Mar 08 gregory 422   padding: 1px 1px 1px 2px;
2597 05 Mar 08 gregory 423   margin: 1px -2px 1px 1px;
2597 05 Mar 08 gregory 424 }
2597 05 Mar 08 gregory 425
2675 12 May 08 gregory 426 div.titledWindow div.toolbar
2675 12 May 08 gregory 427 {
2675 12 May 08 gregory 428   margin-top: 1px;
2675 12 May 08 gregory 429 }
2597 05 Mar 08 gregory 430
2675 12 May 08 gregory 431
927 16 Nov 06 gregory 432 /*******************************************************************************
927 16 Nov 06 gregory 433  * Images
927 16 Nov 06 gregory 434  ******************************************************************************/
927 16 Nov 06 gregory 435 div.imageContainer
927 16 Nov 06 gregory 436 {
991 29 Nov 06 gregory 437   float: left;
927 16 Nov 06 gregory 438   text-align: center;
991 29 Nov 06 gregory 439   border: 1px solid #888;
991 29 Nov 06 gregory 440   padding: 10px 11px 11px 10px;  
927 16 Nov 06 gregory 441 }
881 11 Nov 06 gregory 442
2651 30 Apr 08 gregory 443 img.image 
927 16 Nov 06 gregory 444 {
991 29 Nov 06 gregory 445   border: 1px solid #888;
927 16 Nov 06 gregory 446 }
927 16 Nov 06 gregory 447
2651 30 Apr 08 gregory 448
2651 30 Apr 08 gregory 449
1020 03 Dec 06 gregory 450 /*******************************************************************************
1020 03 Dec 06 gregory 451  * Listing
1020 03 Dec 06 gregory 452  ******************************************************************************/
991 29 Nov 06 gregory 453
1020 03 Dec 06 gregory 454 div.listing
1020 03 Dec 06 gregory 455 {
1020 03 Dec 06 gregory 456   border: 1px solid #888;
1020 03 Dec 06 gregory 457 }
1020 03 Dec 06 gregory 458
1020 03 Dec 06 gregory 459 div.listing div.title
1020 03 Dec 06 gregory 460 {
1020 03 Dec 06 gregory 461   border-width: 1px 0px 1px 1px;
1020 03 Dec 06 gregory 462   border-style: solid;
1020 03 Dec 06 gregory 463   border-color: #fff #888 #888 #fff;
1020 03 Dec 06 gregory 464   font-weight: bold;
1020 03 Dec 06 gregory 465   padding: 0px 5px;
1020 03 Dec 06 gregory 466 }
1020 03 Dec 06 gregory 467
1020 03 Dec 06 gregory 468 div.listing dl
1020 03 Dec 06 gregory 469 {
1020 03 Dec 06 gregory 470   margin-top: 0px;
1020 03 Dec 06 gregory 471   padding-top: 0px;
1020 03 Dec 06 gregory 472   overflow: auto;
1020 03 Dec 06 gregory 473 }
1020 03 Dec 06 gregory 474
1020 03 Dec 06 gregory 475 div.listing dl dt
1020 03 Dec 06 gregory 476 {
1020 03 Dec 06 gregory 477   padding-left: 5px;
1020 03 Dec 06 gregory 478 }
1020 03 Dec 06 gregory 479
1020 03 Dec 06 gregory 480 div.listing dl dd
1020 03 Dec 06 gregory 481 {  
2651 30 Apr 08 gregory 482   margin-left: 2em;
1020 03 Dec 06 gregory 483   font-size: 0.8em;
1022 03 Dec 06 gregory 484   max-height: 6em;
1022 03 Dec 06 gregory 485   overflow: auto;
1020 03 Dec 06 gregory 486 }
1020 03 Dec 06 gregory 487
1236 19 Feb 07 gregory 488 div.listing div.empty
1236 19 Feb 07 gregory 489 {
1236 19 Feb 07 gregory 490   padding-left: 3px;
1236 19 Feb 07 gregory 491 }
1236 19 Feb 07 gregory 492
1101 15 Jan 07 gregory 493 /*******************************************************************************
1101 15 Jan 07 gregory 494  * Tabs
1101 15 Jan 07 gregory 495  ******************************************************************************/
1020 03 Dec 06 gregory 496
1101 15 Jan 07 gregory 497 div.tabs ul.tabList
1101 15 Jan 07 gregory 498 {
1101 15 Jan 07 gregory 499   margin-left: 0;
1101 15 Jan 07 gregory 500   padding-left: 5px;
1101 15 Jan 07 gregory 501   display: inline;
2676 12 May 08 gregory 502   border-bottom: 1px solid #888;
1101 15 Jan 07 gregory 503 } 
1101 15 Jan 07 gregory 504
1101 15 Jan 07 gregory 505 div.tabs ul.tabList li.tab 
1101 15 Jan 07 gregory 506 {
1101 15 Jan 07 gregory 507   margin-left: 0;
1101 15 Jan 07 gregory 508   margin-bottom: 0;
1101 15 Jan 07 gregory 509   padding: 2px 15px 0px;
1101 15 Jan 07 gregory 510   border-width: 1px;
1101 15 Jan 07 gregory 511   border-style: solid;
1101 15 Jan 07 gregory 512   border-color: #fff #888 #888 #fff;
1101 15 Jan 07 gregory 513   list-style: none;
1101 15 Jan 07 gregory 514   display: inline;
2129 15 Oct 07 gregory 515   cursor: pointer;
1101 15 Jan 07 gregory 516 }
1101 15 Jan 07 gregory 517   
1101 15 Jan 07 gregory 518     
1101 15 Jan 07 gregory 519 div.tabs ul.tabList li.here 
1101 15 Jan 07 gregory 520 {
3711 24 May 10 gregory 521   border-color: #fff #888 #cfc8bf #fff;
1101 15 Jan 07 gregory 522   list-style: none;
1101 15 Jan 07 gregory 523   display: inline;
2129 15 Oct 07 gregory 524   cursor: auto;
1101 15 Jan 07 gregory 525 }
1101 15 Jan 07 gregory 526
1101 15 Jan 07 gregory 527 div.tabContent
1101 15 Jan 07 gregory 528 {  
1101 15 Jan 07 gregory 529   display: none;
1101 15 Jan 07 gregory 530   border: 1px solid #888; 
1101 15 Jan 07 gregory 531   padding: 10px;
1101 15 Jan 07 gregory 532   padding-bottom: 30px;
1149 31 Jan 07 gregory 533   overflow: auto;
1101 15 Jan 07 gregory 534 }
1101 15 Jan 07 gregory 535
1101 15 Jan 07 gregory 536 div.tabContent div.layout
1101 15 Jan 07 gregory 537 {
1101 15 Jan 07 gregory 538   float: none;
1136 30 Jan 07 gregory 539     padding-top: 5px;
1101 15 Jan 07 gregory 540 }
1101 15 Jan 07 gregory 541
2490 09 Jan 08 gregory 542 div.tabContent div.layout div.first
2490 09 Jan 08 gregory 543 {
2490 09 Jan 08 gregory 544     padding-top: 0px;
2490 09 Jan 08 gregory 545 }
2490 09 Jan 08 gregory 546
1128 30 Jan 07 gregory 547 /*******************************************************************************
1128 30 Jan 07 gregory 548  * MKTree
1128 30 Jan 07 gregory 549  ******************************************************************************/
1101 15 Jan 07 gregory 550
1128 30 Jan 07 gregory 551 ul.mktree li a, ul.mktree li ul li a
1128 30 Jan 07 gregory 552 {
1128 30 Jan 07 gregory 553   text-decoration: none;
1132 30 Jan 07 gregory 554     cursor: pointer;  
1128 30 Jan 07 gregory 555 }
1128 30 Jan 07 gregory 556
2130 15 Oct 07 gregory 557 ul.mktree li a, ul.mktree li ul li a span.disabled
2130 15 Oct 07 gregory 558 {
2130 15 Oct 07 gregory 559     cursor: text;  
2130 15 Oct 07 gregory 560 }
2130 15 Oct 07 gregory 561
920 15 Nov 06 gregory 562 /*******************************************************************************
920 15 Nov 06 gregory 563  * Special cases
920 15 Nov 06 gregory 564  ******************************************************************************/
881 11 Nov 06 gregory 565 div.centered
881 11 Nov 06 gregory 566 {
881 11 Nov 06 gregory 567   margin: 40px auto;
883 11 Nov 06 gregory 568   width: 430px;
881 11 Nov 06 gregory 569 }
1195 14 Feb 07 gregory 570
1195 14 Feb 07 gregory 571 /*******************************************************************************
1856 06 Jul 07 gregory 572  * Popups
1856 06 Jul 07 gregory 573  ******************************************************************************/
1856 06 Jul 07 gregory 574 div.popupLayout
1856 06 Jul 07 gregory 575 {
1856 06 Jul 07 gregory 576   position: absolute;
2597 05 Mar 08 gregory 577   padding: 10px 10px;  
1856 06 Jul 07 gregory 578   left: 50px;
1856 06 Jul 07 gregory 579   display: none;
2597 05 Mar 08 gregory 580   z-index: 0;
2602 07 Mar 08 gregory 581   width: 500px;
2597 05 Mar 08 gregory 582   border: 0px solid red;
1856 06 Jul 07 gregory 583 }
1856 06 Jul 07 gregory 584
3954 05 Nov 10 gregory 585 div.popup .table { 
3954 05 Nov 10 gregory 586   border: 0px;
3954 05 Nov 10 gregory 587  }
2602 07 Mar 08 gregory 588
3954 05 Nov 10 gregory 589 div.popup .table,
3954 05 Nov 10 gregory 590 div.popup .title,
3962 05 Nov 10 gregory 591 div.popup .toolbar,
3962 05 Nov 10 gregory 592 div.popup .textArea  { 
3954 05 Nov 10 gregory 593     -moz-box-shadow: 5px 5px 15px #666;
3954 05 Nov 10 gregory 594  }
2602 07 Mar 08 gregory 595
1856 06 Jul 07 gregory 596
2486 08 Jan 08 gregory 597 /****
2486 08 Jan 08 gregory 598  Some standardization of popups is needed. Maybe size should be equal to all popups.
2486 08 Jan 08 gregory 599 ***/
2495 10 Jan 08 gregory 600 div.titledWindow div.appFront
2486 08 Jan 08 gregory 601 {
2486 08 Jan 08 gregory 602   height: 300px;
2486 08 Jan 08 gregory 603   overflow: auto;
2486 08 Jan 08 gregory 604 }
1856 06 Jul 07 gregory 605 /*******************************************************************************
2807 22 Aug 08 gregory 606  * Frames
2807 22 Aug 08 gregory 607  ******************************************************************************/
2807 22 Aug 08 gregory 608 iframe 
2807 22 Aug 08 gregory 609 {
2807 22 Aug 08 gregory 610   display: block;
2807 22 Aug 08 gregory 611   width: 100%;
2807 22 Aug 08 gregory 612   border: 0px;
2807 22 Aug 08 gregory 613 }
2807 22 Aug 08 gregory 614
2807 22 Aug 08 gregory 615 /*******************************************************************************
1195 14 Feb 07 gregory 616  * Other
1195 14 Feb 07 gregory 617  ******************************************************************************/
1195 14 Feb 07 gregory 618 h1
1195 14 Feb 07 gregory 619 {
3590 12 Mar 10 gregory 620   margin-bottom: 30px;
3590 12 Mar 10 gregory 621  padding-top: 20px;
3590 12 Mar 10 gregory 622   font-size: 2em;
1195 14 Feb 07 gregory 623   text-align: center;
1195 14 Feb 07 gregory 624   font-family: Arial, Helvetica, san-serif;
2733 01 Jul 08 gregory 625   white-space: nowrap;  
2733 01 Jul 08 gregory 626   clear: both;
2733 01 Jul 08 gregory 627   text-align: center;
1791 21 Jun 07 gregory 628 }
2335 31 Oct 07 gregory 629
2338 31 Oct 07 gregory 630 span.subtitle
2335 31 Oct 07 gregory 631 {
2335 31 Oct 07 gregory 632   font-weight: normal;
2335 31 Oct 07 gregory 633   font-style: italic;
2335 31 Oct 07 gregory 634 }
3711 24 May 10 gregory 635
3762 09 Aug 10 gregory 636 .help { font-style: italic; font-size: 0.9em }
3711 24 May 10 gregory 637
3711 24 May 10 gregory 638
3711 24 May 10 gregory 639 .button
3711 24 May 10 gregory 640 {
3711 24 May 10 gregory 641  cursor: pointer;
3711 24 May 10 gregory 642 }
3711 24 May 10 gregory 643
3712 24 May 10 gregory 644 .button:hover span
3711 24 May 10 gregory 645 {
3711 24 May 10 gregory 646  text-decoration: underline;
3711 24 May 10 gregory 647 }
3711 24 May 10 gregory 648
3711 24 May 10 gregory 649 .noicon 
3711 24 May 10 gregory 650 {
3711 24 May 10 gregory 651  padding-left: 20px;
3711 24 May 10 gregory 652 }

Generated on Thu Jul 20 09:47:40 2023 (UTC) by svndigest 0.11.2pre (dev build 1672)