@charset "iso-8859-1";
/* CSS Document */

.delphi-1, .pascal-1, .asm-1, .c-1, .cpp-1, .csharp-1, .perl-1, .php-1, .javascript-1, .sql-1, .vb-1, .html-1
{
	font-size: 11px;
	border: 1px dotted #BBBBBB;
	border-left: 8px solid #E0DFE3;
	padding: 3px;
	font-family: Courier New;
}