/* <style> */
/* general styling */
body {
	/* background: #520505; */
	padding: 2em;
	color: #520505;
	font-family: Sans;
	font-size: 12pt;
}
#container {
	background: #FAF1F1; 
	border: 1px solid #520505; 
	border-radius: 2em;
	padding: 2em;
}
h2 { 
	color: #2B0780;
	margin-top: 2em;
	background: -moz-linear-gradient(left, #EEFFFD, #FAF1F1);
	border-radius: 10px;
	padding: 2px;
}
em {
	font-weight: bold;
	color: red;
}

/* specific items - 1 is primary one, 2 is for comparison */
.folder1 {
	color: green;
}
.folder2 {
	color: blue;
}
.file1 {
	color: seagreen;
}
.file2 {
	color: indigo;
}
.cmd1 {
	color: black;
}
.cmd2 {
	color: crimson;
}

/* examples box */
.box {
	border: 1px solid #520505; 
	padding: 8px;
	margin: 30px;
	background-color: #e0e0ff;
	color: black;
}
h4 {
	color: green;
}
pre {
	color: black;
}
/* </style> */

