/* community wiki stylesheet - CSS by jonnay */
/* State of the stylesheet:
This stylesheet will be split
into 2 versions. One coloured
and one not-so-coloured.
*/
/* addition by Jorgen-Schäfer, sorry, didn't know where to put this */
/* What is it? */
strong.missing-logentry
{
color: red;
}
body
{
padding: 1em;
font-family: sans-serif;
max-width: 50em;
margin-left: auto;
margin-right: auto;
}
h1
{
border: 2px solid #888;
padding: 5px;
color: #000;
margin: 0px;
margin-bottom: 1ex;
background-color: #eeeef4;
text-align: center;
}
a:link, a:active, a:visited, a:hover
{
font-weight: bold;
color: #6688d0;
text-decoration: none;
}
a:visited
{
color: #666690;
}
a:hover
{
text-decoration: underline;
}
h1 a:link, h1 a:active, h1 a:visited
{
color: #000000;
}
div
{
border: 1px solid #aaa;
margin-bottom: 0px;
padding: 3px;
background-color: #f8f8fc;
}
div a:link, div a:active, div a:visited, div a:hover
{
padding-left: 1em;
color: #444466;
line-height: 3ex;
font-size: small;
}
div a:hover
{
color: #000044;
}
div a:visited
{
color: #444466;
}
div a:active
{
color: #000000;
}
div input
{
border: 1px solid #444;
margin-top: 1px;
margin-left: 1ex;
margin-bottom: 0px;
background-color: #eeeef8;
}
h1, h2, h3, h4, h5, h6
{
letter-spacing: 0.25ex;
word-spacing: 0.5ex;
}
h2, h3, h4, h5, h6
{
padding-bottom: 0.3ex;
margin-bottom: 0.5ex;
margin-top: 2ex;
padding: 3px;
padding-left:10px;
background-color: #fcfcff;
}
h2
{
border-bottom: 1px dotted #444;
font-size: 150%;
}
h3
{
border-bottom: 1px dotted #888;
font-size: 130%;
}
h4
{
border-bottom: 1px dotted #ccc;
font-size: 115%;
}
h5
{
border-bottom: 1px dotted #eee;
font-size: 100%;
}
h6
{
border-bottom: 1px dotted #f8f8f8;
font-size: 80%;
}
hr
{
border-top: 0px none #fff;
border-bottom: 1px solid #444;
border-left: 0px none #fff;
border-right: 0px none #fff;
color: #FFF;
background-color: #FFF;
height: 4px;
}
textarea, input
{
border: 1px solid #888;
background-color: #f8f8f8;
}
textarea
{
margin-bottom: 10px;
margin-top: 1ex;
}
form p
{
margin-bottom: 0px;
}
/* hokay.. wrapping pre text. Fun.
mozilla: -moz-pre-wrap
opera: -o-pre-wrap
IE: word-wrap: break-word
W3c: pre-wrap
*/
pre
{
margin-left: 2em;
padding-top: 0.75ex;
padding-bottom: 0.75em;
padding-left: 2ex;
padding-right: 2ex;
border: 1px solid #888;
background-color: #f8f8fc;
font-family: monospace;
white-space: pre-wrap;
white-space: -moz-pre-wrap;
}
* html pre
{
word-wrap: break-word;
}
blockquote
{
margin-left: 2em;
padding-top: 1ex;
padding-bottom: 1ex;
padding-left: 1.5em;
padding-right: 1.5em;
border: 0px dotted #888;
border-left-width: 1px;
background-color: #fcfcfc
}
blockquote p
{
margin-top: 0px;
margin-bottom: 0.5ex;
}
/* Ordered and unordered lists */
ol
{
list-style-type: decimal;
}
ol ol
{
list-style-type: upper-alpha;
}
ol ol ol
{
list-style-type: upper-roman;
}
ol ol ol ol
{
list-style-type: lower-alpha;
}
ol ol ol ol ol
{
list-style-type: lower-roman;
}
ol ol ol ol ol ol
{
list-style-type: lower-greek;
}
ol ol ol ol ol ol ol
{
list-style-type: hebrew;
}
ul
{
list-style-type: disc;
}
ul ul
{
list-style-type: square;
}
ul ul ul
{
list-style-type: circle;
}
ul ul ul ul
{
list-style-type: disc;
}
ul ul ul ul ul
{
list-style-type: square;
}
ul ul ul ul ul ul
{
list-style-type: circle;
}
ul ul ul ul ul ul ul
{
list-style-type: disc;
}
dt
{
width: 50%;
font-weight: bold;
border-bottom: 1px dotted #888;
margin-left: 3em;
}
dd
{
margin-left: 4em;
padding-top: 0.25ex;
padding-bottom: 1em;
}
dd p
{
margin: 0px;
}
table.inbody
{
border: 1px dotted #000;
border-spacing: 2px;
}
table.inbody td
{
empty-cells: show;
border: 1px dotted #888;
padding-left: 1ex;
padding-right:1ex;
padding-bottom: 0.25ex;
padding-top: 0.25ex;
}
/* A note on teh absolute pixel widths:
*/
div.comment
{
border: 1px solid #888;
margin-left: 2em;
margin-top: 1ex;
margin-bottom: 1ex;
clear: left;
overflow: hidden;
}
div.comment div.comment
{
border-width: 0px;
border-top-width: 1px;
margin-bottom: 0px;
margin-left: 0px;
padding-bottom: 0px;
}
div.comment div.portrait
{
float: left;
/* width: 90px;
max-width: 90px;
Removed, these were causing trouble --Jorgen-Schäfer
*/
border: 0px solid #888;
margin: 0.5ex;
background-color: #e8e8f0;
text-align: center;
}
div.comment div.portrait img
{
display: block;
width: 48px;
height: 48px;
border: 1px solid #000000;
margin-left: auto;
margin-right: auto;
margin-bottom: 1ex;
margin-top: 0.25ex;
}
div.comment div.portrait p
{
border: 0px dotted #888;
margin-left: auto;
margin-right: auto;
padding: 0.5ex;
font-size: 70%;
}
div.comment a
{
padding: 0em;
}
div.comment div.comment-text
{
border: 0px solid;
margin: 1ex;
margin-top: 0px;
margin-left: 95px;
padding: 0ex;
padding-left: 1ex;
}
div.comment div.comment-text p
{
margin-top: 0px;
}
/* A hack to get rid of table layout badness. */
/* DIE DIE DIE! */
table.content-table
{
border: 0px;
border-collapse; collapse;
margin: 0px;
padding: 0px;
}
td.inbody, td.preview
{
border: 0px;
margin: 0px;
padding: 0px;
}
/* Wiliki Errors */
/* This might be to garish */
span.wiliki-alert, pre.macroerror
{
border: 1px solid #000;
background-color: #cc0000;
color: #000;
padding: 1em;
}
/* Recent Changes */
table.recent-changes
{
border-spacing: 0px;
}
table.recent-changes td
{
padding: 1ex;
}
td.pagename
{
vertical-align: middle;
}
td.date
{
border-top: 2ex solid #fff;
background-color: #dddde3;
text-align: center;
font-weight: bold;
font-size: small;
}
td.time
{
font-size: small;
}
td.elapsed
{
font-size: xx-small;
white-space: nowrap
}
tr.even
{
background-color: #f0f0f8;
}
/* ----------------------------
* Scheme Code Formatting
* This should probably be colorised nicely.
*/
/* Scheme documentation links */
a.scheme-documentation {
color: inherit;
text-decoration: inherit;
}
/* Highlighting for scheme syntax tokens. Colors are from the emacs
scheme mode for color displays on a light background. */
SPAN.comment { color: #B22222; font-weight: bold }
SPAN.string { color: #BC8F8F; font-weight: bold }
SPAN.keyword { color: #A020F0; font-weight: bold }
SPAN.function-name { color: #0000FF; font-weight: bold }
SPAN.variable-name { color: #B8860B; font-weight: bold }
SPAN.type { color: #228B22; font-weight: bold }
SPAN.builtin { color: #DA70D6; font-weight: bold }
/* The paren stuff */
/* Top level */
PRE.scheme > SPAN.paren:hover { background-color: #FFCFCF }
/* Paren level 1 */
PRE.scheme > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFCF }
/* Paren level 2 */
PRE.scheme > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFCFFF }
/* Paren level 3 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFFF }
/* Paren level 4 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #FFCFFF }
/* Paren level 5 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #FFFFCF }
/* Paren level 6 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren
> SPAN.paren:hover { background-color: #B4E1EA }
/* Paren level 7 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #BDEAB4 }
/* Paren level 8 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #EAD4B4 }
/* Paren level 9 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #F4D0EC }
/* Paren level 10 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #D0D9F4 }
/* Paren level 11 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren
> SPAN.paren:hover { background-color: #FFCFCF }
/* Paren level 12 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFCF }
/* Paren level 13 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFCFFF }
/* Paren level 14 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFFF }
/* Paren level 15 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #FFCFFF }
/* Paren level 16 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren
> SPAN.paren:hover { background-color: #FFFFCF }
/* Paren level 17 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #BDEAB4 }
/* Paren level 18 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #EAD4B4 }
/* Paren level 19 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #F4D0EC }
/* Paren level 20 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #D0D9F4 }
/* Paren level 21 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren
> SPAN.paren:hover { background-color: #FFCFCF }
/* Paren level 22 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFCF }
/* Paren level 23 */
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:hover { background-color: #CFFFCF }
PRE.scheme > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren > SPAN.paren > SPAN.paren
> SPAN.paren:before { content: "{{23 levels of indentation?! Yiakes!}}" }
/* extend here if more nestings are needed */
/* Currently used colors:
#FFCFCF #CFFFCF #CFCFFF
#CFFFFF #FFCFFF #FFFFCF
#B4E1EA #BDEAB4 #EAD4B4
#F4D0EC #D0D9F4 #FFFFCF
*/
category-this-wiki