index.css

   1 a {
   2   text-decoration: none;
   3   color: black;
   4   border-bottom: 1px solid #ff9500;
   5 }
   6
   7 a:hover {
   8   color: #ff9500;
   9   border-bottom: 1px solid #aaaaaa;
  10 }
  11
  12 body {
  13   color: #000000;
  14   background-color: #ffffff;
  15   margin-top: 2em;
  16   margin-right: 0pt;
  17   margin-bottom: 10%;
  18   font-family: verdana, arial;
  19 }
  20
  21 .main {
  22   margin-top: 20px;
  23   margin-left: 40px;
  24   padding-left: 30px;
  25 }
  26
  27 h1,h2,h3 {
  28   color: #000077;
  29   margin-top: 2em;
  30   margin-left: -30px;
  31 }
  32
  33 .def {
  34   border-bottom: 1px solid black;
  35   padding: 1px 1px 1px 1px;
  36   margin-bottom: 1px;
  37   font-weight: bold;
  38   margin-right: 40px;
  39 }
  40
  41 .def:hover {
  42   background-color: #e0a655;
  43 }
  44
  45 .def a {
  46   text-decoration: none;
  47   color: #000000;
  48   border-bottom: 0px solid white;
  49   border-top: 0px solid white;
  50   border-left: 0px solid white;
  51   border-right: 0px solid white;
  52 }
  53
  54 .def a:hover {
  55   background-color: #e0a655;
  56   color: #000000;
  57   text-decoration: none;
  58   border-bottom: 0px solid white;
  59   border-top: 0px solid white;
  60   border-left: 0px solid white;
  61   border-right: 0px solid white;
  62 }
  63
  64 .nomargin {
  65   margin-bottom: 0;
  66   margin-top: 0;
  67 }
  68
  69 .noindent {
  70   margin-left: -30px;
  71 }
  72
  73 #header {
  74   padding-bottom: 1px;
  75   border-bottom: 1px solid black;
  76   font-family: verdana, arial;
  77   font-size: 12pt;
  78 }
  79
  80 .code {
  81   background-color: #eeeeee;
  82   border: solid 1px #d0d0d0;
  83   padding: 1em;
  84 }