contrib/lua/doc/lua.css

   1 html {
   2         background-color: #F8F8F8 ;
   3 }
   4
   5 body {
   6         background-color: #FFFFFF ;
   7         color: #000000 ;
   8         font-family: Helvetica, Arial, sans-serif ;
   9         text-align: justify ;
  10         line-height: 1.25 ;
  11         margin: 16px auto ;
  12         padding: 32px ;
  13         border: solid #a0a0a0 1px ;
  14         border-radius: 20px ;
  15         max-width: 70em ;
  16         width: 90% ;
  17 }
  18
  19 h1, h2, h3, h4 {
  20         color: #000080 ;
  21         font-family: Verdana, Geneva, sans-serif ;
  22         font-weight: normal ;
  23         font-style: normal ;
  24         text-align: left ;
  25 }
  26
  27 h1 {
  28         font-size: 28pt ;
  29 }
  30
  31 h1 img {
  32         vertical-align: text-bottom ;
  33 }
  34
  35 h2:before {
  36         content: "\2756" ;
  37         padding-right: 0.5em ;
  38 }
  39
  40 a {
  41         text-decoration: none ;
  42 }
  43
  44 a:link {
  45         color: #000080 ;
  46 }
  47
  48 a:link:hover, a:visited:hover {
  49         background-color: #D0D0FF ;
  50         color: #000080 ;
  51         border-radius: 4px ;
  52 }
  53
  54 a:link:active, a:visited:active {
  55         color: #FF0000 ;
  56 }
  57
  58 div.menubar {
  59         padding-bottom: 0.5em ;
  60 }
  61
  62 p.menubar {
  63         margin-left: 2.5em ;
  64 }
  65
  66 .menubar a:hover  {
  67         margin: -3px -3px -3px -3px ;
  68         padding: 3px  3px  3px  3px ;
  69         border-radius: 4px ;
  70 }
  71
  72 :target {
  73         background-color: #F0F0F0 ;
  74         margin: -8px ;
  75         padding: 8px ;
  76         border-radius: 8px ;
  77         outline: none ;
  78 }
  79
  80 hr {
  81         display: none ;
  82 }
  83
  84 table hr {
  85         background-color: #a0a0a0 ;
  86         color: #a0a0a0 ;
  87         border: 0 ;
  88         height: 1px ;
  89         display: block ;
  90 }
  91
  92 .footer {
  93         color: gray ;
  94         font-size: x-small ;
  95         text-transform: lowercase ;
  96 }
  97
  98 input[type=text] {
  99         border: solid #a0a0a0 2px ;
 100         border-radius: 2em ;
 101         background-image: url('images/search.png') ;
 102         background-repeat: no-repeat ;
 103         background-position: 4px center ;
 104         padding-left: 20px ;
 105         height: 2em ;
 106 }
 107
 108 pre.session {
 109         background-color: #F8F8F8 ;
 110         padding: 1em ;
 111         border-radius: 8px ;
 112 }
 113
 114 td.gutter {
 115         width: 4% ;
 116 }
 117
 118 table.columns {
 119         border: none ;
 120         border-spacing: 0 ;
 121         border-collapse: collapse ;
 122 }
 123
 124 table.columns td {
 125         vertical-align: top ;
 126         padding: 0 ;
 127         padding-bottom: 1em ;
 128         text-align: justify ;
 129         line-height: 1.25 ;
 130 }
 131
 132 p.logos a:link:hover, p.logos a:visited:hover {
 133         background-color: inherit ;
 134 }
 135
 136 table.book {
 137         border: none ;
 138         border-spacing: 0 ;
 139         border-collapse: collapse ;
 140 }
 141
 142 table.book td {
 143         padding: 0 ;
 144         vertical-align: top ;
 145 }
 146
 147 table.book td.cover {
 148         padding-right: 1em ;
 149 }
 150
 151 table.book img {
 152         border: solid #000080 1px ;
 153 }
 154
 155 table.book span {
 156         font-size: small ;
 157         text-align: left ;
 158         display: block ;
 159         margin-top: 0.25em ;
 160 }
 161
 162 img {
 163         background-color: white ;
 164 }