html/pod.css

   1 /* CSS to make pod2html files look a little bit better. */
   2
   3 body {
   4   margin-left: 4em;
   5 }
   6
   7 body p, body ul, ol, body dl {
   8   margin-left: 2em;
   9   width: 31em;
  10 }
  11
  12 pre {
  13   width: 31em;
  14 }
  15
  16 li {
  17   padding-bottom: 0.5em;
  18 }
  19
  20 /* Code sections. */
  21
  22 pre {
  23   background-color: #f8f8f8;
  24   color: rgb(204,0,0);
  25   font-weight: 550;
  26   border-left: 6px solid rgb(204,64,64);
  27   padding: 6px;
  28   margin-left: 1em;
  29   font-size: 120%;
  30 }
  31
  32 /* Bold, italic in man pages. */
  33 b, strong {
  34   color: rgb(204,0,0);
  35 }
  36
  37 i, em {
  38   color: rgb(204,0,0);
  39 }
  40
  41 /* Name heading. */
  42
  43 body > h1:first-of-type {
  44   display: none;
  45 }
  46
  47 body > h1:first-of-type + p {
  48   font-size: 125%;
  49   font-weight: bold;
  50   color: rgb(204,0,0);
  51   margin-left: -32px;
  52 }
  53
  54 /* Warning heading in man pages. */
  55 a[name="warning"] {
  56   -moz-border-radius-topleft: 5px;
  57   -moz-border-radius-topright: 5px;
  58   border-radius-topleft: 5px;
  59   border-radius-topright: 5px;
  60
  61   color: white;
  62   background-color: rgb(204,0,0);
  63 }
  64 a[name="warning"]:before {
  65   content: "\00a0\00a0\00a0";
  66 }
  67 a[name="warning"]:after {
  68   content: "\00a0\00a0\00a0";
  69 }
  70
  71 /* Put the index on the right hand side in a floating box. */
  72 div[name="index"] {
  73     float: right;
  74     width: 18em;
  75     border-left: 3em solid white;
  76     background-color: #fcfcfc;
  77     margin-top: 32px;
  78     padding-top: 0px;
  79     margin-left: 1em;
  80     padding-left: 1em;
  81     padding-right: 1em;
  82     font-size: 90%;
  83 }
  84
  85 div[name="index"] a[href] {
  86     text-decoration: none;
  87 }
  88
  89 div[name="index"] a[href]:hover {
  90     text-decoration: underline;
  91 }
  92
  93 div[name="index"] a[href]:before {
  94     content: '#\00a0';
  95     color: rgb(204,0,0);
  96     font-size: x-small;
  97 }
  98
  99 div[name="index"] > ul {
 100     width: 17em;
 101     list-style: none;
 102     margin-left: 0px;
 103     margin-right: 0px;
 104     padding-left: 0px;
 105     padding-right: 0px;
 106 }
 107
 108 div[name="index"] > ul > li {
 109     margin-bottom: 0.5em;
 110 }
 111
 112 div[name="index"] > ul ul {
 113     width: 16em;
 114     list-style: none;
 115     margin-left: 0px;
 116     margin-right: 0px;
 117     padding-left: 0px;
 118     padding-right: 0px;
 119     margin-bottom: 0.5em;
 120 }
 121
 122 div[name="index"] > ul > ul li {
 123     display: inline;
 124     margin-right: 1em;
 125 }
 126
 127 /*
 128 div[name="index"] > ul > ul li:after {
 129     color: #ccc;
 130     content: '\2014';
 131 }
 132 */
 133
 134 /* Get rid of those horrible <hr>'s :-( */
 135 hr { display: none; }
 136
 137 /* Demote <h1>'s and set rest of headers relative. */
 138 h1 {
 139     font-size: 100%;
 140     color: black;
 141     border-bottom: solid 1px rgb(204,0,0);
 142 }
 143
 144 h2 {
 145     font-size: 95%;
 146     border-bottom: none;
 147 }
 148
 149 h3 {
 150     font-size: 90%;
 151 }
 152
 153 h4 {
 154     font-size: 85%;
 155 }