annotate luabuild/lua-5.2.1/doc/manual.css @ 1104:c85c1a19f37f

<GreyKnight> ( cd luabuild/lua-5.2.1; nohup bash make.sh) &
author HackBot
date Fri, 14 Dec 2012 21:24:17 +0000
parents 07b68c71b89c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1087
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
1 h3 code {
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
2 font-family: inherit ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
3 font-size: inherit ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
4 }
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
5
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
6 pre, code {
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
7 font-size: 12pt ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
8 }
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
9
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
10 span.apii {
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
11 float: right ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
12 font-family: inherit ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
13 font-style: normal ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
14 font-size: small ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
15 color: gray ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
16 }
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
17
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
18 p+h1, ul+h1 {
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
19 padding-top: 0.4em ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
20 padding-bottom: 0.4em ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
21 padding-left: 30px ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
22 margin-left: -30px ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
23 background-color: #E0E0FF ;
07b68c71b89c <GreyKnight> (cd luabuild; tar -xvf lua-5.2.1.tar.gz)
HackBot
parents:
diff changeset
24 }