external/clem/doc/tinaa/tinaa.css

   1 body {
   2         font: 90% Times New Roman, Times, serif;
   3 }
   4
   5 .contents {
   6         margin-right: 1em;
   7         margin-left: 1em;
   8 }
   9
  10 .documentation {
  11         margin-right: 1em;
  12         margin-left: 1em;
  13 }
  14
  15 .part-parents {
  16         margin-left: 1em;
  17 }
  18
  19 .part-parents h3 {
  20         display: inline;
  21         margin-right: 0.5em;
  22 }
  23
  24 .package-symbols {
  25         margin-left: 1em;
  26         margin-bottom: 0.5em;
  27         margin-top: 0.5em;
  28 }
  29
  30 .license {
  31         margin-right: 1em;
  32         margin-left: 1em;
  33         margin-bottom: 1em;
  34 }
  35
  36 /*<group=table-of-contents>*/
  37
  38 .table-of-contents {
  39   border-collapse: collapse;
  40         vertical-align: top;
  41         text-align: left;
  42 }
  43
  44 .table-of-contents table {
  45     border-collapse: collapse;
  46         padding-right: 1em;
  47         padding-left: 1em;
  48 }
  49
  50 .table-of-contents tr {
  51 }
  52
  53 .table-of-contents th {
  54         font-weight: bold;
  55         width: 200px;
  56         font-family: Arial, Helvetica, sans-serif;
  57         text-align: left;
  58 }
  59
  60 .table-of-contents td {
  61         padding-left: 1em;
  62 }
  63
  64 /*</group>*/
  65
  66 /*<group=part-summary>*/
  67
  68 .part-summary {
  69         margin-right: 2em;
  70         margin-left: 2em;
  71 }
  72
  73 .part-summary tr {
  74         text-align: left;
  75         vertical-align: top;
  76 }
  77
  78 .part-summary td {
  79         text-align: left;
  80         padding-bottom: 0.0em;
  81         padding-top: 0.0em;
  82 }
  83
  84 .part-summary th {
  85         text-align: left;
  86         width: 100px;
  87         font-style: italic;
  88 }
  89
  90 /*</group>*/
  91
  92 /*<group=table-summary>*/
  93
  94 #other-file td {
  95         padding-left: 1em;
  96 }
  97
  98 .table-summary {
  99   border-collapse: collapse;
 100         vertical-align: top;
 101         margin-right: 1em;
 102         margin-left: 1em;
 103         text-align: left;
 104 }
 105
 106 .table-summary table {
 107         margin-left: 1em;
 108 }
 109
 110 .table-summary tr {
 111         text-align: left;
 112         vertical-align: top;
 113 }
 114
 115 .table-summary td {
 116         text-align: left;
 117         padding-bottom: 0.5em;
 118         padding-top: 0.2em;
 119 }
 120
 121 .table-summary th {
 122         text-align: left;
 123         font-weight: normal;
 124         width: 200px;
 125 }
 126
 127 /*</group>*/
 128
 129 #header
{ 
  background: #009933;
  color: white;
  border: 1px solid black;
  font-family: sans-serif;
  margin-top: 0.5em; padding: 0.5em;
  height: 22px;
}
 130
 131 #header a[href] { color: #ffff33; text-decoration: none;
 132         border-bottom-style: none;
 133 }
 134
 135 #header a[href]:hover {
 136     background: transparent;
 137     color: #ffff00;
 138     font-variant: small-caps;
 139     font-style: italic;
 140 }
 141
 142 #contents-link
{
  clear: both;
}
 143
 144 #footer
{ 
  background: #009933;
  color: white;
  border: 1px solid black;
  margin-top: 0.5em; 
  padding: 0.5em;
 145   font-family: Verdana, Arial, Helvetica, sans-serif;
 146   font-size: 80%;
 147   clear: both;
 148 }
 149
 150 #footer a[href] { color: #ffff33; text-decoration: none;
 151         border-bottom-style: none;
 152 }
 153
 154 #footer a[href]:hover { background: transparent; color: #ffff00;
 155         font-style: italic;
 156         font-variant: small-caps;
 157 }
 158
 159 #tinaa-logo
{ 
  font-variant: small-caps;
  float: right;
  font-family: fantasy;
  font-size: 150%;
  letter-spacing: 0.05em;
}
 160
 161 .date {
 162         margin-right: 2em;
 163 }
 164
 165 .version {
 166         margin-right: 2em;
 167 }
 168
 169 h1, h2, h3, h4 
{ 
  color: #333333;
  font-family: Arial, Helvetica, sans-serif;
}
 170
 171 h3 {
 172         margin-right: 0;
 173         margin-bottom: 0.5em;
 174         margin-left: 0;
 175 }
 176
 177 a[href] {
 178         text-decoration: none;
 179 }
 180
 181 a[href]:hover {
 182     background: #ff9;
 183         border-bottom: 1px dotted black;
 184 }
 185
 186 .documentation {
 187         text-align: left;
 188         margin-bottom: 0.4em;
 189 }
 190
 191 .property-heading {
 192         margin-right: 3px;
 193         font: italic 90% Arial, Helvetica, sans-serif;
 194 }
 195
 196 .property-value {
 197
 198 }
 199
 200 .oddrow 
{
  background-color: #ccffcc
}
 201
 202 /*<group=Index>*/
 203
 204 .back-to-top {
 205         float: right;
 206 }
 207
 208 .index-name {
 209         width: 200px;
 210         float: left;
 211         clear: left;
 212         margin-left: 3em;
 213      text-indent: -1em;
 214         margin-top: 0.2em;
 215 }
 216
 217 .index-kind {
 218         float: left;
 219         padding-right: 2.0em;
 220 }
 221
 222 .index-links {
 223         float: right;
 224 }
 225
 226 .index {
 227         float: left;
 228         padding-left: 0.4em;
 229 }
 230
 231 .index-contents {
 232         margin-bottom: 2.0em;
 233 }
 234
 235 .index-contents pre {
 236         clear: both;
 237 }
 238
 239 .index-letters {
 240         margin-left: 2em;
 241 }
 242
 243 .used-letter {
 244         float: left;
 245         margin-right: 6px;
 246         font-family: Verdana, Arial, Helvetica, sans-serif;
 247 }
 248
 249 .dead-letter {
 250         float: left;
 251         margin-right: 6px;
 252         font-family: Verdana, Arial, Helvetica, sans-serif;
 253         color: #999999;
 254 }
 255
 256 .index-letter {
 257         float: left;
 258         width: 90%;
 259         margin-top: 1.5em;
 260         border: 1px  #000000;
 261         border-top: 1px dotted #666666;
 262         padding-top: 0.4em;
 263 }
 264
 265 .the-letter {
 266         text-transform: uppercase;
 267         float: left;
 268         font: 150% Verdana, Arial, Helvetica, sans-serif;
 269 }
 270
 271 /*</group>*/