.blue, .comment, .shebang 
	{color: #0000FF;}
.magenta, .costant
	{color: #FF00FF;}
.violet, .special-char
	{color: #6A5ACD;}
.cyan, .identifier
	{color: #008A8C;}
.bordeaux, .statement
	{color: #A52A2A;}
.green, .type
	{color: #2E8B57;}
.red, .error
	{color: #FF0000;}
.purple, .preprocessor
	{color: #A020F0;}
.yellow
	{color: #FFFF00;}

.bold, .shebang, .statement, .type, .error
	{font-weight: bold;}

div.code {
	white-space: pre;
	font-family: monospace;
}