development/compilers/lua/doc/lua.css

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