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 }
  84
  85 .main {
  86   margin-top: 20px;
  87   margin-left: 40px;
  88 }
  89
  90 .padded {
  91   padding-left: 30px;
  92 }
  93
  94 .padded h1,h2 {
  95   margin-left: -30px;
  96 }
  97
  98 h3 {
  99   width: 90%;
 100   color: #000000;
 101   border-bottom: 1px solid #ff9500;
 102    margin-left: -3px;
 103    padding-left: 3px;
 104 }
 105
 106 h4 {
 107 }
 108
 109 .grau {
 110   padding-top: 1em;
 111 //   background-color: #f0f0f0;
 112 //   width: 60%;
 113 //   margin-left: -1em;
 114 //   padding-left: 1em;
 115 //   padding-top: 2px;
 116 //   padding-bottom: 2px;
 117 //   border: 1px solid #cccccc;
 118 }
 119
 120 .code {
 121   border: solid 1px #d0d0d0;
 122   padding: 1em;
 123   margin-right: 10%;
 124 }
 125
 126 .indent {
 127   margin-left: 20px;
 128   padding-bottom: 1em;
 129 }
 130
 131 .def {
 132   padding: 1px 1px 1px 1px;
 133   margin-bottom: 1px;
 134   font-weight: bold;
 135   margin-right: 40px;
 136 }
 137
 138 .nomargin {
 139   margin-bottom: 0;
 140   margin-top: 0;
 141 }
 142
 143 .noindent {
 144   margin-left: -30px;
 145   padding-bottom: 1em;
 146 }
 147
 148 #header {
 149   margin-right: 22px;
 150   border-bottom: 1px solid black;
 151   font-family: verdana, arial;
 152   font-size: 12pt;
 153   padding-bottom: 1px;
 154 }