beta-0.89.2
[luatex.git] / source / libs / lua52 / lua52-src / doc / manual.css
blob375f7e7f5cf076b666d0dd067bca41fb7a7dabef
1 h3 code {
2 font-family: inherit ;
3 font-size: inherit ;
6 pre, code {
7 font-size: 12pt ;
10 span.apii {
11 float: right ;
12 font-family: inherit ;
13 font-style: normal ;
14 font-size: small ;
15 color: gray ;
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 ;