aboutsummaryrefslogtreecommitdiff
path: root/website/resources/css/custom.css
diff options
context:
space:
mode:
authorReinier Zwitserloot <reinier@zwitserloot.com>2017-05-08 21:28:02 +0200
committerReinier Zwitserloot <reinier@zwitserloot.com>2017-05-29 21:02:54 +0200
commit8b7a7cbc813653a3248d6cf3a7779e220957bc85 (patch)
treeb9acfb9d68c6866acc3cfb9ee59d72ff43f1ebc3 /website/resources/css/custom.css
parent72fd50b9f1db1ab6bfc1753ba6a1e686a2f0f22c (diff)
downloadlombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.gz
lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.bz2
lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.zip
The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’.
Diffstat (limited to 'website/resources/css/custom.css')
-rw-r--r--website/resources/css/custom.css149
1 files changed, 149 insertions, 0 deletions
diff --git a/website/resources/css/custom.css b/website/resources/css/custom.css
new file mode 100644
index 00000000..0b2c70c9
--- /dev/null
+++ b/website/resources/css/custom.css
@@ -0,0 +1,149 @@
+ul.dropdown-menu .header {
+ padding-left: 10px;
+}
+
+div.snippet code {
+ padding: 0;
+}
+
+html {
+ position: relative;
+ min-height: 100%;
+}
+
+body {
+ margin-bottom: 60px;
+}
+
+.fork-me {
+ position: fixed;
+ width: 150px;
+ height: 150px;
+ top: 0;
+ right: 0;
+ z-index: 2000;
+}
+
+.video {
+ padding-top: 4%;
+}
+
+.name {
+ font-weight: bold;
+}
+
+.bs-callout {
+ padding: 10px;
+ margin: 20px 0;
+ border: 1px solid #eee;
+ border-left-width: 5px;
+ border-radius: 3px
+}
+
+.bs-callout h4 {
+ margin-top: 0;
+ margin-bottom: 5px
+}
+
+.bs-callout p:last-child {
+ margin-bottom: 0
+}
+
+.bs-callout code {
+ border-radius: 3px
+}
+
+.bs-callout + .bs-callout {
+ margin-top: -5px
+}
+
+.bs-callout-danger {
+ border-left-color: #ce4844
+}
+
+.bs-callout-danger h4 {
+ color: #ce4844
+}
+
+.bs-callout-warning {
+ border-left-color: #aa6708
+}
+
+.bs-callout-warning h4 {
+ color: #aa6708
+}
+
+.bs-callout-info {
+ border-left-color: #1b809e
+}
+
+.bs-callout-info h4 {
+ color: #1b809e
+}
+
+.color-swatches {
+ margin: 0 -5px;
+ overflow: hidden
+}
+
+.footer {
+ position: absolute;
+ bottom: 0;
+ height: 60px;
+ border-top: 1px solid #eee;
+ padding-top: 15px;
+}
+
+@media (max-width: 768px) {
+ .fork-me {
+ display: none;
+ }
+}
+
+h1, h2, h3 {
+ padding: 40px;
+ text-align: center;
+}
+
+.page-center {
+ padding-top: 10%;
+ padding-bottom: 19%;
+}
+
+.page-header {
+ border-bottom: 0;
+}
+
+.header-group > h1, h2, h3 {
+ padding: 5px;
+}
+
+.snippet {
+ overflow: auto;
+ padding: 4px;
+ border: 1px dotted #888;
+ text-align: left;
+ width: 760px;
+}
+
+.snippet font {
+ white-space: pre;
+}
+
+.snippet code {
+ font-size: 14px;
+ background-color: transparent;
+}
+
+.snippet.example {
+ margin: 8px 16px 8px 16px;
+}
+
+a {
+ cursor: pointer;
+}
+
+.main-section {
+ padding-left: 100px;
+ padding-right: 100px;
+} \ No newline at end of file