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

<style type="text/css">
.comment { color: #3E972C;}
.pre { color: #000099; }
.string { color: #B82222; }
.commentstr {color: #009600; }
.char { color: #009900; }
.float { color: #996600; }
.int { color: #999900; }
.bool { color: #0000FF; }
.type { color: #449E99; }
.flow { color: #FF0000; }
.keyword { color: #0000FF; }
.operator { color: #663300; font-weight: bold; }
.operator { color: #663300; font-weight: bold; }
.function {color: #805E1E; }
</style>