~azzar1/unity/add-show-desktop-key

809 by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is
1
/*
2
 * CodePress color styles for Python syntax highlighting
3
 */
4
5
b {color:#7F0055;font-weight:bold;} /* reserved words */
6
u {color:darkblue;font-weight:bold;} /* special words */
7
i, i b, i s, i u {color:green;font-weight:normal;} /* comments */
8
s, s b, s u {color:#2A00FF;font-weight:normal;} /* strings */