diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-07 12:24:58 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-07 12:24:58 +0000 |
commit | 371f7657572dbd472b707c32448d5b5f92663078 (patch) | |
tree | e345c4554402dc8edc33c0f35b4c866988f06cb2 /Build/source/libs/lua52/lua-5.2.3/doc/lua.css | |
parent | 3bbd721df0882f2147bb324f257b66754476fcbf (diff) |
lua 5.2.3
git-svn-id: svn://tug.org/texlive/trunk@32352 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/lua52/lua-5.2.3/doc/lua.css')
-rw-r--r-- | Build/source/libs/lua52/lua-5.2.3/doc/lua.css | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/Build/source/libs/lua52/lua-5.2.3/doc/lua.css b/Build/source/libs/lua52/lua-5.2.3/doc/lua.css new file mode 100644 index 00000000000..3d2443acffd --- /dev/null +++ b/Build/source/libs/lua52/lua-5.2.3/doc/lua.css @@ -0,0 +1,96 @@ +html { + background-color: #F8F8F8 ; +} + +body { + border: solid #a0a0a0 1px ; + border-radius: 20px ; + padding: 26px ; + margin: 16px ; + color: #000000 ; + background-color: #FFFFFF ; + font-family: Helvetica, Arial, sans-serif ; + text-align: justify ; +} + +h1, h2, h3, h4 { + font-family: Verdana, Geneva, sans-serif ; + font-weight: normal ; + font-style: normal ; +} + +h2 { + padding-top: 0.4em ; + padding-bottom: 0.4em ; + padding-left: 0.8em ; + padding-right: 0.8em ; + background-color: #D0D0FF ; + border-radius: 8px ; + border: solid #a0a0a0 1px ; +} + +h3 { + padding-left: 0.5em ; + border-left: solid #D0D0FF 1em ; +} + +table h3 { + padding-left: 0px ; + border-left: none ; +} + +a:link { + color: #000080 ; + background-color: inherit ; + text-decoration: none ; +} + +a:visited { + background-color: inherit ; + text-decoration: none ; +} + +a:link:hover, a:visited:hover { + color: #000080 ; + background-color: #D0D0FF ; +} + +a:link:active, a:visited:active { + color: #FF0000 ; +} + +hr { + border: 0 ; + height: 1px ; + color: #a0a0a0 ; + background-color: #a0a0a0 ; + display: none ; +} + +table hr { + display: block ; +} + +:target { + background-color: #F8F8F8 ; + padding: 8px ; + border: solid #a0a0a0 2px ; + border-radius: 8px ; +} + +.footer { + color: gray ; + font-size: x-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 ; +} + |