#menu {
	position: fixed;
	top: 0px;
	left: 0px; 
	margin-top: 40px;
	margin-left: 20px;
	width: 150px;
	font-family: sans-serif;
	font-size: medium;
	background: #fff;
}

#menu td {
	list-style-type: none;
	border: 1px solid #ccc;
	width: 130px;
	text-align: center;
}

#menu a {
	background: #fff;
	display: block;
}

#menu a:hover {
	background: #deefe8;
	color: #900;
	text-decoration: none;
}

#submenu {
	position: fixed;
	top: 0px;
	left: 780px; 
	margin-top: 40px;
	margin-left: 20px;
	width: 150px;
	font-family: sans-serif;
	font-size: medium;
	background: #fff;
}

#submenu td {
	list-style-type: none;
	border: 1px solid #ccc;
	width: 130px;
	text-align: center;
}

#submenu a {
	background: #fff;
	display: block;
}

#submenu a:hover {
	background: #deefe8;
	color: #900;
	text-decoration: none;
}

#home-main {
	position: absolute;
	top: 0px;
	left: 180px;
	margin-top: 20px;
	margin-left: 0px;
	width: 500px;
	text-align: center;
}

#main {
	position: absolute;
	top: 0px;
	left: 180px;
	margin-top: 20px;
	margin-left: 0px;
	width: 600px;
}

#diving {
	position: absolute;
	top: 0px;
	left: 180px;
	margin-top: 20px;
	margin-left: 0px;
	width: 660px;
}

#diving dt {
	padding: 0;
	display: list-item;
	list-style-type: disc;
}

#diving dd {
	display: list-item;
	list-style-type: square;
}

#left {
	position: absolute;
	top: 300px;
	left: 0px;
	margin-top: 20px;
	margin-left: 0px;
	width: 300px;
	text-align: left;
}

#right {
	position: absolute;
	top: 300px;
	left: 270px;
	margin-top: 20px;
	margin-left: 0px;
	width: 300px;
	text-align: left;
}

#author {
	text-align: right;
	padding-right: 16px;
}

.right {
	text-align: right;
	padding-right: 16px;
}

h1 {
	font-size: x-large;
	text-align: center;
}

h2 {
	font-size: large;
	text-align: center;
}

h3 {
	font-size: large;
	text-align: center;
}

ul {
	padding-left: 30px;
	padding-right: 30px;
	margin: 0;
}

ol {
	padding-left: 60px;
	padding-right: 30px;
	margin: 0;
}

dl {
	padding-left: 30px;
	padding-right: 30px;
}

dt {
	padding-left: 16px;
}

a:hover {
	background: #deefe8;
	color: #900;
	text-decoration: none;
}

p {
	margin-left: 16px;
	margin-right: 16px;
}

.center {
	margin: 0px auto;
	text-align: center;
}

pre {
    border: 1px solid gray;
    padding: 0.5em;
    margin: 2em;
}

.fix-height pre {
    border: 1px solid gray;
    padding: 0.5em;
    height: 25em;
    overflow: auto;
}

.center img {
	border: 1px solid black;
	margin: 5px;
}

.center2 {
	margin: 0px auto;
	text-align: center;
}

#main ul {
	margin-left: 30px;
}

div.pic {
        width: 700px;
        margin-right: auto;
        margin-left: auto;
        margin-bottom: 0.5em;
}