orgweb/site/stylesheet.css

199 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;
}
body {
background-color: #262a2b;
color: #ffffff;
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;
background-color: #181818;
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 {
margin: 20px;
}
2012-06-21 22:54:29 +02:00
ul ul,
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 {
position: absolute;
top: 0;
left: 20px;
overflow: auto;
background-color: #262a2b;
}
#table-of-contents h2 {
font-size: medium;
}
#table-of-contents:hover #text-table-of-contents {
display: block;
border: 1px #000000 solid;
}
#text-table-of-contents {
display: none;
}
2012-06-21 21:24:54 +02:00
/* Org font-locking */
.src {
background-color: #002b36;
color: #839496;
}
.org-keyword {
color: #859900;
}
.org-string {
color: #2aa198;
}
.org-function-name {
color: #268bd2;
}
.org-doc {
color: #586e75;
font-style: italic;
}
.org-constant {
color: #2aa198;
font-style: normal;
}
.org-type {
color: #b58900;
}
.org-regexp-grouping-backslash {
color: #b58900;
}
.org-regexp-grouping-construct {
color: #cb4b16;
}
.org-builtin {
color: #859900;
}
.org-negation-char {
color: #dc322f;
}
.org-variable-name {
color: #268bd2;
}
/* 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: " ]"
}