a, button {cursor: pointer;}
a:link {text-decoration: none;}
a:active {text-decoration: none;}
a:visited {text-decoration: none;}
a:hover {text-decoration: underline;}

a.white_always { color: white; }
a.dark_always { color: #333333; }

body {
	overflow-y: scroll;
}
body, div, span, p, button, img, table, tr, td, a, form {
	padding: 0px 0px 0px 0px;
	margin: 0px 0px 0px 0px;
	font-family: century-gothic, sans-serif, Helvetica, Arial, sans-serif;
	font-size: 14px;
}
/*
body, div, span, p, button, img, table, tr, td, a, form {
	padding: 0px 0px 0px 0px;
	margin: 0px 0px 0px 0px;
	font-size: 16px;
}
*/
hr {
	margin-top: 8px;
	margin-bottom: 8px;
}

* {
	box-sizing: border-box;
}

p.small {
	padding: 0px 0px 0px 0px;
	margin: 7px 0px 7px 0px;
}

pre {
	white-space: pre-wrap;       /* Since CSS 2.1 */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
	white-space: -pre-wrap;      /* Opera 4-6 */
	white-space: -o-pre-wrap;    /* Opera 7 */
	word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

div.footer { font-size: 14px; color: white; }
div.copyright { margin: auto; max-width: 864px; text-align: center; background-color: #585858; border: 1px dashed #999999; }
div.copyright1 { padding-top: 20px; padding-bottom: 2px; font-size: 14px; color: white; }
div.copyright2 { padding-top: 2px; padding-bottom: 20px; font-size: 12px; color: white; }

div.info_header {
	/* border-left: 1px dashed #999999; */
	/* border-right: 1px dashed #999999; */
	/* border-bottom: 1px dashed #999999; */
}

div.padding_contents,
div.location_contents,
div.info_contents {
	border-left: 1px dashed #999999;
	border-right: 1px dashed #999999;
}

div.top_menu {
	padding: 4px;
	margin: 10px;
	font-size: 16px;
}

@media (prefers-color-scheme: dark) {
	/* Dark theme styles go here */
	body {
		background-color: #333333;
		color: white;
	}
	body, div, span, p, button, img, table, tr, td, a, form {
		/*color: #333333;*/
		color: white;
	}
	button {
		padding: 0px 0px 0px 0px;
		margin: 0px 0px 0px 0px;
		background: white;
		color: #333333;
		border: 1px solid white;
	}
	div.copyright {
		background-color: #585858; border: 1px dashed #999999;
	}
	.launcher, .notice {
		color: white;
	}
	.line {
		background: #999999;
	}
}

@media (prefers-color-scheme: light) {
	/* Light theme styles go here */
	body {
		background-color: #EFEFEF;
		color: #333333;
	}
	body, div, span, p, button, img, table, tr, td, a, form {
		color: #333333;
	}
	button {
		background: #333333;
		color: white;
		border: 1px solid #333333;
	}
	div.copyright {
		background-color: #9E9E9E; border: 1px dashed #777777;
	}
	.launcher, .notice {
		color: #333333;
	}
	.line {
		background: #999999;
	}
}