html/style.css

   1  body { font-family: verdana, helvetica, arial, sans-serif; background: white; }
   2  table { font-family: verdana, helvetica, arial, sans-serif; background: white; }
   3  th { font-family: verdana, helvetica, arial, sans-serif; background: white; }
   4  td { font-family: verdana, helvetica, arial, sans-serif; background: white; }
   5  h1 { font-size: +130%}
   6  h2 { font-size: +120%}
   7  h3 { font-size: +110%}
   8  hr { color: gray; }
   9  blockquote code { font-family: courier; color: blue; }
  10  code { color: blue; }
  11  .copy { font-size: small; color: red; }
  12  .id { font-size: small; }
  13  .code { color: blue; }
  14  .send { color: blue; }
  15  .expect { color: red; }
  16  .cmd { color: green; }
  17  .connect { color: purple; }