body {
	margin:30px 50px;
	padding:0;
	
	color:#222;
	font-size:86%;
	font-family: Georgia, serif;
}

h1 {
	font-family: Trebuchet MS, sans-serif;
	font-size: 1.6em;
}

h2 {
	font-family: Trebuchet MS, sans-serif;
	font-size: 1.4em;
	margin-bottom:0.25em;
	margin-top:1em;
}

h3 {
	font-family: Trebuchet MS, sans-serif;
	font-size: 1.2em;
}

h4 {
	font-family: Trebuchet MS, sans-serif;
	font-size: 1em;
	margin-bottom: 0.4em;
}

p {
	font-size:1em;
	margin:4px 0 4px 0;
}

q {
	font-style:italic;
}


pre, tt, code {
	font-size:1.1em;
	color: #333333;
	padding: 0 2px 0 2px;
}

pre, code {
	/* background-color: #eceeff; */
}

pre {
	border:1px dotted #ccc;
	padding:0 0 0 10px;
	margin: 10px 0px;
	min-width:400px;
	max-width:800px;
	overflow:auto;
}


img {
	border:1px solid #ccc;
	margin:10px 10px 0px 0;
	padding:10px;
}

td {
	background: #f3f3f3;
}

a, a:link, a:active {
	color:#000;
	background:transparent;
	border-bottom:1px solid #ccc;
	text-decoration:none;
	margin:0;
}

a:visited {
	color:#333;
}

a:hover {
	color:#006;
	background:transparent;
	border-bottom:1px solid #333;
	text-decoration:none;
}



/* Special classes ------- */
/* ----------------------- */

div.course {
	float: left;
	margin: 0 50px 5px 0;
	padding: 0;
}

div.course h4 {
	margin-top: 0;
}

div.info {
	margin-top:40px;
	border-top:1px dotted gray;
}

.hint {
	font-size: 0.9em;
}

div.codeExample {
}

div.codeExample pre {
	
}


/* exercise lists -------- */
ul.exercise li {
	padding-bottom: 1em;
}

ul.exercise li ol li {
	padding-bottom: 0px;
}

ul.exercise li p {
	margin-left: 30px;
}

ul.exercise ul {
	margin-left:1em;
}
ul.exercise ul li {
	padding-bottom: 0.2em;
}

/* topic lists ----------- */
ul.coding li, ul.processing li, ul.other li, li.coding, li.processing, li.other {
	background-color: transparent;
	background-repeat: repeat;
	background-attachment: scroll;
	width:400px;
	margin:4px 0px;
}

ul.coding li, li.coding {
	background-image: url(img/bg_blue.gif);
}

ul.processing li, li.processing {
	background-image: url(img/bg_red.gif);
}

ul.other li, li.other {
	background-image: url(img/bg_green.gif);
}


/* gallery --------------- */
div.gallery {
	margin-left: 30px;
	margin-bottom:10px;
	overflow:hidden;
	float:none;
	clear:both;
}

div.gallery div {
	float:left;
}

div.gallery div p, div.gallery p {
	font-size: 0.9em;
	margin-left: 0px;
	font-style:italic;
}

div.gallery p {
	clear:both;
}