doc/index.css

   1 a {
   2   text-decoration: none;
   3   color: black;
   4   border-bottom: 1px solid #9c0000;
   5 }
   6
   7 a:hover {
   8   color: #9c0000;
   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: #9c0000;
  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: #9c0000;
  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: #9c0000;
  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   width: 70%;
  76   border-bottom: 1px solid black;
  77   font-family: verdana, arial;
  78   font-size: 15pt;
  79 }
  80
  81 .code {
  82   background-color: #eeeeee;
  83   border: solid 1px #d0d0d0;
  84   padding: 1em;
  85   width: 60%;
  86 }
  87
  88 .example {
  89   background-color: #eeeeee;
  90   border: solid 1px #d0d0d0;
  91   padding: 1em;
  92   margin-bottom: 0;
  93   width: 60%;
  94 }
  95
  96 .result {
  97   border: solid 1px #d0d0d0;
  98   border-top: 0px;
  99   padding: 1em;
 100   margin-top: 0;
 101   width: 60%;
 102 }
 103
 104 div.sidebar {
 105   float: right;
 106   min-width: 30%;
 107   padding: 0pt 5pt 5pt 5pt;
 108   font-family: verdana, arial;
 109 }
 110
 111 div.sidebar-title {
 112   font-weight: bold;
 113   background-color: #9c0000;
 114   border: solid #9c0000;
 115   border-top-width: 1px;
 116   border-bottom-width: 2px;
 117   border-left-width: 4px;
 118   border-right-width: 0px;
 119   padding-left: 1px;
 120   margin: 0em 2pt 0px 2em;
 121 }
 122
 123 div.sidebar-title a {
 124   color: #ffffff;
 125 }
 126
 127 div.sidebar-main {
 128   background-color: #f7f7f7;
 129   border: solid #9c0000;
 130   border-top-width: 0px;
 131   border-bottom-width: 0px;
 132   border-left-width: 4px;
 133   border-right-width: 0px;
 134   margin: 0em 2pt 1em 2em;
 135   padding: 1em;
 136 }
 137
 138 div.sidebar ul.main {
 139   padding: 0pt 0pt 0pt 1em;
 140   margin: 0 0 1em;
 141 }
 142
 143 div.sidebar ul.sub {
 144   list-style-type: square;
 145   padding: 0pt 0pt 0pt 1em;
 146   margin: 0 0 1em;
 147 }
 148
 149 div.sidebar ul.hack {
 150   padding: 0 0 0 0;
 151   margin: 0 0 1em;
 152   list-style-type: none;
 153 }