doc/doc.css

   1 div.sidebar {
   2   float: right;
   3   min-width: 15%;
   4   padding: 0pt 5pt 5pt 5pt;
   5   font-family: verdana, arial;
   6 }
   7
   8 a {
   9   text-decoration: none;
  10   color: #000000;
  11   border-bottom: 1px dotted black;
  12   border-top: 1px solid white;
  13   border-left: 1px solid white;
  14   border-right: 1px solid white;
  15 }
  16
  17 .sidebar a {
  18   border-top: 1px solid #eeeeee;
  19   border-left: 1px solid #eeeeee;
  20   border-right: 1px solid #eeeeee;
  21 }
  22
  23 a:hover {
  24   color: #000000;
  25   border: 1px solid black;
  26 }
  27
  28 #headerlink {
  29   border: none;
  30 }
  31
  32 #headerlink:hover {
  33   border: none;
  34 }
  35
  36 div.sidebar-title {
  37   font-weight: bold;
  38   color: #ffffff;
  39   background-color: #000000; /* #0000aa */
  40   border: solid #000000; /* #0000aa */
  41   border-top-width: 1px;
  42   border-bottom-width: 0px;
  43   border-left-width: 4px;
  44   border-right-width: 0px;
  45   margin: 0em 2pt 1px 2em;
  46 }
  47
  48 div.sidebar-title a {
  49   color: #ffffff;
  50 }
  51
  52 div.sidebar-main {
  53   background-color: #eeeeee;
  54   border: solid #000000; /* #0000aa */
  55   border-top-width: 0px;
  56   border-bottom-width: 0px;
  57   border-left-width: 4px;
  58   border-right-width: 0px;
  59   margin: 0em 2pt 1em 2em;
  60   padding-top: 2px;
  61   padding-left: 2px;
  62 }
  63
  64 div.sidebar ul {
  65   list-style-type: square;
  66   padding: 0pt 0pt 0pt 1em;
  67   margin: 0 0 1em;
  68 }
  69
  70 div.sidebar ul.sub {
  71   list-style-type: disc;
  72   padding: 0pt 0pt 0pt 1em;
  73   margin: 0 0 1em;
  74 }
  75
  76 body {
  77   color: #000000;
  78   background-color: #ffffff;
  79   margin-top: 2em;
  80   margin-right: 20pt;
  81   margin-bottom: 10%;
  82   font-family: verdana, arial;
  83 //   background-image: url(bg.png);
  84 //   background-position: top left;
  85 //   background-attachment: fixed;
  86 //   background-repeat: no-repeat;
  87 }
  88
  89 .main {
  90   margin-top: 20px;
  91   margin-left: 40px;
  92   padding-left: 30px;
  93 }
  94
  95 h1,h2 {
  96   margin-left: -30px;
  97 }
  98
  99 h3 {
 100   width: 90%;
 101   color: #000000;
 102   border-bottom: 1px solid #ff9500;
 103    margin-left: -3px;
 104    padding-left: 3px;
 105 }
 106
 107 h4 {
 108 }
 109
 110 .grau {
 111   padding-top: 1em;
 112 //   background-color: #f0f0f0;
 113 //   width: 60%;
 114 //   margin-left: -1em;
 115 //   padding-left: 1em;
 116 //   padding-top: 2px;
 117 //   padding-bottom: 2px;
 118 //   border: 1px solid #cccccc;
 119 }
 120
 121 .code {
 122   border: solid 1px #d0d0d0;
 123   padding: 1em;
 124   margin-right: 10%;
 125 }
 126
 127 .indent {
 128   margin-left: 20px;
 129   padding-bottom: 1em;
 130 }
 131
 132 .def {
 133 //  background-color: #ffcd87;
 134 //  background-color: #ffb247;
 135 //  background-color: #e0a655;
 136
 137 //  border-bottom: 1px solid black;
 138   padding: 1px 1px 1px 1px;
 139   margin-bottom: 1px;
 140   font-weight: bold;
 141   margin-right: 40px;
 142 }
 143
 144 // .def:hover {
 145 // //  background-color: #ffcd87;
 146 // //  background-color: #ffb247;
 147 //   background-color: #e0a655;
 148 // }
 149
 150 // .def a {
 151 //   text-decoration: none;
 152 //   color: #000000;
 153 //   border-bottom: 0px solid white;
 154 //   border-top: 0px solid white;
 155 //   border-left: 0px solid white;
 156 //   border-right: 0px solid white;
 157 // }
 158
 159 // .def a:hover {
 160 //   background-color: #e0a655;
 161 //   color: #000000;
 162 //   text-decoration: none;
 163 //   border-bottom: 0px solid white;
 164 //   border-top: 0px solid white;
 165 //   border-left: 0px solid white;
 166 //   border-right: 0px solid white;
 167 // }
 168
 169 .nomargin {
 170   margin-bottom: 0;
 171   margin-top: 0;
 172 }
 173
 174 .noindent {
 175   margin-left: -30px;
 176   padding-bottom: 1em;
 177 }
 178
 179 #header {
 180   margin-right: 22px;
 181   border-bottom: 1px solid black;
 182   font-family: verdana, arial;
 183   font-size: 12pt;
 184   padding-bottom: 1px;
 185 }