aboutsummaryrefslogtreecommitdiff
path: root/website-old/features/features.css
diff options
context:
space:
mode:
Diffstat (limited to 'website-old/features/features.css')
-rw-r--r--website-old/features/features.css179
1 files changed, 179 insertions, 0 deletions
diff --git a/website-old/features/features.css b/website-old/features/features.css
new file mode 100644
index 00000000..58897ccd
--- /dev/null
+++ b/website-old/features/features.css
@@ -0,0 +1,179 @@
+.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