src/external/lua-5.2.3/doc/manual.css

   1 h3 code {
   2         font-family: inherit ;
   3         font-size: inherit ;
   4 }
   5
   6 pre, code {
   7         font-size: 12pt ;
   8 }
   9
  10 span.apii {
  11         float: right ;
  12         font-family: inherit ;
  13         font-style: normal ;
  14         font-size: small ;
  15         color: gray ;
  16 }
  17
  18 p+h1, ul+h1 {
  19         font-style: normal ;
  20         padding-top: 0.4em ;
  21         padding-bottom: 0.4em ;
  22         padding-left: 16px ;
  23         margin-left: -16px ;
  24         background-color: #D0D0FF ;
  25         border-radius: 8px ;
  26         border: solid #000080 1px ;
  27 }