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         margin-left:1em;
  22         margin-bottom:1em;
  23         text-align:center;
  24         font-size:smaller;
  25 }
  26
  27 /* thumbnails */
  28 div.thumb {
  29     margin: 10px;
  30     text-align: center;
  31     width: auto;
  32     overflow: hidden;
  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 span.texhtml { font-family: serif; }
 103
 104
 105 #toc {
 106         border: 1px solid #8888aa;
 107         background-color: #f7f8ff;
 108         padding: 5px;
 109         font-size: 95%;
 110 }
 111 #toc .tocindent { margin-left: 2em; }
 112 #toc .tocline { margin-bottom: 0px; }
 113 #toc p { margin: 0 }
 114 #toc .toctoggle { font-size: 94%; }
 115 #toc .editsection {
 116     margin-top: 0.7em;
 117     font-size: 94%;
 118 }
 119
 120 .error {
 121         color: red;
 122         font-size: larger;
 123 }
 124
 125 /* preference page with js-genrated toc */
 126 #preftoc {
 127     float: left;
 128     margin: 1em 1em 1em 1em;
 129     width: 13em;
 130 }
 131 #preftoc li { border: 1px solid White; }
 132 #preftoc li.selected {
 133     background-color:#f9f9f9;
 134     border:1px dashed #aaaaaa;
 135 }
 136 #preftoc a,
 137 #preftoc a:active {
 138     display: block;
 139     color: #005189;
 140 }
 141 #prefcontrol {
 142     clear: left;
 143     float: left;
 144     margin-top: 1em;
 145 }
 146 div.prefsectiontip {
 147     font-size: 94%;
 148     margin-top: 1em;
 149 }
 150 fieldset.prefsection { margin-top: 1em }
 151 fieldset.operaprefsection { margin-left: 15em }
 152
 153 /* emulate center */
 154 .center {
 155     width: 100%;
 156     text-align: center;
 157 }
 158 *.center * {
 159     margin-left: auto;
 160     margin-right: auto;
 161 }
 162
 163 div.townBox {
 164     position:relative;
 165     float:right;
 166     background:White;
 167     margin-left:1em;
 168     border: 1px solid Grey;
 169     padding:0.3em;
 170     width: 200px;
 171     overflow: hidden;
 172     clear: right;
 173 }
 174 div.townBox dl {
 175     padding: 0;
 176     margin: 0 0 0.3em 0;
 177     font-size: 96%;
 178 }
 179 div.townBox dl dt {
 180     background: none;
 181     margin: 0.4em 0 0 0;
 182 }
 183 div.townBox dl dd {
 184     margin: 0.1em 0 0 1.1em;
 185     background-color: #f3f3f3;
 186 }
 187 /* use this instead of #toc for page content */
 188 .toccolours {
 189     border:1px solid #aaaaaa;
 190     background-color:#f9f9f9;
 191     padding:5px;
 192     font-size: 95%;
 193 }