diff options
author | Jakob Odersky <jodersky@gmail.com> | 2015-06-29 12:36:03 +0200 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2015-06-29 12:36:03 +0200 |
commit | 3bc7d76b5da00781908da82cd0e989885323396f (patch) | |
tree | 991e0f0265057a2fed3c5052433c56ef7fb36248 /doc/lib/index.css | |
parent | 01c5c700647feba596e02cb7a2e672f5301504ff (diff) | |
download | sims-3bc7d76b5da00781908da82cd0e989885323396f.tar.gz sims-3bc7d76b5da00781908da82cd0e989885323396f.tar.bz2 sims-3bc7d76b5da00781908da82cd0e989885323396f.zip |
remove old scaladoc
Diffstat (limited to 'doc/lib/index.css')
-rw-r--r-- | doc/lib/index.css | 102 |
1 files changed, 0 insertions, 102 deletions
diff --git a/doc/lib/index.css b/doc/lib/index.css deleted file mode 100644 index 0b444ee..0000000 --- a/doc/lib/index.css +++ /dev/null @@ -1,102 +0,0 @@ -* { - color: inherit; - font-size: 10pt; - text-decoration: none; - font-family: sans-serif; - border-width: 0px; - padding: 0px; - margin: 0px; -} - -a { - cursor: pointer; -} - -a:hover { - text-decoration: underline; -} - -h1 { - display: none; -} - -#browser { - top: 0px; - left: 0px; - bottom: 0px; - width: 300px; - display: block; - position: fixed; -} - -#quickflt { - display: block; - position: fixed; - height: 22px; - right: 0px; - left: 0px; - top: 0px; - position: absolute; - display: block; - font-weight: bold; - color: #993300; - padding: 5px; - background-color: white; -} - -#tpl { - display: block; - position: fixed; - overflow: auto; - right: 0px; - left: 0px; - bottom: 0px; - top: 30px; - position: absolute; - display: block; -} - -#tpl .packhide { - display: block; - float: right; - font-weight: normal; - color: white; - padding: 1px 4px 1px 4px; -} - -#tpl .packages > li > h3 { - display: block; - background-color: #142556; - color: white; - padding: 1px 4px 1px 4px; - font-weight: bold; - display: block; -} - -#tpl ol > li { - display: block; -} - -#tpl ol > li .icon { - bottom: -2px; - position: relative; -} - -#content { - border-left-width: 1px; - border-left-color: black; - border-left-style: white; - right: 0px; - left: 0px; - bottom: 0px; - top: 0px; - position: fixed; - margin-left: 300px; - display: block; -} - -#content > iframe { - display: block; - height: 100%; - width: 100%; -} |