doc/atdoc/index.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: black;
  11   border-bottom: 1px solid #0070a0;
  12 }
  13
  14 .nonlink {
  15   border-bottom: 1px solid white;
  16   border-top: 1px solid white;
  17   border-left: 1px solid white;
  18   border-right: 1px solid white;
  19   padding-top: 1px;
  20   padding-bottom: 1px;
  21 }
  22
  23 .sidebar a {
  24   border-top: 1px solid #eeeeee;
  25   border-left: 1px solid #eeeeee;
  26   border-right: 1px solid #eeeeee;
  27 }
  28
  29 #headerlink {
  30   border: none;
  31 }
  32
  33 #headerlink:hover {
  34   border: none;
  35 }
  36
  37 body {
  38   color: #000000;
  39   background-color: #ffffff;
  40   margin: 0 0 0 0;
  41 /*
  42   margin-top: 2em;
  43   margin-right: 20pt;
  44   margin-bottom: 10%;
  45   */
  46   font-family: verdana, arial;
  47   font-size: 8pt;
  48 }
  49
  50 .main {
  51   margin-top: 20px;
  52   margin-left: 40px;
  53 }
  54
  55 .padded {
  56   padding-left: 30px;
  57 }
  58
  59 .padded h1,h2 {
  60   margin-left: -30px;
  61 }
  62
  63 h2 {
  64   color: #0070a0;
  65 }
  66
  67 .page-title {
  68   color: black;
  69 }
  70
  71 h3 {
  72   background-color: #f4f4f4;
  73   padding-top: 4px;
  74   padding-bottom: 4px;
  75   border-bottom: 1px solid #80d8fd;
  76   color: #000000;
  77   width: 90%;
  78   margin-top: 2em;
  79   margin-left: -3px;
  80   padding-left: 3px;
  81   font-weight: bold;
  82 }
  83
  84 h4 {
  85 }
  86
  87 .grau {
  88   padding-top: 1em;
  89 }
  90
  91 pre {
  92   background-color: #eeeeee;
  93   border: solid 1px #d0d0d0;
  94   padding: 1em;
  95   margin-right: 10%;
  96 }
  97
  98 .code {
  99   border: solid 1px #d0d0d0;
 100   padding: 1em;
 101   margin-right: 10%;
 102 }
 103
 104 .indent {
 105   margin-left: 20px;
 106   padding-bottom: 1em;
 107 }
 108
 109 .def {
 110   padding: 1px 1px 1px 1px;
 111   margin-bottom: 1px;
 112   font-weight: bold;
 113   margin-right: 40px;
 114 }
 115
 116 .nomargin {
 117   margin-bottom: 0;
 118   margin-top: 0;
 119 }
 120
 121 .noindent {
 122   margin-left: -30px;
 123   padding-bottom: 1em;
 124 }
 125
 126 #header table {
 127   width: 95%;
 128   position: absolute;
 129   bottom: 10px;
 130   margin-right: 1em;
 131 }
 132
 133 #header {
 134   background: url(header.gif);
 135   position: relative; /* so that the table is relativ to this */
 136   width: 100%;
 137   height: 70px;
 138   font-family: verdana, arial;
 139   font-size: 12pt;
 140   padding-bottom: 1px;
 141 }
 142
 143 #sp-package-list {
 144   /* ... */
 145 }
 146
 147 #sp-about-packages {
 148   /* ... */
 149 }
 150
 151 .sp-lambda-list {
 152   width: 90%;
 153   background-color: #f4f4f4;
 154   padding: 3px 3px 3px 3px;
 155 }
 156
 157 .sp-definition {
 158   width: 90%;
 159   border: 1px solid #cccccc;
 160   padding: 3px 3px 3px 3px;
 161 }
 162
 163 .sp-definition-body {
 164   padding-left: 10%;
 165   padding-bottom: 2em;
 166 }
 167
 168 .sp-definition-body ul {
 169   margin-top: 0;
 170   margin-bottom: 0;
 171 }
 172
 173 .sp-return {
 174 }
 175
 176 .sph3 {
 177   padding-top: 1em;
 178   font-weight: bold;
 179 }