body{color:#a0522d;background-color:#000000;}
.builtin{color:#b0c4de;}
.comment{color:#ffe4b5;}
.comment-delimiter{color:#ffe4b5;}
.constant{color:#7fffd4;}
.function-name{color:#87cefa;}
.keyword{color:#87ceeb;font-weight:bold;}
.string{color:#ffa500;}
a{color:red;background-color:inherit;font:inherit;text-decoration:underline;}
a:hover{text-decoration:underline;}