@charset "Shift_JIS";

body {
	width: 680px;
	margin: 2ex auto 2ex auto;
	padding: 0 0 4ex 0;
	background-color: white;
	color: navy;
	font-family: sans-serif;
	font-size: normal;
	font-weight: normal;
	border-bottom: double 3px navy;
}

applet {
	border-top: solid 1px navy;
	border-bottom: solid 1px navy;
	border-left: solid 1px navy;
	border-right: solid 1px navy;
}
#pict {
	width:680px;
	height:45px;
	margin: 0 auto 0 auto;
	padding: 0;
	background-image:url(logo.gif);
	background-repeat:no-repeat;
}

h1 {
	clear: both;
	margin: 1ex 0 0 0;
	padding: 0 0 0 5pt;
	font-size: 24px;
	font-weight: normal;
	font-family: bold;
	color: navy;
	background: white;
	border-top: solid 1px navy;
	border-bottom: solid 1px navy;
	border-left: solid 12px navy;
}

h2 {
	clear: both;
	margin: 1ex 0 0 0;
	padding: 0 0 0 1ex;
	font-size: medium;
	font-weight: bold;
	color: navy;
	background: #f0f0f0;
	border-left: solid 12px #ccccff;
}

h3 {
	clear: both;
	margin: 1ex 0 0 0;
	padding: 0 0 0 1ex;
	font-size: small;
	font-weight: bold;
	color: navy;
	border-left: solid 1px #ccccff;
	border-bottom: solid 1px #ccccff;
}

h4 {
	clear: both;
	padding: 0 0 0 0.5ex;
	margin: 1ex 0 0 0;
	padding: 0 0 0 0;
	font-size: small;
	font-weight: bold;
	color: navy;
}

div.footer {
	clear: both;
	margin 1em 0 1em 0;
	padding: 1ex 0 1em 1ex;
	border-top: solid 1px #ccccff;
	text-align: right;
	font-family: "Arial", "Times New Roman", "Times", serif;
	font-size: x-small;
	font-weight: bold;
	color: #999999;
}

/*
 * リンク
 */

a:link {
	color: blue;
}

a:visited {
	color: blue;
}

a:hover {
	color: red;
	text-decoration: underline;
}

/*
 * 説明つきフロート写真
 */
div.captionbox {
	display: block;
	float: right;
}
div.captionbox img{
	display: block;
}
div.captionbox span.caption{
	display: block;
	text-align: center;
	font-size: x-small;
}

/*
 * PRE環境
 */

pre.java {
	margin-top: 1em; margin-left: 1ex; margin-right: 1ex; margin-bottom: 1em;
	padding: 1em; border: 1px solid #000; font-size: 100%; color: #000;
	background: #efefef
}

pre.cmd {
	margin-top: 1em; margin-left: 5ex; margin-right: 5ex; margin-bottom: 1em;
	padding: 1em; border: 1px solid #000; font-size: 95%; color: #ffffff;
	background: #000000
}

/* 空欄 */
span.empty {
	margin: 0;
    padding: 0 2ex 0 2ex;
	border: 1px solid #000000;
    font-size: 90%; color: #000000;
	background: #ffffef
}

/* 入力 */
span.input {
	border-bottom: 1px solid #ffff00;
    font-size: 95%; color: #ffff00;
}
/* ブロック囲い */
span.block {
	border: 1px solid #0000ff;
    color: #000000;
}