@charset "Shift_Jis";

/*===== Basic property-info =====*/

body { 
	margin-top: 0; margin-left: 5%; margin-right: 5%; margin-bottom: 1em; 
	padding: 0px; color: #000; background-color: #ffffde }

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

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

a:hover { 
	color: #000; text-decoration: none; background-color: #ff0 }

a:active { 
	color: #f00 }

li a:link, li a:visited, p a:link, p a:visited {
	text-decoration: underline }

p.link a:link, p.link a:visited {
	text-decoration: none; @important }


/*===== Element property-info for HTML=====*/

h1 { 
	margin-top: 0; margin-bottom: 0.5ex; 
	padding: 2px; font-size: larger; background-color: #069; 
	color: #fff; text-indent: 0.5em; clear: both }

h2 {
	margin-top: 1em; padding-bottom: 5px; font-size: medium }

h2#index { 
	background: #ffb; color: #000; padding: 1px 1em;
	border-top: solid 1px #069; border-bottom: solid 1px #069; 
	margin-top: 1em; margin-bottom: 0.5ex }

h2.index { 
	background: #ffb; color: #000; padding: 1px 1em;
	border-top: solid 1px #069; border-bottom: solid 1px #069; 
	margin-top: 1em; margin-bottom: 0.5ex }

pre.ans { 
	margin: 1em; padding: 1em; background: #ffc; color: #000;
	text-align: left; white-space: pre; font-size: 1em; 
	border: 1px solid #000 }

#logo {
	margin: 0; padding: 0; float: left }

.link  { 
	margin: 0; padding-top: 1ex; padding-right: 0.5em; 
	text-align: right; font-size: small; letter-spacing: 0 }
p,li,dd {
	line-height: 130%; letter-spacing: 1px }

p.nm { 
	margin: 0; padding: 0 }

p.idt { 
	margin: 0px; padding: 0px; text-indent: 1em }

p.idt2 {
	margin-bottom: 0; text-indent: 1em }

p.idt3 {
	text-indent: 1em }

p.idt4 { margin-top: 0; text-indent: 1em }

p#footer { 
	margin: 1em ; font-size: smaller; text-align: center; font-family: monospace; 
	font-weight: bold }

address { 
	color: #069 }

span { color: #069 }

dl,dt,dd { 
	margin: 0px; padding: 0px }

dt { 
	text-indent: 1em; padding-top: 1em }

dd { 
	text-indent: 2em }

ul.nonemarker {
	margin: 0; padding: 0; list-style: none }

/*===== ETC property-info =====*/
code { font-size: 1em }

.small { 
	font-size: 90%; color: #000 }

.x-small { 
	font-size: xx-small; color: #000 }

.pad { padding-left: 2em; padding-right: 2.5em }

.ra { color: #f00 }
.gr { color: #069 }

#imleft { float: left; margin-right: 1ex; bargin-bottom: 1em }

/*===== Division property-info =====*/

.body { 
	margin-top: 0.5ex; line-height: 130% }

#foot { 
	text-align: center; font-weight: bold; font-size: smaller }

#bottom {
        margin: 0; font-size: 90% }