repo.or.cz
/
luatex.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
fixed wrong names
[luatex.git]
/
source
/
libs
/
lua52
/
lua52-src
/
doc
/
manual.css
blob
375f7e7f5cf076b666d0dd067bca41fb7a7dabef
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
}