dany/luasocket
1
0
Fork 0
mirror of https://github.com/lunarmodules/luasocket.git synced 2024-12-27 04:48:21 +01:00
Code Issues Packages Projects Releases Wiki Activity

Adjusted css for windows.

Browse Source
This commit is contained in:
Diego Nehab 2004-01-20 20:24:51 +00:00
parent 3f1712ed48
commit a91a0f808d
2 changed files with 19 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/index.html
View File

@ -66,7 +66,7 @@ Author: <A href="http://www.cs.princeton.edu/~diego">Diego Nehab</a>
<!-- download +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ --> <!-- download +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -->
<h2 id=down>Download</h2> <h2 id=download>Download</h2>
<p> <p>
LuaSocket version 2.0 alpha is now available for download! It is LuaSocket version 2.0 alpha is now available for download! It is

32
doc/reference.css
View File

@ -1,32 +1,27 @@
body { body { margin-left: 1em; margin-right: 1em; }
margin-left: 1em;
margin-right: 1em;
}
body > * { margin-left: 1em; } h1, h2, h3, h4 { margin-left: 0em; }
div.header, div.footer { margin-left: 0em; } p { margin-left: 1em; }
hr, h1, h2, h3, h4 { margin-left: 0em; }
p.name { margin-left: 0em; }
h2:first-letter, h2:first-letter, h3:first-letter { color: #00007f; }
blockquote { margin-left: 3em; }
a[href] { color: #00007f; }
p.name { p.name {
font-family: monospace; font-family: monospace;
padding-top: 1em; padding-top: 1em;
margin-left: 0em;
} }
a[href] { color: #00007f; }
blockquote { margin-left: 3em; }
pre.example { pre.example {
background: #ccc; background: #ccc;
font-size: small;
padding: 1em; padding: 1em;
margin-left: 1em;
} }
hr { hr {
margin-left: 0em;
background: #00007f; background: #00007f;
border: 0px; border: 0px;
height: 1px; height: 1px;
@ -37,3 +32,10 @@ ul { list-style-type: disc; }
table.index { border: 1px #00007f; } table.index { border: 1px #00007f; }
table.index td { text-align: left; vertical-align: top; } table.index td { text-align: left; vertical-align: top; }
table.index ul { padding-top: 0em; margin-top: 0em; } table.index ul { padding-top: 0em; margin-top: 0em; }
h1:first-letter,
h2:first-letter,
h2:first-letter,
h3:first-letter { color: #00007f; }
div.header, div.footer { margin-left: 0em; }