summaryrefslogtreecommitdiff
path: root/libs/liblua/doc/lua.css
diff options
context:
space:
mode:
Diffstat (limited to 'libs/liblua/doc/lua.css')
-rw-r--r--libs/liblua/doc/lua.css105
1 files changed, 105 insertions, 0 deletions
diff --git a/libs/liblua/doc/lua.css b/libs/liblua/doc/lua.css
new file mode 100644
index 0000000000..3199a2b6e8
--- /dev/null
+++ b/libs/liblua/doc/lua.css
@@ -0,0 +1,105 @@
+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 ;
+ border-radius: 4px;
+}
+
+a:link:active, a:visited:active {
+ color: #FF0000 ;
+}
+
+h1 a img {
+ vertical-align: text-bottom ;
+}
+
+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 ;
+ background-image: url('images/search.png') ;
+ background-repeat: no-repeat ;
+ background-position: 4px center ;
+ padding-left: 20px ;
+ height: 2em ;
+}
+
+pre.session {
+ background-color: #F8F8F8 ;
+ padding: 1em ;
+ border-radius: 8px ;
+}