stylesheets/cologneblue.css

   1
   2 body { margin: 0px; padding: 0px; color: black; }
   3 #specialform { display: inline; }
   4 #content { top: 0; margin: 0; padding: 0; }
   5 #topbar { padding: 0px; }
   6 #powersearch {
   7   background: #DDEEFF; border-style: solid; border-width: 1; padding: 2;
   8 }
   9 #quickbar {
  10  width: 140px; top: 18ex; padding: 2px; visibility: visible; z-index: 99;
  11 }
  12 #article, #article td, #article th, #article p {
  13  font-family: Verdana, Arial, sans-serif;
  14  font-size: 10pt; color: black;
  15 }
  16 #article p {
  17  padding-top: 0; padding-bottom: 0;
  18  margin-top: 1ex; margin-bottom: 0;
  19 }
  20 p, pre, td, th, li, dd, dt { line-height: 12pt; }
  21 textarea { overflow: auto; }
  22
  23 #footer { padding: 4px; }
  24 #footer form { display: inline; }
  25 .autocomment { color: gray; }
  26 #sitetitle {
  27  font-family: Times, serif;
  28  color: white;
  29  font-weight: normal; font-size: 32pt;
  30  line-height: 32pt;
  31 }
  32 td.top {
  33  background-color: #6688AA; color: white;
  34  margin-top: 4px; margin-bottom: 4px;
  35  padding-top: 0; padding-bottom: 0;
  36  text-transform: uppercase;
  37  font-family: Verdana, Arial, sans-serif; font-size: 8pt;
  38 }
  39 td.top a {
  40  font-family: Verdana, Arial, sans-serif;
  41  background-color: #6688AA; color: white;
  42  text-decoration: none; font-size: 10pt;
  43 }
  44 td.bottom {
  45  font-family: Verdana, Arial, sans-serif;
  46  font-size: 10pt;
  47  padding: 0;
  48 }
  49 #pagestats {
  50  font-family: Verdana, Arial, sans-serif;
  51  color: black;
  52  font-size: 9pt;
  53 }
  54 #sitesub {
  55  font-family: Verdana, Arial, sans-serif;
  56  font-size: 9pt; font-weight: bold;
  57  color: black;
  58  padding-top: 0;
  59 }
  60 #quickbar {
  61  font-family: Verdana, Arial, sans-serif;
  62  font-size: 8pt; font-weight: bold; line-height: 9.5pt;
  63  text-decoration: none;
  64  color: black;
  65  padding: 0; margin-top: 0;
  66 }
  67 #quickbar a { color: #446688; }
  68
  69 #quickbar h6 {
  70  font-family: Verdana, Arial, sans-serif;
  71  font-size: 10pt; font-weight: bold; line-height: 12pt;
  72  text-decoration: none;
  73  color: #666666;
  74  padding: 0; margin-bottom: 2px; margin-top: 6px;
  75 }
  76 #quickbar form { padding: 0; margin-top: 0; }
  77
  78 h1 { font-family: Arial, Helvetica, sans-serif;
  79  color: #666666;
  80  font-family: Verdana, Arial, sans-serif;
  81  font-size: 18pt; font-weight: bold; line-height: 21pt;
  82 }
  83 h1.pagetitle { padding-bottom: 0; margin-bottom: 0; }
  84 #article p.subtitle {
  85  color: #666666; font-size: 11pt; font-weight: bold;
  86  padding-top: 0; margin-top: 0; padding-bottom: 1ex;
  87 }
  88 a { color: #223366; }
  89 a.external { color: #336644; }
  90 a:visited { color: #8D0749; }
  91 a.printable { text-decoration: underline; }
  92 a.stub { color:#772233; text-decoration:none; }
  93 h2, h3, h4, h5, h6 { margin-bottom: 0; }
  94 small { font-size: 75%; }
  95 img { border: none; }
  96 #toc { border:1px solid #8888aa; background-color:#f7f8ff;padding:5px;font-size:95%; }
  97
  98
  99 /* Images */
 100 div.floatright { float: right; margin: 0 0 1em 1em; }
 101 div.floatright p { font-style: italic; }
 102 div.floatleft { float: left; margin: 0.3em 0.5em 0.5em 0; }
 103 div.floatleft p { font-style: italic; }
 104
 105
 106 /* thumbnails */
 107 div.thumbnail-none, div.thumbnail-right, div.thumbnail-left {
 108         padding: 2px;
 109         border:1px solid #8888aa;
 110         background:#CCCCCC;
 111         margin: 0.3em auto 0.5em;
 112         font-size: 85%;
 113 }
 114
 115 div.thumbnail-none p, div.thumbnail-right p, div.thumbnail-left p {
 116         margin-top:3px; margin-bottom:3px;
 117 }
 118
 119 div.thumbnail-right {
 120         float: right;
 121         margin-left:0.5em;
 122 }
 123
 124 div.thumbnail-left {
 125         float: left;
 126         margin-right:0.5em;
 127 }
 128
 129 table.diff {
 130         background:white;
 131 }
 132 td.diff-otitle {
 133         background:#cccccc;
 134 }
 135 td.diff-ntitle {
 136         background:#cccccc;
 137 }
 138 td.diff-addedline {
 139         background:#ccffcc;
 140 }
 141 td.diff-deletedline {
 142         background:#ffffaa;
 143 }
 144 td.diff-context {
 145         background:#eeeeee;
 146 }
 147
 148 /* table standards */
 149 table.rimage {
 150         float:right;
 151         width:1pt;
 152         margin-left:1em;
 153         margin-bottom:1em;
 154         text-align:center;
 155         font-size:smaller;
 156         }
 157
 158 /* Print-specific things to hide */
 159 .urlexpansion, .printfooter {
 160         display: none;
 161         }
 162