libs/uvldoc/luasrc/uvldoc/proto/xhtml/uvldoc.css

   1 body {
   2         font-family: sans-serif;
   3         font-size: 0.85em;
   4         color: #101010;
   5 }
   6
   7 h1, h2, h3, h4, h5, h6 {
   8         margin-top: 0;
   9         font-weight: bold;
  10 }
  11
  12 h1 {
  13         font-size: 1.5em;
  14 }
  15
  16 h2 {
  17         font-size: 1.4em;
  18 }
  19
  20 h3 {
  21         font-size: 1.2em;
  22 }
  23
  24 h4 {
  25         font-size: 1.1em;
  26 }
  27
  28 h5 {
  29         font-size: 1.0em;
  30 }
  31
  32 dfn {
  33         font-weight: normal;
  34         font-size: 0.9em;
  35 }
  36
  37 table {
  38         border-collapse: collapse;
  39 }
  40
  41 tr, td, th {
  42         border: 1px solid #e0e0ff;
  43         padding: 3px;
  44 }
  45
  46 th {
  47         background-color: #f0f0ff;
  48         text-align: left;
  49 }
  50
  51
  52 hr {
  53         border: none;
  54         background-color: #cccccc;
  55         height: 1px;
  56 }
  57
  58 ul, li {
  59         margin-top: 0;
  60 }
  61
  62 div.clear {
  63         clear: both;
  64 }
  65
  66 div.variable-declaration {
  67         padding-left: 2em;
  68 }
  69
  70 div.variable-description {
  71         margin-bottom: 1em;
  72 }
  73
  74 h3.section-variables {
  75         margin-top: 2em;
  76 }
  77
  78 h4.variable-title {
  79         margin-bottom: 0;
  80 }
  81
  82 div#menu {
  83         float: left;
  84         background-color: #f0f0ff;
  85         margin: 0;
  86         padding: 0;
  87         border: 1px solid #e0e0ff;
  88         width: 11.5em;
  89 }
  90
  91 #menu ul {
  92         list-style-type: none;
  93         margin-bottom: 0.5em;
  94         padding-left: 1em;
  95 }
  96 #menu ul li {
  97         margin-left: 0;
  98
  99 }
 100
 101 div.menu-title {
 102         background-color: #e0e0ff;
 103         color: #000000;
 104         font-weight: bold;
 105         padding: 2px;
 106 }
 107
 108 div#content {
 109         margin-top: 0;
 110         padding-top: 0;
 111         margin-left: 12.5em;
 112 }
 113
 114 div#copy {
 115         margin-top: 2.5em;
 116         font-size: 0.7em;
 117         text-align: center;
 118         font-size: bold;
 119 }
 120
 121 a:link {
 122         font-weight: bold;
 123         color: #004080;
 124         text-decoration: none;
 125 }
 126
 127 a:visited {
 128         font-weight:bold;
 129         color: #006699;
 130         text-decoration: none;
 131 }
 132
 133 a:hover {
 134         text-decoration:underline;
 135 }