@charset "utf-8";

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

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

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

h3 {
	clear: both;
	margin: 1ex 0 0 0;
	padding: 0 0 0 1ex;
	font-size: small;
	font-weight: bold;
	color: black;
	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: black;
}

p {
text-indent: 1em;
}
/*
 * DL
 */
dl.pe {
}
dl.pe dt {
    font-weight: bold;
    border-bottom: solid 1px #cccccc;
    color: #999999;
    margin-top: 1em;
}

dl.pe dd {
    border: solid 1px #cccccc;
    padding: 1em;
    margin-left: 0em;
    margin-top: 0.5em;
}
/*
 * 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
}

pre.java em {
	color: #ff0000;
	font-style: normal;
}

pre {
  font-family: monospace, serif;
  _font-family: 'courier new', monospace;
  font-size: 0.8125em;
}

/* 空欄 */
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;
}

/* 定理 */
div.thm {
	clear: both;
	margin: 1em;
	padding: 0ex;
	color: black;
	background: #f8f8ff;
	border: ridge 2px #666666;
}

div.thm p{
	padding: 0 0 0 1ex;
}

div.title {
	margin: 0em;
	padding: 0.5ex 0 0 1ex;
    font-weight: bold;
	border-bottom: solid 1px #ccccff;
}

div.problem {
	margin: 1ex 1em 0 1em;
	padding: 1ex;
	border: solid 1px #999999;
}
div.problem::before {
    content: "問題 ";
    font-weight: bold;
}