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 h3.section-variables {
  71         margin-top: 2em;
  72 }
  73
  74 div#menu {
  75         float: left;
  76         background-color: #f0f0ff;
  77         margin: 0;
  78         padding: 0;
  79         border: 1px solid #e0e0ff;
  80         width: 11.5em;
  81 }
  82
  83 #menu ul {
  84         list-style-type: none;
  85         margin-bottom: 0.5em;
  86         padding-left: 1em;
  87 }
  88 #menu ul li {
  89         margin-left: 0;
  90
  91 }
  92
  93 div.menu-title {
  94         background-color: #e0e0ff;
  95         color: #000000;
  96         font-weight: bold;
  97         padding: 2px;
  98 }
  99
 100 div#content {
 101         margin-top: 0;
 102         padding-top: 0;
 103         margin-left: 12.5em;
 104 }
 105
 106 div#copy {
 107         margin-top: 2.5em;
 108         font-size: 0.7em;
 109         text-align: center;
 110         font-size: bold;
 111 }
 112
 113 a:link {
 114         font-weight: bold;
 115         color: #004080;
 116         text-decoration: none;
 117 }
 118
 119 a:visited {
 120         font-weight:bold;
 121         color: #006699;
 122         text-decoration: none;
 123 }
 124
 125 a:hover {
 126         text-decoration:underline;
 127 }