@charset "utf-8";
/* CSS Document */

.javascript  {font-family: 'Andale Mono', Consolas, monospace; font-size: 11px}
.javascript .imp {font-weight: bold; color: red;}
.javascript .kw1 {color: #000066; font-weight: bold;}
.javascript .kw2 {color: #003366; font-weight: bold;}
.javascript .kw3 {color: #000066;}
.javascript .co1 {color: #006600; font-style: italic;}
.javascript .co2 {color: #009966; font-style: italic;}
.javascript .coMULTI {color: #006600; font-style: italic;}
.javascript .es0 {color: #000099; font-weight: bold;}
.javascript .br0 {color: #009900;}
.javascript .sy0 {color: #339933;}
.javascript .st0 {color: #3366CC;}
.javascript .nu0 {color: #CC0000;}
.javascript .me1 {color: #660066;}
.javascript span.xtra { display:block; }

canvas {  margin-bottom: 10px }
ul.weighted {
 float: left;
 display: block;
 overflow: auto;
 padding: 10px;
 margin: 0 10px 20px 0;
 background-color: #fff;
 border: 4px solid #aaa;
 border-radius: 20px;
 -moz-border-radius: 20px;
}
ul.weighted li { display: inline }
ul.weighted li a { margin: 2px }
.centred p { width: 520px; float: left; margin-left: 20px }
.preright { float: left }
.huge { font-family: Impact,sans-serif; font-size: 56px }
.large { font-family: 'Arial Black',sans-serif; font-size: 40px }
.medium { font-family: Verdana,sans-serif; font-size: 18px }
.small { font-family: Georgia,sans-serif; font-size: 11px }
a.red { color: #f00 }
a.green { color: #0c0 }
a.purple { color: #f09 }