#header {
		font-size: 24pt;
		font-weight: bold;
		color: #000000;
		}

		#header a {
			text-decoration: none;
			color: #000000;
		}
		
	nav {
		display: none;
		}

	#toplink {
		display: none;
		}

	#cookie_msg {
		display: none;
	}

	.warn0 {
		text-align: center;
		}

	.warn1 {
		text-align: center;
		}

	.warn2 {
		text-align: center;
		}

	.warn3 {
		text-align: center;
		}

	
	.warn4 {
		text-align: center;
		}


	.slang {
		text-decoration:none;
		color: #000000;
	}

	.undefined_slang {
		color: #000000;
		border: 0px;
	}

	.bump {
		padding-left: 50px;
		margin-bottom: 50px;
	}

	.undef_warning {
		display: none;
	}
	
	h1 {
		margin-top: 0px;
		padding: 10px;
		text-align: center;
	}

	h2 {
		font-size: 16pt;
		border-top: 0px;
		border-left: 0px;
		border-right: 0px;
		border-bottom: 2px solid #000000;
		padding: 10px;
	}