.sourcecode .comment { color: #00A000; }
.sourcecode .constant { color: #009090; }
.sourcecode { color: black; background: white; }
.sourcecode .keyword { color: #000080; font-weight: bold; }
.sourcecode .library { color: #900090 !important; text-decoration: none !important; }
.sourcecode .marker { background: #ffff00; }
.sourcecode .prompt { color: #00A000; }