/* Pygments borland style */

code .comment {color: #080; font-style: italic}
code .comment.preproc {color: #008080; font-style: normal}
code .comment.special {font-weight: bold; font-style: normal}

code .keyword {color: #000080; font-weight: bold}

code .operator.word {font-weight: bold}

code .name.attribute {color: #f00}
code .name.tag {color: #000080; font-weight: bold}

code .string {color: #00f}
code .string.char {color: #800080}

code .number {color: #00f}
