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