table, tr, td, p, div, body {font-family: Verdana; font-size: 9pt;}
.emuInput {border: 1px solid #000;}
button {background: #aeaeae; font-size: 8pt;}
.hint{font-family: Verdana;font-size: 7pt;margin-left:6.5em;}
#bookmarks {color: #000000;}
#bookmarks a {color: #000000;text-decoration: none;}
#output {width: 400px;background: #ffffff;border-width: 1px;border-color: #333333;border-style: solid;clear:both;margin-top:1em;}
#output button {background: #cccccc;font-size: 8pt;}
#content {padding: 5px;}
#title {font-family: Verdana;font-size: 9pt;font-weight: bold;background: #cccccc; border:0px; border-bottom:1px solid #333;}
#disclaimer {font-family: Verdana;font-size: 7pt;background: #cccccc; border:0px; border-top:1px solid #333;}
body {margin-top: 0px;background-color:#efefef;}
#newinst {font-family: Verdana;font-size: 7pt;background: #ccc;border: 1px solid #333;border-top: none;margin-bottom: 1em;padding-left: 1em;width: 650px;}
#newinst a { text-decoration: none;}
#warnings {font-size: 9pt;width: 400px;border: 1px dashed #f00;margin-top:2px;padding-left:0;}
#warnings li {list-style:none;margin-left:2px;}
#headers {padding-left:0;}
#headers li {list-style:none;margin-left:4px;}
.hidden {display:none;}
#inputform label, #inputform input {float:left;margin-bottom:0.2em;}
#inputform label {width:5em;}
#inputform br {clear:both;}
#checkboxes {margin-left:5em;}
#checkboxes label {width:auto;}
#bookmark {margin-left:2.2em;}
#bookmarks {position:absolute;left:45em;top:1.7em;}

#emuUAcomplete {position:relative;}
#emuUAcomplete, #emuUAcomplete .yui-ac-bd, #emuUAcomplete li {font-size:92%;}
#emuUAcomplete .yui-ac-content {position:absolute;border:1px solid #000;background-color:#fff;left:0px;_left:-33.7em;}
#emuUAcomplete ul {padding:0;margin:0;}
#emuUAcomplete li {list-style: none;}
#emuUAcomplete .yui-ac-highlight {background-color:#bbf;}

/* Pygments highlighting */
.source { background: #ffffff; }
.source .c, .source .cm, .source .c1, .source .go { color: #808080 }
.source .err { color: #F00000; background-color: #F0A0A0 }
.source .k { color: #008000; font-weight: bold }
.source .o { color: #303030 }
.source .cp { color: #507090 }
.source .cs { color: #cc0000; font-weight: bold }
.source .gd { color: #A00000 }
.source .ge { font-style: italic }
.source .gr { color: #FF0000 }
.source .gh { color: #000080; font-weight: bold }
.source .gi { color: #00A000 }
.source .gp { color: #c65d09; font-weight: bold }
.source .gs { font-weight: bold }
.source .gu { color: #800080; font-weight: bold }
.source .gt { color: #0040D0 }
.source .kc, .source .kd, .source .kr { color: #008000; font-weight: bold }
.source .kp { color: #003080; font-weight: bold }
.source .kt { color: #303090; font-weight: bold }
.source .m { color: #6000E0; font-weight: bold }
.source .s, .source .s1 { background-color: #fff0f0 }
.source .na { color: #0000C0 }
.source .nb, .source .bp { color: #007020 }
.source .nc { color: #B00060; font-weight: bold }
.source .no { color: #003060; font-weight: bold }
.source .nd { color: #505050; font-weight: bold }
.source .ni { color: #800000; font-weight: bold }
.source .ne { color: #F00000; font-weight: bold }
.source .nf { color: #0060B0; font-weight: bold }
.source .nl { color: #907000; font-weight: bold }
.source .nn { color: #0e84b5; font-weight: bold }
.source .nt { color: #007000 }
.source .nv { color: #906030 }
.source .ow { color: #000000; font-weight: bold }
.source .mf { color: #6000E0; font-weight: bold }
.source .mh { color: #005080; font-weight: bold }
.source .mi { color: #0000D0; font-weight: bold }
.source .mo { color: #4000E0; font-weight: bold }
.source .sb { background-color: #fff0f0 }
.source .sc { color: #0040D0 }
.source .sd { color: #D04020 }
.source .s2 { background-color: #fff0f0 }
.source .se { color: #606060; font-weight: bold; background-color: #fff0f0 }
.source .sh { background-color: #fff0f0 }
.source .si { background-color: #e0e0e0 }
.source .sx { color: #D02000; background-color: #fff0f0 }
.source .sr { color: #000000; background-color: #fff0ff }
.source .ss { color: #A06000 }
.source .vc { color: #306090 }
.source .vg { color: #d07000; font-weight: bold }
.source .vi { color: #3030B0 }
.source .il { color: #0000D0; font-weight: bold }