.draggable
{
	position: absolute;
}

div.block, h1.block, h2.block, p.block
{
	border: 1px solid #000000;
	background-color: white;
	padding: 5px;
}

div.canvas
{
	border: 1px solid #262A37;
	background-color: white;
	background-image: url('gradient.jpg');
	background-repeat: no-repeat;
	background-position: top right;
	padding: 0px;	
}

.highlighter
{
	border: 1px solid #CFDF62 !important;
	background-color: #F1FF90 !important;
	margin-bottom: 2px !important;
	padding: 0px !important;
	z-index: 3;
}

.highlighter .highlighter
{
	border: 1px solid #7DAB76 !important;
	background-color: #BAFFB0 !important;
	margin-left: 2px !important;
	margin-right: 2px !important;
}


html
{
	padding: 0px;
	margin: 0px;
}

body
{
	font-family: verdana;
	font-size: 11px;
	color: #33333F;
	padding: 3px;
	margin: 0px;
	background-color: white;
}

h1
{
	color: #FF7521;
	margin: 0px;
	font-size: 20px;
}

h2
{
	font-size: 15px;
	margin: 0px;
}

p, div
{
	font-size: 11px;
	margin: 0px;
}

a
{
	text-decoration: none;
	color: #FF9900;
}

.middle-label, .source-label, .destination-label
{
	font-size: 11px;
	font-weight: bold;
	padding: 5px;
}

div.connector
{
	background-color: #000000;
	z-index: 1000;
}

table.main_table 
{
	width: 100%; 
	border-collapse: separate;
}
	
td.menu
{
	padding: 5px;
}

.menu ul
{
	margin: 0px;
	padding: 0px;
	list-style-type: none;
	list-style-position: outside;
}

.menu li
{
	border: none;
	padding: 0px;
	font-size: 12px;
	margin-bottom: 3px;
}

.menu li a
{
	display: block;
	border: 3px solid #000000;
	width: 50px;
	color: #000000;
	text-decoration: none;
	padding: 3px;
	background-color: white;
}

.menu li a.active_menu
{
	color: #FF9900;
	border-color: #FF9900;
}

.menu li a:hover
{
	color: blue;
	border-color: blue;
}

.block ol, .block ul
{
	margin-top: 3px;
	margin-bottom: 3px;
	margin-left: 0px;
	padding-left: 25px;
}

.code
{
	font-family: monospace;
	line-height: 1.5em !important;
}