diff options
Diffstat (limited to 'html_docs/style.css')
| -rw-r--r-- | html_docs/style.css | 136 |
1 files changed, 0 insertions, 136 deletions
diff --git a/html_docs/style.css b/html_docs/style.css deleted file mode 100644 index 1c0aa20..0000000 --- a/html_docs/style.css +++ /dev/null @@ -1,136 +0,0 @@ -/* ReiLua Documentation - Lua Manual Style */ - -body { - font-family: Helvetica, Arial, sans-serif; - line-height: 1.6; - color: #000000; - background-color: #FFFFFF; - margin: 0; - padding: 0; -} - -.container { - max-width: 800px; - margin: 0 auto; - padding: 20px; -} - -h1 { - font-size: 24px; - font-weight: normal; - margin: 20px 0 10px 0; - color: #000080; - border-bottom: 1px solid #000080; - padding-bottom: 5px; -} - -h2 { - font-size: 20px; - font-weight: normal; - margin: 20px 0 10px 0; - color: #000080; -} - -h3 { - font-size: 16px; - font-weight: bold; - margin: 15px 0 10px 0; -} - -.navigation { - font-size: 12px; - margin: 10px 0; - padding: 10px; - background-color: #F0F0F0; - border: 1px solid #D0D0D0; -} - -.navigation a { - color: #000080; - text-decoration: none; - margin: 0 5px; -} - -.navigation a:hover { - text-decoration: underline; -} - -a { - color: #000080; - text-decoration: none; -} - -a:hover { - text-decoration: underline; -} - -p { - margin: 10px 0; - text-align: justify; -} - -code, tt { - font-family: "Courier New", Courier, monospace; - font-size: 13px; - background-color: #F5F5F5; - padding: 1px 4px; -} - -pre { - font-family: "Courier New", Courier, monospace; - font-size: 13px; - background-color: #F5F5F5; - border: 1px solid #D0D0D0; - padding: 10px; - overflow-x: auto; - margin: 10px 0; -} - -.apii { - font-family: "Courier New", Courier, monospace; - margin: 15px 0 5px 0; - padding: 8px; - background-color: #F0F0F0; - border-left: 3px solid #000080; -} - -.apii code { - background-color: transparent; - font-weight: bold; -} - -.apidesc { - margin: 5px 0 15px 20px; -} - -ul, ol { - margin: 10px 0; - padding-left: 30px; -} - -table { - border-collapse: collapse; - margin: 10px 0; - width: 100%; -} - -th { - background-color: #F0F0F0; - border: 1px solid #D0D0D0; - padding: 8px; - text-align: left; -} - -td { - border: 1px solid #D0D0D0; - padding: 8px; -} - -.footer { - margin-top: 40px; - padding-top: 10px; - border-top: 1px solid #D0D0D0; - font-size: 11px; - color: #666; - text-align: center; -} |
