src/lua/doc/lua.css

   1 html {
   2         background-color: #F8F8F8 ;
   3 }
   4
   5 body {
   6         border: solid #a0a0a0 1px ;
   7         border-radius: 20px ;
   8         padding: 26px ;
   9         margin: 16px ;
  10         color: #000000 ;
  11         background-color: #FFFFFF ;
  12         font-family: Helvetica, Arial, sans-serif ;
  13         text-align: justify ;
  14 }
  15
  16 h1, h2, h3, h4 {
  17         font-family: Verdana, Geneva, sans-serif ;
  18         font-weight: normal ;
  19         font-style: normal ;
  20 }
  21
  22 h2 {
  23         padding-top: 0.4em ;
  24         padding-bottom: 0.4em ;
  25         padding-left: 0.8em ;
  26         padding-right: 0.8em ;
  27         background-color: #D0D0FF ;
  28         border-radius: 8px ;
  29         border: solid #a0a0a0 1px ;
  30 }
  31
  32 h3 {
  33         padding-left: 0.5em ;
  34         border-left: solid #D0D0FF 1em ;
  35 }
  36
  37 table h3 {
  38         padding-left: 0px ;
  39         border-left: none ;
  40 }
  41
  42 a:link {
  43         color: #000080 ;
  44         background-color: inherit ;
  45         text-decoration: none ;
  46 }
  47
  48 a:visited {
  49         background-color: inherit ;
  50         text-decoration: none ;
  51 }
  52
  53 a:link:hover, a:visited:hover {
  54         color: #000080 ;
  55         background-color: #D0D0FF ;
  56 }
  57
  58 a:link:active, a:visited:active {
  59         color: #FF0000 ;
  60 }
  61
  62 hr {
  63         border: 0 ;
  64         height: 1px ;
  65         color: #a0a0a0 ;
  66         background-color: #a0a0a0 ;
  67         display: none ;
  68 }
  69
  70 table hr {
  71         display: block ;
  72 }
  73
  74 :target {
  75         background-color: #F8F8F8 ;
  76         padding: 8px ;
  77         border: solid #a0a0a0 2px ;
  78         border-radius: 8px ;
  79 }
  80
  81 .footer {
  82         color: gray ;
  83         font-size: x-small ;
  84 }
  85
  86 input[type=text] {
  87         border: solid #a0a0a0 2px ;
  88         border-radius: 2em ;
  89         -moz-border-radius: 2em ;
  90         background-image: url('images/search.png') ;
  91         background-repeat: no-repeat;
  92         background-position: 4px center ;
  93         padding-left: 20px ;
  94         height: 2em ;
  95 }
  96