diff options
Diffstat (limited to 'website/features/features.css')
-rw-r--r-- | website/features/features.css | 179 |
1 files changed, 0 insertions, 179 deletions
diff --git a/website/features/features.css b/website/features/features.css deleted file mode 100644 index 58897ccd..00000000 --- a/website/features/features.css +++ /dev/null @@ -1,179 +0,0 @@ -.confType { - font-weight: bold; -} - -body { - font-family: Verdana; - background-image: url(gradient.png); - background-repeat: repeat-x; - background-attachment: fixed; -} - -#pepper { - background-image: url(lombok-background.png); - background-repeat: no-repeat; - background-attachment: fixed; - background-position: 50px 20px; -} - -* html #pepper { - background: none; -} - -.meat { - padding: 0px 48px; -} - -.meat .header { - position: absolute; - top: 10px; - left: 30px; -} - -.minimumHeight { - height: 700px; - width: 1px; - float: right; -} - -* html .minimumHeight { - height: 0px; -} - -h1 { - padding: 8px 0 10px 0; - font-size: 20px; - width: 100%; - text-align: center; -} - -.byline { - width: 100%; - text-align: center; - font-style: italic; - font-size: 1.3em; -} - -.index { - font-size: 1.2em; - margin: 48px 0px 32px 64px; -} - -.index dt { - margin-top: 8px; - font-size: 1.2em; -} - -.index dd { - margin-left: 32px; -} - -dt { - margin-top: 4px; - font-size: 1.2em; -} - -dd { - margin-left: 16px; -} - -.overview code { - font-size: 1.1em; - white-space: nowrap; -} - -.smallprint { - font-size: 0.8em; - color: #444; -} - -.smallprint code { - font-size: 1em; - white-space: nowrap; -} - -.snippets, .singleColumnSnippets { - margin-top: 0px; -} - -.snippets .pre { - float: left; - width: 45%; -} - -.snippet { - overflow: auto; - padding: 4px; - border: 1px dotted #888; -} - -.snippet font { - white-space: pre; -} - -.snippets .sep { - display: block; - width: 5%; - height: 1px; - float: left; -} - -.snippets .post { - float: left; - width: 45%; -} - -.snippets .end { - clear: both; -} - -.snippet code { - font-size: 14px; -} - -.snippet.example { - margin: 8px 16px 8px 16px; -} - -.footer { - clear: left; - margin: 0 auto 0 auto; - padding: 16px 0 16px 0; - display: block; - text-align: center; -} - -.footer .disabled { - color: #aaa; -} - -.footer .copyright { - color: #555; - font-size: 11px; - font-style: italic; -} - -.creditsLink { - font-style: normal; - font-weight: bold; -} - -code a { - color: black; - text-decoration: none; -} - -code a:hover { - color: black; - text-decoration: underline; -} - -code .keyword { - color: #7f0055; - font-weight: bold; -} - -code .staticfield { - color: #2a00ff; - font-style: italic; -}
\ No newline at end of file |