source/libs/lua52/lua52-src/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         line-height: 1.25 ;
  15 }
  16
  17 h1, h2, h3, h4 {
  18         font-family: Verdana, Geneva, sans-serif ;
  19         font-weight: normal ;
  20         font-style: normal ;
  21 }
  22
  23 h2 {
  24         padding-top: 0.4em ;
  25         padding-bottom: 0.4em ;
  26         padding-left: 0.8em ;
  27         padding-right: 0.8em ;
  28         background-color: #D0D0FF ;
  29         border-radius: 8px ;
  30         border: solid #a0a0a0 1px ;
  31 }
  32
  33 h3 {
  34         padding-left: 0.5em ;
  35         border-left: solid #D0D0FF 1em ;
  36 }
  37
  38 table h3 {
  39         padding-left: 0px ;
  40         border-left: none ;
  41 }
  42
  43 a:link {
  44         color: #000080 ;
  45         background-color: inherit ;
  46         text-decoration: none ;
  47 }
  48
  49 a:visited {
  50         background-color: inherit ;
  51         text-decoration: none ;
  52 }
  53
  54 a:link:hover, a:visited:hover {
  55         color: #000080 ;
  56         background-color: #D0D0FF ;
  57         border-radius: 4px ;
  58 }
  59
  60 a:link:active, a:visited:active {
  61         color: #FF0000 ;
  62 }
  63
  64 h1 a img {
  65         vertical-align: text-bottom ;
  66 }
  67
  68 hr {
  69         border: 0 ;
  70         height: 1px ;
  71         color: #a0a0a0 ;
  72         background-color: #a0a0a0 ;
  73         display: none ;
  74 }
  75
  76 table hr {
  77         display: block ;
  78 }
  79
  80 :target {
  81         background-color: #F8F8F8 ;
  82         padding: 8px ;
  83         border: solid #a0a0a0 2px ;
  84         border-radius: 8px ;
  85 }
  86
  87 .footer {
  88         color: gray ;
  89         font-size: x-small ;
  90 }
  91
  92 input[type=text] {
  93         border: solid #a0a0a0 2px ;
  94         border-radius: 2em ;
  95         background-image: url('images/search.png') ;
  96         background-repeat: no-repeat ;
  97         background-position: 4px center ;
  98         padding-left: 20px ;
  99         height: 2em ;
 100 }
 101
 102 pre.session {
 103         background-color: #F8F8F8 ;
 104         padding: 1em ;
 105         border-radius: 8px ;
 106 }