body {
	margin: 0px;
	background-color: white;
	color: black;
	font-family: serif;
	font-size: 13px;
}

#left {
	width: 140px;
	float: left;
	background-color: #efefef;
	padding: 5px;
}

#middle {
	padding: 5px;
	margin-left: 150px;
}

.top-image {
	text-align: center;
}
	
.bottom-image {
	margin-top: 25px;
	text-align: center;
	font-size: 65%;
}
	
.navigation {

}

.selected-navitem {
	font-weight: bold;
}

.navitem0 {
	margin-top: 3px;
	margin-bottom: 3px;
	background-color: #e9e9e9;
}

.navitem1 {
	margin-top: 3px;
	margin-bottom: 3px;
	margin-left: 15px;
	background-color: #e9e9e9;
}

.navitem2 {
	margin-top: 3px;
	margin-bottom: 3px;
	margin-left: 25px;
	background-color: #e9e9e9;
}


a:link {
	color: #009;
	text-decoration: none;
}

a:visited {
	color: #009;
	text-decoration: none;
}

a:active {
	color: #00e;
	text-decoration: none;
}

a:hover {
	color: #00F;
	text-decoration: underline;
}

img {
	border: 0px;
}


.books {
	padding-left: 1em;
}

.cites {
	padding-left: 1em;
	padding-right: 1em;
	padding-bottom: 0.5em;
}

.cite {
	text-align: justify;
	font-style: italic;
	margin-top: 5px;
	margin-top: 5px;
	padding: 2px;
	border: 1px solid black;
	background-color: #efefef;
}
.author {
	font-weight: bold;
}
.title {
	font-weight: bold;
	font-style: italic;
}


.links {
	padding-left: 1em;
}


.timeline .date {
	width: 13em;
	float: left;
	white-space: nowrap;
	font-weight: bold;
}
.timeline .where {
	font-style: italic;
	font-weight: bold;
}
.timeline .what {
}
.timeline li {
	margin-bottom: 1em;
}

.lang-link {
	color: #009;
	text-decoration: none;
	cursor: pointer;
}

.file-table {
			border: 1px solid black;			
			margin-bottom: 10px;
}

.file-table .title {
			font-weight: bold;
			font-style: normal;
			background-color: #ddf;
			padding: 2px;
}

.file-table .contents {
			background-color: #eef;
			width: 100%;
			border-collapse: collapse;
}

.file-table .dir {
			font-weight: bold;
			font-style: normal;
			padding-left: 4px;
}
.file-table .mtime {
			text-align: right;
			padding-right: 4px;
}

.image-table {
			border: 1px solid black;			
			margin-bottom: 10px;
}
.image-table .title {
			font-weight: bold;
			font-style: normal;
			background-color: #ddf;
			padding: 2px;
}

.image-table .contents {
			background-color: #eef;
			width: 100%;
			padding: 4px;
			text-align: left;
}


.image-table .image-name {
			font-weight: bold;
			font-style: normal;
}

pre {
	color: white;
	background: black;
	border: 1px solid blue;
	padding: 2px;
	font-size: smaller;
}

.source-table {
			border: 1px solid black;			
			margin-bottom: 10px;
}
.source-table .title {
			font-weight: bold;
			font-style: normal;
			background-color: #ddf;
			padding: 2px;
}

.source-table .contents {
			background-color: #eef;
			width: 100%;
			padding: 0px;
			margin-left: 0px;
			text-align: left;
			font-family: "Courier New", Courier, monospace;
			overflow: scroll;
			font-size: smaller;
}

.source-table .contents .comment {
			color: #d00;  
}
.source-table .contents .string {
			color: #d80;  
}
.source-table .contents .number {
			color: #840;  
}
.source-table .contents .keyword {
			color: #00f;  
}
.source-table .contents .type {
			color: #008;  
}
.source-table .contents .directive {
			color: #80d;  
}