orgweb/site/stylesheet.css

385 lines
5.9 KiB
CSS
Raw Normal View History

2013-04-01 14:59:51 +02:00
body {
background: #eeeeec;
color: #111113;
border: 0;
margin: 0;
padding: 0;
font-family: "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
font-size: 16px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
div#content {
width: 750px;
margin: 0 auto;
background: #111113;
color: #eeeeec;
padding-bottom: 20px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
div#content, pre {
border-right: 1px #eeeeec dashed;
border-left: 1px #eeeeec dashed;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
h1.title {
background: #222224;
2012-07-01 15:09:02 +02:00
color: #eeeeec;
2013-04-01 14:59:51 +02:00
margin: 0 auto;
padding: 6px;
text-align: left;
2012-07-01 15:09:02 +02:00
}
2013-04-01 14:59:51 +02:00
a {
color: #ffbb56;
text-decoration: underline;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
a img {
border: none;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
a:visited {
color: violet;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
a:hover {
color: #eeeeec;
text-decoration: none;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
blockquote {
border-left: 5px solid #ccc;
margin-left: 1.5em;
padding-left: 5px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
.outline-2 h2 {
border-bottom: 1px dotted #eeeeec;
font: 20px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
font-weight: 600;
padding-bottom: 2px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
h3.meta, h3.meta a, h3.meta a:visited {
color: #999;
font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
margin: 2px 0 6px 0;
padding-bottom: 2px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#content > ul {
border-bottom: 1px black dotted;
font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
background: #333;
padding: 0;
margin: 0;
text-align: center;
width: 100%;
list-style-type: none;
}
#content > ul > li {
display: inline;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#content > ul > li:after {
content: " | ";
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#content > ul > li:last-child:after {
content: "";
}
#header a, #header a:visited {
color: #fff;
text-decoration: none;
}
#content > ul a, #content > ul a:visited {
color: #999;
text-decoration: none;
}
#header a:active, #header a:hover, #content > ul a:active, #content > ul a:hover {
text-decoration: none;
}
#table-of-contents {
background: #111113;
color: #eeeeec;
2013-04-01 14:26:37 +02:00
margin-left: 20px;
2013-04-01 14:59:51 +02:00
margin-top: 30px;
/* margin-right: -3em; */
margin-bottom: 20px;
border: dashed 1px #eeeeec;
border-right: 0;
padding: 10px 0 10px 10px;
float: right;
width: 11em;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents form {
margin: 0 0 0 13px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents input#s {
width: 80%;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul {
list-style-type: none;
margin: 0;
padding-left: 3px;
text-transform: lowercase;
font: normal smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents h2 {
font: italic smaller "DejaVu Sans", "Bitstream Vera Sans", Verdana, sans-serif;
font-weight: bold;
margin-top: 10px;
margin-bottom: 0px;
padding-bottom: 2px;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul ul {
font-variant: normal;
font-weight: normal;
line-height: 100%;
list-style-type: none;
margin: 0;
padding: 0;
text-align: left;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul ul li {
border: 0;
font-weight: normal;
font-style: normal;
letter-spacing: 0;
margin-top: 0;
padding: 0;
padding-left: 12px;
2012-08-07 23:07:02 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul a {
color: #999;
text-decoration: none;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul a:visited {
color: #ccc;
text-decoration: none;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
#table-of-contents ul a:hover {
border-bottom: 1px solid #809080;
}
div#tag-cloud a {
text-decoration: none;
}
div#tag-cloud {
line-spacing: 150%;
2012-06-21 21:24:54 +02:00
text-align: center;
2013-04-01 14:59:51 +02:00
padding-bottom: 2em;
}
#comments-header {
margin-top: 2em;
padding-top: 1em;
border-top: 2px black solid;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
.outline-2 {
margin: 30px 3em 0 3em;
2012-08-07 23:07:02 +02:00
}
2012-06-21 21:24:54 +02:00
#postamble {
2013-04-01 14:59:51 +02:00
border-right: 1px #eeeeec dashed;
border-left: 1px #eeeeec dashed;
background-color: #111113;
color: #eeeeec;
width: 750px;
border-top: 1px black dotted;
font: 12px "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
padding: 0;
margin: 0 auto;
text-align: center;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
.outline2 h2 {
margin: 0;
2012-07-22 16:52:41 +02:00
}
2013-04-01 14:59:51 +02:00
.outline2 h2 a {
text-decoration: none;
2012-06-21 21:24:54 +02:00
}
2013-04-01 14:59:51 +02:00
.outline2 h2 a:visited {
color: #ffbb56;
}
.post {
margin-bottom: 2em;
}
div.description {
margin-left: 18pt;
margin-right: 18pt;
margin-bottom: 18pt;
}
div.description > p, div.description > pre {
margin-top: 6pt;
}
div.feedback a {
text-decoration: none;
color: #ccc;
}
.float-left {
float: left;
margin-right: 0.5em;
margin-top: 0.5em;
margin-bottom: 0.5em;
}
#content .right {
margin-left: auto;
text-align: right;
}
.centered {
margin-left: auto;
margin-right: auto;
text-align: center;
}
.smaller {
font-size: smaller;
}
div.cartouche {
border: dashed 1px black;
padding: 0.5em;
margin-left: 15%;
margin-right: 15%;
text-align: center;
}
.small-caps {
font-variant: small-caps;
}
#commentform textarea {
width: 100%;
padding: 2px;
}
code {
white-space: nowrap;
color: #babdb6;
font: 12pt Monaco, "DejaVu Sans Mono", mono;
}
pre {
border-top: 1px dotted #999999;
border-bottom: 1px dotted #999999;
font: 12pt Monaco, "DejaVu Sans Mono", mono;
padding: 5px 3em;
position: relative;
clear: both;
margin: 25px -3em;
width: 100%;
2012-07-01 14:04:44 +02:00
overflow: auto;
2013-04-01 14:59:51 +02:00
background-color: #111113;
color: #eeeeec;
left: -1px;
2012-06-21 23:18:01 +02:00
}
2013-04-01 14:59:51 +02:00
div#org-div-home-and-up {
width: 750px;
margin: 0 auto;
position: relative;
height: 0;
left: -5px;
top: 5px;
color: #eeeeec;
2012-06-21 23:18:01 +02:00
}
2013-04-01 14:59:51 +02:00
div#org-div-home-and-up a {
color: #999;
text-decoration: none;
}
div#org-div-home-and-up a:hover {
text-decoration: none;
}
/* Org font-locking */
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
.src {
2013-04-01 14:59:51 +02:00
}
.org-comment-delimiter {
color: #999999;
font-style: italic;
}
.org-comment {
color: #a9a9a9;
font-style: italic;
2012-06-21 21:24:54 +02:00
}
.org-keyword {
2013-04-01 14:59:51 +02:00
color: #cfce29;
2012-06-21 21:24:54 +02:00
}
.org-string {
2013-04-01 14:59:51 +02:00
color: #ffbd5c;
2012-06-21 21:24:54 +02:00
}
.org-function-name {
2013-04-01 14:59:51 +02:00
color: #ffa300;
2012-06-21 21:24:54 +02:00
}
.org-doc {
2013-04-01 14:59:51 +02:00
color: #9ad870;
2012-06-21 21:24:54 +02:00
}
.org-constant {
2013-04-01 14:59:51 +02:00
color: #93d8d8;
2012-06-21 21:24:54 +02:00
}
.org-type {
2013-04-01 14:59:51 +02:00
color: #78a2c1;
2012-07-01 15:09:02 +02:00
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 {
2013-04-01 14:59:51 +02:00
color: LightSteelBlue;
2012-06-21 21:24:54 +02:00
}
.org-negation-char {
}
.org-variable-name {
2013-04-01 14:59:51 +02:00
color: #c39cc3;
}