History

Lua 5.2.0-rc1

Lua Team committed 14 years ago

Commit d74d0e51 parent 8203bab51 files · +1861 −1136Browse files

Showing the changes to doc/lua.css (1 of 51 files). Show all

Unified · Split

doc/lua.css+2−3
@@ -1,7 +1,6 @@
1body {1body {
2 color: #000000 ;2 color: #000000 ;
3 background-color: #FFFFFF ;3 background-color: #FFFFFF ;
4 font-family: sans-serif ;
5 font-family: Helvetica, Arial, sans-serif ;4 font-family: Helvetica, Arial, sans-serif ;
6 text-align: justify ;5 text-align: justify ;
7 margin-right: 20px ;6 margin-right: 20px ;
@@ -18,12 +17,13 @@ h2 { · 10 unmodified lines
18 padding-top: 0.4em ;17 padding-top: 0.4em ;
19 padding-bottom: 0.4em ;18 padding-bottom: 0.4em ;
20 padding-left: 20px ;19 padding-left: 20px ;
20 padding-right: 20px ;
21 margin-left: -20px ;21 margin-left: -20px ;
22 background-color: #E0E0FF ;22 background-color: #E0E0FF ;
23}23}
24 24
25h3 {25h3 {
26 padding-left: 8px ;26 padding-left: 0.5em ;
27 border-left: solid #E0E0FF 1em ;27 border-left: solid #E0E0FF 1em ;
28}28}
29 29
@@ -76,7 +76,6 @@ input[type=text] { · 46 unmodified lines
76 -moz-border-radius: 2em ;76 -moz-border-radius: 2em ;
77 background-image: url('images/search.png') ;77 background-image: url('images/search.png') ;
78 background-repeat: no-repeat;78 background-repeat: no-repeat;
79 background-position: left center ;
80 background-position: 4px center ;79 background-position: 4px center ;
81 padding-left: 20px ;80 padding-left: 20px ;
82 height: 2em ;81 height: 2em ;