htdocs/static/typography.css

   1 body {
   2 font-family : trebuchet,verdana, sans-serif;
   3 font-size: 12px;
   4 line-height:17px;
   5 }
   6 .button
   7 {
   8         border: 3px outset #F3F3F3;
   9         background-color: #F3F3F3;
  10         padding: 0px 2px;
  11         cursor: default;
  12 }
  13 .dialog
  14 {
  15         border-top: 3px solid #666;
  16         border-right: 1px solid #666;
  17         border-left: 1px solid #666;
  18         border-bottom: 1px solid #666;
  19         background-color: #F3F3F3;
  20         padding: 0px 2px 0px 2px;
  21         cursor: default;
  22         line-height: 20px;
  23 }
  24 .menu
  25 {
  26         border: 1px solid #666;
  27         background-color: #ffa54d;
  28         padding: 0px 2px 0px 2px;
  29         cursor: default;
  30         line-height: 20px;
  31 }
  32 .keyboard_shortcuts
  33 {
  34         border: 3px outset #F3F3F3;
  35         background-color: #F3F3F3;
  36         padding: 0px 2px;
  37         cursor: default;
  38         line-height: 20px;
  39 }
  40 .image_placeholder
  41 {
  42         border: 5px solid #ff7f00;
  43         padding: 5px 5px 5px 5px;
  44         height:90px;
  45         width:120px;
  46         background-image: url('/floss/pub/TWiki/FlossSkin2/image.png');
  47         background-repeat : none;
  48 }
  49
  50 p.writers_comment
  51 {
  52         border: 5px solid #ff7f00;
  53         background-color: #e1e1e1;
  54         padding: 5px 5px 5px 5px;
  55 }
  56 div.tips
  57 {
  58         border: 1px solid #e1e1e1;
  59         background-color: #fff7f0;
  60         padding: 5px 5px 5px 5px;
  61 }
  62 p.warning
  63 {
  64         border: 5px solid red;
  65         background-color: #fff7f0;
  66         padding: 5px 5px 5px 5px;
  67 }
  68 div.definition
  69 {
  70         border :1px solid #ff7f00;
  71         border-style: dashed;
  72         padding: 5px 5px 5px 5px;
  73 }
  74 table {
  75 border: outset 0px;
  76 font-family : trebuchet,verdana, sans-serif;
  77 font-size : 12px;
  78 }
  79
  80 A:link {
  81         color:#666666;
  82 }
  83 A:visited {
  84         color:#000000;
  85 }
  86 A:active {
  87         color:#000000;
  88 }
  89 A:hover {
  90         color:#000000;
  91 }
  92
  93
  94 .ds-note {
  95 border: 1px solid black;
  96 float: right;
  97 padding: .5em;
  98 margin: .5em 0 .5em 1em;
  99 width: 15em;
 100 background-color: #FFFFBF;
 101 }
 102
 103
 104 div {
 105         border: 0px solid #000000;
 106 }
 107
 108 div.container {
 109         position: relative;
 110         margin: 0 auto;
 111         width: 780px;
 112         height: 5000px;
 113 }
 114
 115 div.left {
 116         position: absolute;
 117         top: 0px;
 118         left: 0px;
 119         width: 200px;
 120         height: 100%;
 121 }
 122
 123 div.top {
 124         position: absolute;
 125         top: 0px;
 126         left: 170px;
 127         width: 500px;
 128         height: 100%;
 129 }
 130
 131 div.main {
 132         position: absolute;
 133         top: 150px;
 134         left: 200px;
 135         width: 580px;
 136         height: 100%;
 137 }
 138
 139 pre, span.Code, span.verbatim {
 140 font-size:12px;
 141 line-height:1.5em;
 142 background-color:#FFE5CC;
 143 border: 0px solid #000000;
 144 margin-left : 0.5em;
 145 margin-bottom : 20px;
 146 margin-right : 1em;
 147 padding-left: 1em;
 148 padding-right: 1em;
 149 padding-top: 0.2em;
 150 padding-bottom: 0.2em;
 151 color : black;
 152 white-space: pre-wrap;       /* css-3 */
 153 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 154 white-space: -pre-wrap;      /* Opera 4-6 */
 155 white-space: -o-pre-wrap;    /* Opera 7 */
 156 word-wrap: break-word;       /* Internet Explorer 5.5+ */
 157 }
 158
 159 img {
 160 border: 0px solid #361b13;
 161 margin-top: 0em;
 162 }
 163
 164 .ds-kbd {
 165 background-color: #efefef;
 166 margin-left: 2em;
 167 margin-right: 2em;
 168 padding: .5em 1em .5em 1em;
 169 font-family: monospace;
 170 }
 171
 172 .ds-contentcontainer {
 173 padding: 0em .5em .5em 0em;
 174 }
 175
 176
 177 .ds-innercontentcontainer {
 178 line-height: 1.3;
 179 clear: both;
 180 padding-top: 1em;
 181 }
 182
 183 .ds-nmcontent {
 184 line-height: 1.3;
 185 }
 186
 187
 188 .ds-innercontentcontainer ol, .ds-innercontentcontainer ul, .ds-innercontentcontainer li {
 189 line-height: 1.3em;
 190 margin-top: 0.2em;
 191 margin-bottom: 0.1em;
 192 }
 193
 194 .ds-nmcontent ol, .ds-nmcontent ul, .ds-nmcontent li {
 195 line-height: 1.3em;
 196 margin-top: 0.2em;
 197 margin-bottom: 0.1em;
 198 }
 199
 200
 201 /*
 202  *  a modified version of
 203  *  http://www.thenoodleincident.com/tutorials/typography/css/real.css
 204  *
 205  *  One could optionally remove everything below.
 206  */
 207
 208 hr {
 209 border : none;
 210 background-color : #666666;
 211 color : #000000;
 212 height : 2px;
 213 width:120px;
 214 margin-left:0px;
 215 margin-bottom: 10px;
 216 margin-top: 10px;
 217 }
 218
 219 blockquote {
 220 }
 221
 222 ul, li {
 223 margin-bottom: 5px;
 224 margin-top: 0px;
 225 }
 226
 227 h1 {
 228 font-size: 24px;
 229 font-family : Arial,verdana, sans-serif;
 230 font-weight : Bold;
 231 margin-bottom: 10px;
 232 margin-top: 0px;
 233 line-height: 32px;
 234 letter-spacing: -1px;
 235 }
 236
 237 h2 {
 238 font-size: 18px;
 239 font-family : Arial,verdana, sans-serif;
 240 font-weight : Bold;
 241 margin-bottom: 10px;
 242 margin-top: 15px;
 243 padding-top : 15px;
 244 }
 245
 246 h3 {
 247 font-size: 14px;
 248 font-family : Arial,verdana, sans-serif;
 249 font-weight : Bold;
 250 margin-bottom: 5px;
 251 }
 252
 253 h4 {font-weight : Bold;font-size: 12px;}
 254 h5 {font-weight : Bold;font-size: 12px;}
 255 h6 {font-weight : Bold;font-size: 12px;}
 256
 257
 258 /*
 259  * this might cause more problems that it solves, but fixed-width type
 260  * is extremely tiny in Firefox with some sizing methods (eg with 76%
 261  * font-sizing)
 262 */
 263
 264 body kbd, body tt, body code {
 265 font-size: x-small;
 266 }
 267 p {
 268         margin-top: 1em;
 269 }
 270
 271
 272
 273
 274
 275
 276
 277
 278
 279
 280
 281
 282
 283
 284
 285
 286
 287
 288
 289
 290
 291
 292
 293