/*  MoinMoin Default Styles    Copyright (c) 2000 by J?gen Hermann    Edited by Kenial, on 2003*/body {    background-color: #fafffa;    color: #000000;    font-family: Times New;    font-size: x-small;	line-height: 135%}td.headline {    font-family: Helvetica;    font-size: 20pt;	line-height: 120%}h1,h2,h3,h4,h5 {    font-family: Helvetica;    background-color: #EECC99;    padding-left:3pt;    margin-top:2pt;    margin-bottom:8pt;    border-style:none;    border-width:thin;    width:100%;}h1 {    font-size: 18pt;    background-color: #DCA452;}h2 {    font-size: 16pt;    padding-left:6pt;    background-color: #F6AF6D;}h3 {    font-size: 13pt;    padding-left:10pt;    background-color: #FFD6B7;}h4 {    font-size: 11pt;    padding-left:14pt;    background-color: #EEDBD6;}h5 {    font-size: 9pt;    padding-left:18pt;    background-color: #EEEBF6;}a:link {    color: #993306;}a:visited {    color: #BB7733;}a.nonexistent {    font-weight: bold;    background-color: #F8F8F8;    color: #FF2222;}a.nonexistent:visited {    background-color: #F8F8F8;    color: #FF2222;}a.external {    color: #AA6600;}dl,ul,ol {    margin-top: 1pt;}tt,pre {    font-family: Courier New,Courier,monotype;    font-size: 10pt;}pre.code {    margin-top: 8pt;    margin-bottom: 8pt;    background-color: #E0E0E0;    white-space:pre;    border-style:none;    border-width:thin;    width:100%;}div.diffold {    background-color: #FFFF80;    border-style:none;    border-width:thin;    width:100%;}div.diffnew {    background-color: #80FF80;    border-style:none;    border-width:thin;    width:100%;}strong.highlight {    background-color: #FFBBBB;/* as usual, NetScape fucks up with innocent CSS    border-color: #FFAAAA;    border-style: solid;    border-width: 1pt;*/}table {    font-size: x-small;	line-height: 135%}table.wiki {    background-color: #E0F4FF;	border-color:silver;}table.closure, tr.closure, td.closure {    background-color: #EEF2CB;    text-align:left;    padding: 5px;    margin: 0px 10px;}span.closure {    background-color: #FFFF99;}table.recentchanges {    font-size: x-small;}