external/mit/lua/dist/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 }
  96
  97 input[type=text] {
  98         border: solid #a0a0a0 2px ;
  99         border-radius: 2em ;
 100         background-image: url('images/search.png') ;
 101         background-repeat: no-repeat ;
 102         background-position: 4px center ;
 103         padding-left: 20px ;
 104         height: 2em ;
 105 }
 106
 107 pre.session {
 108         background-color: #F8F8F8 ;
 109         padding: 1em ;
 110         border-radius: 8px ;
 111 }
 112
 113 td.gutter {
 114         width: 4% ;
 115 }
 116
 117 table.columns {
 118         border: none ;
 119         border-spacing: 0 ;
 120         border-collapse: collapse ;
 121 }
 122
 123 table.columns td {
 124         vertical-align: top ;
 125         padding: 0 ;
 126         padding-bottom: 1em ;
 127         text-align: justify ;
 128         line-height: 1.25 ;
 129 }
 130
 131 p.logos a:link:hover, p.logos a:visited:hover {
 132         background-color: inherit ;
 133 }