orgweb/site/stylesheet.css

205 lines
2.4 KiB
CSS
Raw Normal View History

2012-06-21 21:24:54 +02:00
* {
padding: 0;
margin: 0;
border: 0;
}
a {
color: orange;
text-decoration: none;
}
a:hover {
text-decoration: underline;
}
2012-07-01 15:09:02 +02:00
body,
#table-of-contents {
background-color: #0c191c;
color: #eeeeec;
}
2012-06-21 21:24:54 +02:00
body {
font-family: "DejaVu Sans", sans-serif;
padding-left: 10px;
}
code {
padding: 1px 3px;
border-radius: 5px;
margin: 0 2px;
2012-06-21 22:54:29 +02:00
white-space: nowrap;
2012-06-21 21:24:54 +02:00
}
code, pre {
font-family: "DejaVu Sans Mono", mono;
2012-07-01 15:09:02 +02:00
background-color: #252a2b;
2012-06-21 21:24:54 +02:00
color: #eeeeec;
}
h1 {
border-bottom: 2px solid #839496;
}
h1, h2, h3, h4, h5, h6 {
margin: 20px 0;
}
h1.title {
border-bottom: none;
}
h2 {
border-bottom: 2px dotted #839496;
}
h3 {
border-bottom: 2px dashed #839496;
}
h4 {
border-bottom: 1px solid #839496;
}
h5 {
border-bottom: 1px dotted #839496;
}
h6 {
border-bottom: 1px dashed #839496;
}
ul, ol {
2012-06-21 21:24:54 +02:00
margin: 20px;
}
2012-06-21 22:54:29 +02:00
ul ul,
ol ol,
2012-06-21 22:54:29 +02:00
dd {
2012-06-21 21:24:54 +02:00
margin: 5px 20px;
}
p {
margin: 20px 0;
}
pre {
margin: 20px 0 20px 40px;
border-radius: 10px;
padding: 5px;
}
#content {
width: 750px;
margin: 0 auto;
}
.dlmenu {
text-align: center;
}
.title {
text-align: center;
}
#postamble {
margin-top: 40px;
}
#org-div-home-and-up a {
text-decoration: none;
margin: 10px;
}
2012-06-21 23:18:01 +02:00
#table-of-contents {
2012-07-01 14:04:44 +02:00
position: fixed;
top: 16px;
right: 0;
overflow: auto;
max-height: 80%;
2012-06-21 23:18:01 +02:00
}
#table-of-contents h2 {
font-size: medium;
2012-07-01 14:04:44 +02:00
margin-top: 0;
2012-06-21 23:18:01 +02:00
}
#table-of-contents:hover #text-table-of-contents {
display: block;
}
#text-table-of-contents {
display: none;
}
2012-06-21 21:24:54 +02:00
/* Org font-locking */
.src {
2012-07-01 15:09:02 +02:00
background-color: #252a2b;
color: #eeeeec;
overflow: auto;
2012-06-21 21:24:54 +02:00
}
.org-keyword {
2012-07-01 15:09:02 +02:00
font-weight: bold;
color: #729fcf;
2012-06-21 21:24:54 +02:00
}
.org-string {
2012-07-01 15:09:02 +02:00
color: #ad7fa8;
2012-06-21 21:24:54 +02:00
}
.org-function-name {
2012-07-01 15:09:02 +02:00
font-weight: bold;
color: #edd400;
2012-06-21 21:24:54 +02:00
}
.org-doc {
2012-07-01 15:09:02 +02:00
color: #babdb6;
2012-06-21 21:24:54 +02:00
}
.org-constant {
2012-07-01 15:09:02 +02:00
color: #73d216;
2012-06-21 21:24:54 +02:00
}
.org-type {
2012-07-01 15:09:02 +02:00
color: #73d216;
font-weight: bold;
2012-06-21 21:24:54 +02:00
}
.org-regexp-grouping-backslash {
2012-07-01 15:09:02 +02:00
font-weight: bold;
2012-06-21 21:24:54 +02:00
}
.org-regexp-grouping-construct {
2012-07-01 15:09:02 +02:00
font-weight: bold;
2012-06-21 21:24:54 +02:00
}
.org-builtin {
2012-07-01 15:09:02 +02:00
color: #729fcf;
2012-06-21 21:24:54 +02:00
}
.org-negation-char {
}
.org-variable-name {
2012-07-01 15:09:02 +02:00
color: #ef2929;
2012-06-21 21:24:54 +02:00
}
/* Navigation menu */
#content > ul:first-of-type {
margin: 0;
text-align: center;
}
#content > ul:first-of-type li {
display: inline;
}
#content > ul:first-of-type li:before {
content: "[ "
}
#content > ul:first-of-type li:after {
content: " ]"
}