wiki-css


/* 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