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 /*
 116 div.left {
 117         position: absolute;
 118         top: 0px;
 119         left: 0px;
 120         width: 200px;
 121         height: 100%;
 122 }
 123
 124 div.top {
 125         position: absolute;
 126         top: 0px;
 127         left: 170px;
 128         width: 500px;
 129         height: 100%;
 130 }
 131 */
 132
 133 div.main {
 134         position: absolute;
 135         top: 150px;
 136         left: 200px;
 137         width: 580px;
 138         height: 100%;
 139 }
 140
 141 pre, span.Code, span.verbatim {
 142 font-size:12px;
 143 line-height:1.5em;
 144 background-color:#FFE5CC;
 145 border: 0px solid #000000;
 146 margin-left : 0.5em;
 147 margin-bottom : 20px;
 148 margin-right : 1em;
 149 padding-left: 1em;
 150 padding-right: 1em;
 151 padding-top: 0.2em;
 152 padding-bottom: 0.2em;
 153 color : black;
 154 white-space: pre-wrap;       /* css-3 */
 155 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 156 white-space: -pre-wrap;      /* Opera 4-6 */
 157 white-space: -o-pre-wrap;    /* Opera 7 */
 158 word-wrap: break-word;       /* Internet Explorer 5.5+ */
 159 }
 160
 161 img {
 162 border: 0px solid #361b13;
 163 margin-top: 0em;
 164 }
 165
 166 .ds-kbd {
 167 background-color: #efefef;
 168 margin-left: 2em;
 169 margin-right: 2em;
 170 padding: .5em 1em .5em 1em;
 171 font-family: monospace;
 172 }
 173
 174
 175 .ds-innercontentcontainer {
 176 line-height: 1.3;
 177 clear: both;
 178 padding-top: 1em;
 179 }
 180
 181 .ds-nmcontent {
 182 line-height: 1.3;
 183 }
 184
 185
 186 .ds-innercontentcontainer ol, .ds-innercontentcontainer ul, .ds-innercontentcontainer li {
 187 line-height: 1.3em;
 188 margin-top: 0.2em;
 189 margin-bottom: 0.1em;
 190 }
 191
 192 .ds-nmcontent ol, .ds-nmcontent ul, .ds-nmcontent li {
 193 line-height: 1.3em;
 194 margin-top: 0.2em;
 195 margin-bottom: 0.1em;
 196 }
 197
 198
 199 /*
 200  *  a modified version of
 201  *  http://www.thenoodleincident.com/tutorials/typography/css/real.css
 202  *
 203  *  One could optionally remove everything below.
 204  */
 205
 206 hr {
 207 border : none;
 208 background-color : #666666;
 209 color : #000000;
 210 height : 2px;
 211 width:120px;
 212 margin-left:0px;
 213 margin-bottom: 10px;
 214 margin-top: 10px;
 215 }
 216
 217 blockquote {
 218 }
 219
 220 ul, li {
 221 margin-bottom: 5px;
 222 margin-top: 0px;
 223 }
 224
 225 h1 {
 226 font-size: 24px;
 227 font-family : Arial,verdana, sans-serif;
 228 font-weight : Bold;
 229 margin-bottom: 10px;
 230 margin-top: 0px;
 231 line-height: 32px;
 232 letter-spacing: -1px;
 233 }
 234
 235 h2 {
 236 font-size: 18px;
 237 font-family : Arial,verdana, sans-serif;
 238 font-weight : Bold;
 239 margin-bottom: 10px;
 240 margin-top: 15px;
 241 padding-top : 15px;
 242 }
 243
 244 h3 {
 245 font-size: 14px;
 246 font-family : Arial,verdana, sans-serif;
 247 font-weight : Bold;
 248 margin-bottom: 5px;
 249 }
 250
 251 h4 {font-weight : Bold;font-size: 12px;}
 252 h5 {font-weight : Bold;font-size: 12px;}
 253 h6 {font-weight : Bold;font-size: 12px;}
 254
 255
 256 /*
 257  * this might cause more problems that it solves, but fixed-width type
 258  * is extremely tiny in Firefox with some sizing methods (eg with 76%
 259  * font-sizing)
 260 */
 261
 262 body kbd, body tt, body code {
 263 font-size: x-small;
 264 }
 265 p {
 266         margin-top: 1em;
 267 }
 268
 269
 270
 271
 272
 273
 274
 275
 276
 277
 278
 279
 280
 281
 282
 283
 284
 285
 286
 287
 288
 289
 290
 291