body { background-color: #333333; }
.site { background-color: #FFFFFF; width: 800px; margin: 0 auto; font-family: Arial, Helvetica, sans-serif; }
.languageSwitch { padding: 3px; text-align: center; background-color: #FF9933; position: relative; float: right; top: 5px; right: 5px; }
.languageSwitch a { color: #000000; font-size: larger; text-decoration: none; font-weight: bold; }
.languageSwitch a:hover { background: #FFFFCC; }
.header { font-size: 40px; font-weight: bold; text-align: center; height: 50px; letter-spacing: 10px; }
.menu { background-color: #FF9933; height: 30px; text-align: center; }
.menu li { width: 200px; display: inline-block; }
.menu a { display: block; line-height: 30px; text-align: center; color: #000000; font-size: larger; text-decoration: none; font-weight: bold; }
.menu a:hover { background: #FFFFCC; }
.content { padding: 0px 20px 20px 20px; }
.content h1 { padding-left: 20px; font-size: large; }
.content p { padding-left: 40px; text-indent: 20px; }

.inlineCode { font-family: "Courier New", Courier, monospace; font-weight: bolder; }

.comment { color: #999999; font-style: italic; }
.pre { color: #000099; }
.string { color: #009900; }
.char { color: #009900; }
.float { color: #996600; }
.int { color: #999900; }
.bool { color: #000000; font-weight: bold; }
.type { color: #FF6633; }
.flow { color: #FF0000; }
.keyword { color: #990000; }
.operator { color: #663300; font-weight: bold; }
.title { padding: 5px; position: static; display: inline-block; width: 80%; float: left; }