stylesheets/common.css

   1 /*
   2  * common.css
   3  * This file contains CSS settings common to Wikistandard, Nostalgia and CologneBlue
   4  */
   5 #footer { clear: both }
   6 /* images */
   7 div.floatright { float: right; margin: 0 0 1em 1em; }
   8 div.floatright p { font-style: italic; }
   9 div.floatleft { float: left; margin: 0.3em 0.5em 0.5em 0; }
  10 div.floatleft p { font-style: italic; }
  11
  12
  13 /* Print-specific things to hide */
  14 .urlexpansion, .printfooter {
  15         display: none;
  16 }
  17
  18 /* table standards */
  19 table.rimage {
  20         float:right;
  21         width:1pt;
  22         margin-left:1em;
  23         margin-bottom:1em;
  24         text-align:center;
  25         font-size:smaller;
  26 }
  27
  28 /* thumbnails */
  29 div.thumb {
  30     margin: 10px;
  31     text-align: center;
  32     width: auto;
  33 }
  34 div.thumb div {
  35     border: 1px solid #8888aa;
  36     background-color: #f7f8ff;
  37     padding: 2px;
  38     font-size: 94%;
  39 }
  40 div.thumb div * {
  41     border: none;
  42     background: none;
  43 }
  44 div.thumb img {
  45     border:1px solid #8888AA;
  46     margin-bottom:3px;
  47     background:#FFFFFF;
  48 }
  49 div.thumbcaption,
  50 div.thumbcaption * {
  51     border: none !important;
  52     background: none !important;
  53 }
  54 div.thumbcaption {
  55     padding: 0.2em 0 0.2em 0 !important;
  56     text-align: left !important;
  57 }
  58 div.tright {
  59     float: right;
  60     margin-left:0.5em;
  61 }
  62 div.tleft {
  63     float: left;
  64     margin-right:0.5em;
  65 }
  66
  67 /* Page history styling */
  68 /* the auto-generated edit comments */
  69 .autocomment { color: #4b4b4b; }
  70 #pagehistory span.user {
  71     margin-left: 1.4em;
  72     margin-right: 0.4em;
  73 }
  74 #pagehistory span.minor { font-weight: bold; }
  75 #pagehistory li { border: 1px solid White; }
  76 #pagehistory li.selected {
  77     background-color:#f9f9f9;
  78     border:1px dashed #aaaaaa;
  79 }
  80
  81 table.diff {
  82         background:white;
  83 }
  84 td.diff-otitle {
  85         background:#cccccc;
  86 }
  87 td.diff-ntitle {
  88         background:#cccccc;
  89 }
  90 td.diff-addedline {
  91         background:#ccffcc;
  92 }
  93 td.diff-deletedline {
  94         background:#ffffaa;
  95 }
  96 td.diff-context {
  97         background:#eeeeee;
  98 }
  99
 100 img { border: none; }
 101 img.tex { vertical-align: middle; }
 102
 103
 104 #toc {
 105         border: 1px solid #8888aa;
 106         background-color: #f7f8ff;
 107         padding: 5px;
 108         font-size: 95%;
 109 }
 110 #toc .tocindent { margin-left: 2em; }
 111 #toc .tocline { margin-bottom: 0px; }
 112 #toc p { margin: 0 }
 113 #toc .toctoggle { font-size: 94%; }
 114 #toc .editsection {
 115     margin-top: 0.7em;
 116     font-size: 94%;
 117 }
 118
 119 .error {
 120         color: red;
 121         font-size: larger;
 122 }
 123
 124 /* preference page with js-genrated toc */
 125 #preftoc {
 126     float: left;
 127     margin: 1em 1em 1em 1em;
 128     width: 13em;
 129 }
 130 #preftoc li { border: 1px solid White; }
 131 #preftoc li.selected {
 132     background-color:#f9f9f9;
 133     border:1px dashed #aaaaaa;
 134 }
 135 #preftoc a,
 136 #preftoc a:active {
 137     display: block;
 138     color: #005189;
 139 }
 140 #prefcontrol {
 141     clear: left;
 142     float: left;
 143     margin-top: 1em;
 144 }
 145 div.prefsectiontip {
 146     font-size: 94%;
 147     margin-top: 1em;
 148 }
 149 fieldset.prefsection { margin-top: 1em }
 150 fieldset.operaprefsection { margin-left: 15em }
 151
 152 /* emulate center */
 153 .center {
 154     width: 100%;
 155     text-align: center;
 156 }
 157 *.center * {
 158     margin-left: auto;
 159     margin-right: auto;
 160 }
 161
 162 div.townBox {
 163     position:relative;
 164     float:right;
 165     background:White;
 166     margin-left:1em;
 167     border: 1px solid Grey;
 168     padding:0.3em;
 169     width: 200px;
 170     overflow: hidden;
 171     clear: right;
 172 }
 173 div.townBox dl {
 174     padding: 0;
 175     margin: 0 0 0.3em 0;
 176     font-size: 96%;
 177 }
 178 div.townBox dl dt {
 179     background: none;
 180     margin: 0.4em 0 0 0;
 181 }
 182 div.townBox dl dd {
 183     margin: 0.1em 0 0 1.1em;
 184     background-color: #f3f3f3;
 185 }