body {
	font-family: Verdana, Geneva, Tahoma, sans-serif;
	font-size: large;
}
li {
	margin: 4px 0px 0px 0px;
}
.codefilename {
	font-size: x-small;
}

.codefilepicture {
	border-color: #808080;
	border-style: inset;
	border-width: thin medium medium thin;
}