diff options
author | Jakob Odersky <jodersky@gmail.com> | 2009-12-13 16:06:50 +0000 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2009-12-13 16:06:50 +0000 |
commit | 66d338aec5d632927fa561a68310c8931938e9e0 (patch) | |
tree | 1e200fd94bb903772b007690da4e5d13fc46fb5b /doc/lib/index.css | |
parent | be2ee4dea92c5a4fc2329959d6e7272c50b221a6 (diff) | |
download | sims-66d338aec5d632927fa561a68310c8931938e9e0.tar.gz sims-66d338aec5d632927fa561a68310c8931938e9e0.tar.bz2 sims-66d338aec5d632927fa561a68310c8931938e9e0.zip |
Ported to scala 2.8.
Diffstat (limited to 'doc/lib/index.css')
-rw-r--r-- | doc/lib/index.css | 102 |
1 files changed, 102 insertions, 0 deletions
diff --git a/doc/lib/index.css b/doc/lib/index.css new file mode 100644 index 0000000..0b444ee --- /dev/null +++ b/doc/lib/index.css @@ -0,0 +1,102 @@ +* { + 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%; +} |