@charset "UTF-8";

@media screen {
	p {
		line-height: 150%;
	}
	li {
		margin-bottom: 0.5em;
	}
	dt {
		margin-top: 1.5em;
		margin-bottom: 0.3em;
	}
}

pre {
	padding: 1.5ex;
	font-size: 120%;
	font-weight: bolder;
	background-color: lavender;
}
/*code { font-size: 100%; font-weight: bold; background-color: lavender; }*/
code {
	color: maroon;
	font-family: "ＭＳ ゴシック", monospace;
	font-weight: bolder;
	font-size: 110%;
}

caption {
	font-size: 120%;
	font-weight: bolder;
}
/*td { padding-right: 1em; }*/

table.general, table.general td {
	border: 2px solid gray;
	border-collapse: collapse;
	border-spacing: 0px;
	padding: 0.5em;
	text-indent: 0em;
}
table.general th {
	border: 2px solid gray;
	border-collapse: collapse;
	border-spacing: 0px;
	padding: 0.5em;
	text-indent: 0em;
	text-align: center;
}

/* 枠のあるボックス */
div.box, p.box {
	background-color:ghostwhite;
	/*background-color: white;*/
	border: thin solid black;
	margin: 1.5em;
	padding: 1em;
}

.large { font-size: 120%; }
.larger { font-size: 140%; }
.largest { font-size: 160%; }
.small { font-size: 90%; }
.smaller { font-size: 80%; }
.smallest { font-size: 70%; }

p.indent1, div.indent1 { padding-left: 4em; }
p.indent2, div.indent2 { padding-left: 8em; }
p.indent3, div.indent3 { padding-left: 12em; }

.attention { color: red; font-weight: bold; }
.emph { color: fuchsia; font-weight: bold; }

ul.lispace li { padding-bottom: 1.5ex; }
ol.lispace li { padding-bottom: 1.5ex; }

dd { padding-bottom: 1.5ex; }
dt { color: blue; font-size: 110%; font-weight: bolder; padding-bottom: 0.5ex; }


body {
	background-color:ghostwhite;
	/*background-color: honeydew;*/
	color:black;
	font-family: "ＭＳ Ｐ明朝", serif;
}

br.clearboth {
	clear: both;
}

/* 文書の見出し構造 */

h1 {
	text-align: center;
	/*background-color:lightgrey;*/
}

div.authors {
	text-align: center;
	margin-bottom: 2em;
}

div.abstract {
	margin-left: 10%;
	width: 80%;
	font-family: "Times New Roman";
}

span.abstract {
	font-weight: bold;
}

div.keywords {
	margin-left: 10%;
	width: 80%;
	font-family: "Times New Roman";
	/*font-style: italic;*/
}

span.keywords {
	font-weight:bold;
}

h2 {
	background-color:pink;
	clear:both;
}

div.chapter {
	margin-left:1em;
	background-color:lavenderblush;
}

h3 {
	background-color:aquamarine;
	clear:both;
}

div.section {
	margin-left:1em;
	background-color:honeydew;
}

h4 {
	background-color:deepskyblue;
	clear:both;
}

div.subsection {
	margin-left:1em;
	background-color:lightcyan;
}

div.index {
	background-color:seashell;
}

div.bibliography {
	background-color:mistyrose;
}

/* hnタグ内リンク */
h2 a {
	text-decoration:none;
	color:black;
}
h3 a {
	text-decoration:none;
	color:black;
}
h4 a {
	text-decoration:none;
	color:black;
}


/* 「図」関係 */
table.figure {
	margin-top:1em;
	margin-bottom:1em;
}


/* 「演習」関係 */
div.exercise {
	text-indent: 0em;
	font-size: 110%;
	border: thin solid black;
	/*margin: 10px;*/
	padding: 10px;
}
span.exercise {
	font-size: 110%;
	font-weight: bold;
}


/* 「課題」関係 */
div.assignment {
	background-color: lemonchiffon; /*moccasin;*/
	text-indent: 0em;
	font-size: 110%;
	border: thin solid black;
	/*margin: 10px;*/
	padding: 10px;
}
span.assignment {
	font-size: 110%;
	font-weight: bold;
}


/* 用語 */
span.term {
	color: fuchsia;
	font-weight: bolder;
	font-size: 108%;
}

/* プログラムリスト */
table.codelist {
	width: 90%;
	max-width: 60em;
	min-width: 30em;
}
table.codelist pre {
	padding: 2ex;
	border: double black 3px;
}



/* 「コマンド」関係 */
div.command, div.command p {
	font-size: 110%;
	text-indent: 0em;
	margin-left: 0em;
}
span.commandswitch {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
}
table.commandswitch {
	margin-left: 1em;
}
td.switch-spec {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
	color: dark-red;
	vertical-align: top;
}
td.switch-description {
	padding-left: 4em;
	padding-bottom: 1.5em;
	color: black;
	vertical-align: top;
}

div.commandusage, div.commandusage p {
	font-size: 110%;
	text-indent: 0em;
	margin-left: 0em;
}
span.commandusage {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
}
table.commandusage {
	margin-left: 1em;
}
td.usage-spec {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
	color: dark-red;
	vertical-align: top;
	width: 35%;
	min-width: 30%;
	max-width: 60%;
}
td.usage-description {
	padding-left: 3em;
	padding-bottom: 1.5em;
	color: black;
	vertical-align: top;
	min-width: 35%;
	max-width: 65%;
}

div.commandps, div.commandps p {
	font-size: 110%;
	text-indent: 0em;
	margin-left: 0em;
}
span.commandps {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
}
span.commandps-title {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	color: dark-red;
}
div.commandps-description {
	margin-left: 2em;
	color: black;
}


/* 「例」関係 */
div.example {
	text-indent: 0em;
	margin-left: 0em;
	font-family: "ＭＳ ゴシック", sans-serif;
	/*font-weight: bold;*/
}
div.example-command {
	text-indent: 0em;
	margin-left: 1em;
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
	color: dark-red;
}
div.example-description {
	text-indent: 0em;
	margin-left: 4em;
	font-family: "ＭＳ Ｐ明朝", serif;
	font-weight: normal;
	color: black;
}
div.example-output {
	text-indent: 0em;
	margin-left: 5em;
	font-family: "ＭＳ 明朝", serif;
	font-weight: normal;
	color: black;
}
table.example {
	margin-left: 1em;
}
td.example-command, td.example-output {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 110%;
	color: dark-red;
	vertical-align: top;
	width: 50%;
	min-width: 45%;
	max-width: 65%;
}
td.example-description {
	padding-left: 3em;
	color: black;
	vertical-align: top;
	min-width: 30%;
	max-width: 50%;
}


/* ワイルドカードとリダイレクト */
td.wildcard {
	font-size: 120%;
	font-weight: bold;
	text-align: center;
	width: 15em;
}

td.redirect {
	font-size: 120%;
	font-weight: bold;
	text-align: center;
	width: 6em;
}


/* プログラムコード */
div.programcode {
	border: thin solid black;
	/*margin: 10px;*/
	padding: 0px 15px;
}


/* プロンプト */
span.prompt {
	color: royalblue;
}

/* タイプ文字 */
span.texttt {
	font-family: "ＭＳ ゴシック", sans-serif;
	font-weight: bold;
	font-size: 120%;
	background-color: inherit;
}