summaryrefslogtreecommitdiff
path: root/com32/lua/doc/lua.css
diff options
context:
space:
mode:
authorFerenc Wágner <wferi@niif.hu>2013-10-10 16:48:04 +0200
committerFerenc Wágner <wferi@niif.hu>2014-03-01 17:40:34 +0100
commit4cfcef19a983dfa971608a8917cd74ebfa0d7376 (patch)
tree0c5abe5d8abc190d02847bd99424c24be6fadb18 /com32/lua/doc/lua.css
parenta06818de2a4c49bd64a024dd4f4a09a0caf1f0ac (diff)
downloadsyslinux-4cfcef19a983dfa971608a8917cd74ebfa0d7376.tar.gz
lua: import Lua 5.2.2
Source downloaded from http://www.lua.org/ftp/lua-5.2.2.tar.gz. The com32/lua directory now matches exactly the source distribution, plus the various Syslinux extension modules and their documentation.
Diffstat (limited to 'com32/lua/doc/lua.css')
-rw-r--r--com32/lua/doc/lua.css48
1 files changed, 45 insertions, 3 deletions
diff --git a/com32/lua/doc/lua.css b/com32/lua/doc/lua.css
index 039cf116..240e85eb 100644
--- a/com32/lua/doc/lua.css
+++ b/com32/lua/doc/lua.css
@@ -1,17 +1,37 @@
body {
color: #000000 ;
background-color: #FFFFFF ;
- font-family: sans-serif ;
+ font-family: Helvetica, Arial, sans-serif ;
text-align: justify ;
- margin-right: 20px ;
- margin-left: 20px ;
+ margin-right: 30px ;
+ margin-left: 30px ;
}
h1, h2, h3, h4 {
+ font-family: Verdana, Geneva, sans-serif ;
font-weight: normal ;
font-style: italic ;
}
+h2 {
+ padding-top: 0.4em ;
+ padding-bottom: 0.4em ;
+ padding-left: 1em ;
+ padding-right: 1em ;
+ background-color: #E0E0FF ;
+ border-radius: 8px ;
+}
+
+h3 {
+ padding-left: 0.5em ;
+ border-left: solid #E0E0FF 1em ;
+}
+
+table h3 {
+ padding-left: 0px ;
+ border-left: none ;
+}
+
a:link {
color: #000080 ;
background-color: inherit ;
@@ -39,3 +59,25 @@ hr {
background-color: #a0a0a0 ;
}
+:target {
+ background-color: #F8F8F8 ;
+ padding: 8px ;
+ border: solid #a0a0a0 2px ;
+}
+
+.footer {
+ color: gray ;
+ font-size: small ;
+}
+
+input[type=text] {
+ border: solid #a0a0a0 2px ;
+ border-radius: 2em ;
+ -moz-border-radius: 2em ;
+ background-image: url('images/search.png') ;
+ background-repeat: no-repeat;
+ background-position: 4px center ;
+ padding-left: 20px ;
+ height: 2em ;
+}
+