extra/webapps/article-manager/resources/style.css

   1 body {
   2 background-color : #cccccc;
   3 color : #000000;
   4 margin:10px 10px 0px 10px;
   5 padding:5px;
   6 }
   7
   8 #navigation {
   9 position: absolute;
  10 left:10px;
  11 width:160px;
  12 background:#fff;
  13 border:1px solid #000;
  14 }
  15
  16 #navigation h1 {
  17 font-size: 18px;
  18 text-align: center;
  19 }
  20
  21 #article {
  22 background:#fff;
  23 margin-left: 159px;
  24 margin-right: 159px;
  25 border:1px solid #000;
  26 voice-family: "\"}\"";
  27 voice-family: inherit;
  28 margin-left: 161px;
  29 margin-right: 159px;
  30 }
  31
  32 html>body #article {
  33 margin-left: 161px;
  34 margin-right: 159px;
  35 }
  36
  37 p,h1,pre {
  38 margin:0px 10px 10px 10px;
  39 }
  40
  41 h1 {
  42 font-size:14px;
  43 padding-top:10px;
  44 }
  45
  46 #banner h1 {
  47 font-size:24px;
  48 padding:10px 10px 0px 10px;
  49 margin:0px;
  50 text-align: center;
  51 }
  52
  53 #copyright {
  54 text-align: center;
  55 color: #FFF;
  56 font-size: 65%;
  57 }
  58
  59  pre { border: 1px dashed black; border-width: 1px;
  60             line-height:1.0em;
  61             background: #ffe;
  62             margin: 0.5em 0.5em 0.5em 0.5em;
  63             padding: 0.5em;
  64             font-size: 70%;
  65              }