/*
New edikt2 stylesheets for http://www.edikt.org/edikt2/
Author: m.burns@epcc.ed.ac.uk
Last updated: 6 November 2007
*/


/*
Copyright (c) 2007, Yahoo! Inc. All rights reserved.
Code licensed under the BSD License:
http://developer.yahoo.net/yui/license.txt
version: 2.3.1
*/
body{color:#000;background:#FFF;}body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,textarea,p,blockquote,th,td{margin:0;padding:0;}table{border-collapse:collapse;border-spacing:0;}fieldset,img{border:0;}address,caption,cite,code,dfn,em,strong,th,var{font-style:normal;font-weight:normal;}li{list-style:none;}caption,th{text-align:left;}h1,h2,h3,h4,h5,h6{font-size:100%;font-weight:normal;}q:before,q:after{content:'';}abbr,acronym{border:0;font-variant:normal;}sup,sub{line-height:-1px;vertical-align:text-top;}sub{vertical-align:text-bottom;}input, textarea, select{font-family:inherit;font-size:inherit;font-weight:inherit;}
/*
Copyright (c) 2007, Yahoo! Inc. All rights reserved.
Code licensed under the BSD License:
http://developer.yahoo.net/yui/license.txt
version: 2.3.1
*/
h1{font-size:138.5%;}h2{font-size:123.1%;}h3{font-size:108%;}h1,h2,h3{margin:1em 0;}h1,h2,h3,h4,h5,h6,strong{font-weight:bold;}abbr,acronym{border-bottom:1px dotted #000;cursor:help;}em{font-style:italic;}blockquote,ul,ol,dl{margin:1em;}ol,ul,dl{margin-left:2em;}ol li{list-style: decimal outside;}ul li{list-style: disc outside;}dl dd{margin-left:1em;}th,td {border:1px solid #000;padding:.5em;}th {font-weight:bold;text-align:center;}caption {margin-bottom:.5em;text-align:center;}p,fieldset,table {margin-bottom:1em;}
/*
Copyright (c) 2007, Yahoo! Inc. All rights reserved.
Code licensed under the BSD License:
http://developer.yahoo.net/yui/license.txt
version: 2.3.1
*/
body {font:13px/1.22 arial,helvetica,clean,sans-serif;*font-size:small;*font:x-small;}table {font-size:inherit;font:100%;}pre,code,kbd,samp,tt{font-family:monospace;*font-size:108%;line-height:99%;}



body { }

div#header { padding: 0 0; margin: 0; }

div#header a { color: #489FD8; }
div#header a:active { color: #489FD8; }
div#header a:hover { color: #2D2D72; }
div#header a:visited { color: #2D2D72; }
div#header a:visited:hover { color: #2D2D72; }

div#header div#logo { background-image: url(/wiki/common/edikt2-bg.jpg); height: 116px; }
div#header div#logo img#logoimage { padding: 13px 0 0 30px; }
div#header div#logo hr { display: none; }

div#header form#searchform { font-size: 0.9em; padding: 0; margin: 0; float: right;}
div#header ul#username { font-size: 0.9em; float: right; }

div#header ul { display: block; padding: 0; margin: 0; }
div#header ul li { display: inline; margin-right: 0.5em; } 

div#header ul#navibar { border-bottom: 2px solid #2D2D72; margin: 0; margin-bottom: 1em; margin-top: 1em; padding: 0 0 0 1em; }
div#header ul#navibar li { font-size: 1.25em; font-weight: bold; }
div#header ul#navibar li a { text-decoration: none; padding: 0.2em 0.4em; padding-bottom: 0; color: #489FD8; }
div#header ul#navibar li.current a { color: white; background-color:#2D2D72; border-bottom: 2px solid #2D2D72; color: #fff; }
div#header ul#navibar li a:hover { color: black; background-color: #489FD8; border-bottom: 2px solid #489FD8; color: #fff; }

div#header ul#helpbar { float: right; margin-top: -8.5em; margin-right: 
0.5em; }
div#header ul#helpbar a { text-decoration: none; }
div#header ul#helpbar a,
div#header ul#helpbar a:visited { color: #ddd; }
div#header ul#helpbar a:hover,
div#header ul#helpbar a:hover:visited { color: #fff; }

div#header ul#pagetrail { display: none; }

div#header /* div#locationline */ ul#pagelocation { clear: both; margin: 0; padding: 0; margin-left: 1em; margin-top: 1em; }
div#header /* div#locationline */ ul#pagelocation li { display: block; font-size: 2em; font-weight: bold; line-height: 0.9em; list-style-type: none; }
div#header /* div#locationline */ ul#pagelocation li + li { margin-left: 1em; font-size: 1.8em; }
div#header /* div#locationline */ ul#pagelocation li a { text-decoration: none; }
div#header div#message { margin: 1em; } 

div#page { margin: 0.5em 2em; font-size: 110%; }

div#page div#content a:active { color: #f00; /* color: #489FD8; */ }
div#page div#content a:hover { color: #2D2D72; }
div#page div#content a:visited { color: #2D2D72; }
div#page div#content a:visited:hover { color: #2D2D72; }

div#page div#content p { margin: 1em 0; padding: 0; }

div#page div#content li { margin: 0.15em 0; }
div#page div#content li p { margin: 0.5em 0; padding: 0; }
div#page div#content li ol,
div#page div#content li ul { margin: 0 1.5em; }

div#page div#content ol[type="1"] li { list-style-type: decimal; }
div#page div#content ol[type="I"] li { list-style-type: upper-roman; }
div#page div#content ol[type="i"] li { list-style-type: lower-roman; }
div#page div#content ol[type="A"] li { list-style-type: upper-alpha; }
div#page div#content ol[type="a"] li { list-style-type: lower-alpha; }

div#page div#content dl dt { font-weight: bold; }

div#page div#content tt { font-weight: bold; color: #333; font-size: 0.9em; }

div#page div#content h1,
div#page div#content h2,
div#page div#content h3,
div#page div#content h4,
div#page div#content h5,
div#page div#content h6 { margin: 0.25em 0; line-height: 0.9em; }
div#page div#content h1 { margin-top: 0.5em; font-size: 2.5em; font-weight: bold; border-bottom: 2px solid black; }
div#page div#content h2 { margin-top: 0.5em; font-size: 2em; font-weight: bold; border-bottom: 1px solid black; }
div#page div#content h3 { font-size: 1.5em; font-weight: bold; }
div#page div#content h4 { font-size: 1.25em; font-weight: bold; }
div#page div#content h5 { font-size: 1.0em; font-weight: bold; }
div#page div#content h6 { font-size: 0.9em; font-weight: bold; }

div#page div#content pre { padding: 1em; overflow: scroll; font-size: 0.9em; }

/*
div#page div#content pre { background-color: #000; color: #0f0; }
div#page div#content pre .LineNumber { color: #999; }
div#page div#content pre .ResWord { font-weight: bold; color: #f99; }
div#page div#content pre .ID { color: #ff0; }
div#page div#content pre .Operator { color: #fff; }
div#page div#content pre .String { color: #99f; }
div#page div#content pre .Number { color: #9f9; }
div#page div#content pre .SPChar { color: #fff; }
div#page div#content pre .Comment { color: #999; font-style: italic; }
*/

div#page div#content .u { text-decoration: underline; }
div#page div#content .strike { text-decoration: line-through; }
div#page div#content a,
div#page div#content a:visited { color: #2d2d72; }
div#page div#content a:hover,
div#page div#content a:hover:visited { background-color: #2d2d72; color: 
#fff; 
}

div#page div#content a.codenumbers { font-size: 0.8em; color: #666; margin-bottom: 0.2em; text-decoration: none; border: 1px solid #666; padding: 0.1em 0.2em; } 
div#page div#content a.codenumbers:hover { color: #fff; background-color: #666; } 

div#page div#content hr { display: block; border: 0; border-bottom: 1px solid #666; }
div#page div#content hr.hr1 { border-bottom: 1px solid #666; }
div#page div#content hr.hr2 { border-bottom: 2px solid #666; }
div#page div#content hr.hr3 { border-bottom: 3px solid #666; }
div#page div#content hr.hr4 { border-bottom: 4px solid #666; }
div#page div#content hr.hr5 { border-bottom: 5px solid #666; }
div#page div#content hr.hr6 { border-bottom: 6px solid #666; }
div#page div#content hr.hr7 { border-bottom: 7px solid #666; }
div#page div#content hr.hr8 { border-bottom: 8px solid #666; }
div#page div#content hr.hr9 { border-bottom: 9px solid #666; }
div#page div#content hr.hr10 { border-bottom: 10px solid #666; }

div#page div#content form#editor { }
div#page div#content form#editor textarea { display: block; width: 100%; margin: 1em 0; font-family: monospace; font-size: 0.9em; }
div#page div#content div#editor-help { background-color: #ccc; padding: 1em; }

div#page p#pageinfo { text-align: right; font-size: 0.9em; color: #999; padding-top: 1em; }

div#footer { }

div#header ul.editbar, 
div#footer ul.editbar { border-top: 1px dotted #ccc; border-bottom: 1px 
dotted #ccc; margin: 0; padding: 0.5em 0; background-color: #eee; 
font-size: 90%; }
div#header ul.editbar li, 
div#footer ul.editbar li { display: inline; margin: 0.5em; }
div#header ul.editbar a, 
div#footer ul.editbar a { color: #999; }
div#header ul.editbar a:hover, 
div#footer ul.editbar a:hover { color: #000; }
div#header ul.editbar li form.actionsmenu, 
div#footer ul.editbar li form.actionsmenu,
div#header ul.editbar li form.actionsmenu div, 
div#footer ul.editbar li form.actionsmenu div { display: inline; }
div#footer ul.editbar { border-bottom: 0; }

div#footer ul#credits { text-align: center; border-top: 1px solid #999; margin: 0; padding: 1em 0; }
div#footer ul#credits li { display: inline; margin: 0.5em; font-size: 0.9em; }
div#footer ul#credits li a { color: #999; }

div#controls { float: right; width: 50%; margin-top: -100px; margin-right: 
10px; }
div#controls a { text-decoration: none; }
div#controls a,
div#controls a:visited { color: #ddd; }
div#controls a:hover,
div#controls a:hover:visited { color: #fff; }


div#footer span.accessible { display: none; }
div#footer ul#credits { display: block; margin-left: auto; margin-right: 
auto; margin-bottom: 1em; }
div#footer ul#credits a { display: block; width: 80px; height: 15px; float: left; margin-left: 10px; }
div#footer ul#credits a#moinmoin-credit { background-image: 
url(/wiki/common/moinmoin.png); }
div#footer ul#credits a#python-credit { background-image: 
url(/wiki/common/python.png); }
div#footer ul#credits a#html-credit { background-image: 
url(/wiki/common/valid_html401.png); }