pintos-os.org Git - pintos-anon/blob - doc/pintos.css

   1 body {
   2         background: white;
   3         color: black;
   4         padding: 0em 1em 0em 3em;
   5         margin: 0;
   6         margin-left: auto;
   7         margin-right: auto;
   8         max-width: 8in;
   9         text-align: justify
  10 }
  11 body>p {
  12         margin: 0pt 0pt 0pt 0em;
  13         text-align: justify
  14 }
  15 body>p + p {
  16         margin: .75em 0pt 0pt 0pt
  17 }
  18 H1 {
  19         font-size: 150%;
  20         margin-left: -1.33em
  21 }
  22 H2 {
  23         font-size: 125%;
  24         font-weight: bold;
  25         margin-left: -.8em
  26 }
  27 H3 {
  28         font-size: 100%;
  29         font-weight: bold;
  30         margin-left: -.5em }
  31 H4 {
  32         font-size: 100%;
  33         margin-left: 0em
  34 }
  35 H1, H2, H3, H4, H5, H6 {
  36         font-family: sans-serif;
  37         color: blue
  38 }
  39 H1, H2 {
  40         text-decoration: underline
  41 }
  42 html {
  43         margin: 0;
  44         font-weight: lighter
  45 }
  46 tt, code {
  47         font-family: sans-serif
  48 }
  49
  50 a:link {
  51         color: blue;
  52         text-decoration: none;
  53 }
  54 a:visited {
  55         color: gray;
  56         text-decoration: none;
  57 }
  58 a:active {
  59         color: black;
  60         text-decoration: none;
  61 }
  62 a:hover {
  63         text-decoration: underline
  64 }
  65
  66 address {
  67         font-size: 90%;
  68         font-style: normal
  69 }
  70
  71 HR {
  72         display: none
  73 }