* {
	font-family: sans-serif;
	font-size: 22px;
}

#float_hdr {
	position: fixed;
	top: 0px;
	left: 0px;
	width: 100%;
	background-color: #6a6acc;
	border: 0.4em solid #6a6acc;
	border-bottom-left-radius: 50% 0.4em;
	border-bottom-right-radius: 50% 0.4em;
}

#float_hdr > table {
	width: 100%;
	background-color: #6a6acc;
	color: white;
	font-size: 2em;
	border-collapse: collapse;
}

.cur_subpage_link {
	padding-left: 0.2em;
	padding-right: 0.2em;
	text-align: center;
	color: #CCC;
	-webkit-touch-callout: none;
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

.subpage_link {
	padding-left: 0.2em;
	padding-right: 0.2em;
	text-align: center;
	color: white;
	text-decoration: none;
}

.subpage_link:hover {
	color: #CCC;
	-webkit-touch-callout: none;
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

#hidden_hdr {
	top: 0px;
	left: 0px;
	height: 2.4em;
}

.tsect {
	margin: 0 auto;
	width: 100%;
}

.tsect_body {
	margin-top: -0.2em;
	margin-left: 1em;
	margin-right: 1em;
	padding-left: 0.2em;
	padding-right: 0.2em;
	background-color: #DDD;
	border: 0.4em solid #DDD;
	border-radius: 0.4em;
	line-height: 1.6em;
}

.tsect_img {
	margin: 0.4em auto 0.2em;
	width: 98%;
}

.tsect_halfimg {
	margin: 0.4em auto 0.2em;
	width: 49%;
}

.book_img {
	width: 75%;
}

#contact_table td, #members_table td {
	padding-right: 2em;
}

#contact_table, #members_table {
	margin-top: -1em;
}

.subpage_hidden {
	display: none;
}

.tsect h1 {
	font-size: 2em;
	margin-left: 5%;
	color: rgb(22, 27, 34);
}

table {
	table-layout: fixed;
	width: 100%;
}

td {
	vertical-align: top;
}

.highlight {
	border: 0.4em solid rgb(22, 27, 34);
	border-radius: 0.4em 0 0 0.4em;
	overflow-x: scroll;
	overflow-y: auto;
	background-color: rgb(22, 27, 34);
	color: rgb(201, 209, 217);
}

.highlight * {
	font-family: SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
	font-size: 13.6px;
}

.pl-k {
	color: rgb(255, 123, 114);
}

.pl-s {
	color: rgb(165, 214, 255);
}

.pl-en {
	color: rgb(210, 168, 255);
}

.pl-smi {
	color: rgb(201, 209, 217);
}

.pl-c1 {
	color: rgb(121, 192, 255);
}