/*
 * koeki-u.ac.jp - Theoretics on Information Design 2007
 *
 */
@media print {
  table	{page-break-inside: avoid;} /* Firefox OK??? */
  h1 {page-break-before: left;}
  h1, h2{page-break-after: avoid;}
  /* テスト印刷には line-height 1.1、
     分量確認には line-height=1.8, font-size=12pt くらい*/
  body	{ font-size: 12pt; line-height: 1.8; }
  /* body	{ font-size: 12pt;  line-height: 1.1; } */
  p {margin-top: 1ex; margin-bottom: 1ex;}
  .list {border: dashed black; border-width: 0 1px 1px 0; padding: 0;}
  .screen {border-left: 2px dotted black; padding-left: 0.4ex;}
}
@page	{margin: 10%; marks: crop;}
body {color: black; background: #fef;}
h1 {text-align: center; color: #005020; clear: both;}
h2 {text-decoration: underline; color: #008b00;
    clear: both;} /* margin-right: 30%; */
h3 {color: navy; clear: both;}
h4 {clear: both;}
/* 区切り線は h2とaddressに */
h2, address {border-top: solid black 1px; padding-top: 0.6ex;}

a {border: solid thin transparent;}
a:visited {color: #449;}
a:link {color: #00f;}
a:hover {
    border: solid thin navy; background: white;
}
a:active {color: red; background: gold;}
/* 基本パラグラフは上下に少し間隔を */
p {margin-top: 0.5em; margin-bottom: 0.5em;}
/* 新しいパラグラフはテキストインデント1字分 */
h1+p, h2+p, h3+p, h4+p, p+p, .notice+p, p.n { /* p.n は強制インデント */
  text-indent: 1em; margin-top: 0.5ex;
}
/* インデントさせないクラス p.noindent */
p.noindent {text-indent: 0;}
/* 箇条書き内のパラグラフはインデントなし */
ol p, ul p, dl p {text-indent: 0pt;}
/* ネストした番号はイロハに */
ol ol {list-style-type: katakana-iroha;}
/* liの間隔を狭めに */
li {margin-top: 0.5ex; margin-bottom: 0.5ex;}
/* li の第1行目に下線 */
ul li:first-line {text-decoration: none; background: #ffe6c3;}

/* emには下線を */
em {color: red; text-decoration: underline;}
/* ただし dl ul 内では下線はうるさいので無し */
dl em, ul em {color: red; text-decoration: none;}

/* pre {line-height: 1.1em;} */

/* varは緑 */
var {color: green;}

/* dtとddに枠 */
dl {margin-left: 2em;}
dt {
  background: transparent url("img/dt.png") no-repeat;
  border: solid 1px #fffacd;  padding: 3px; padding-left: 0.5ex;
  border-bottom: 0px; border-right: 0px;
  margin-right: 40%; margin-bottom: 0;
}
dd {
  margin: 0.5ex 2em 0.5ex 1em; background: #fed url("img/bframe.png");
  border: solid 1px #8fa; padding: 0.2ex 1ex;
}
dd li:first-line {text-decoration: none; background: #eed;}
dd table {background: #ffe;}

/* 汎用クラス */
.c {text-align: center;}          /* 中央揃え */
.right {text-align: right;}       /* 右寄せ */
.ul {text-decoration: underline;} /* 下線 */
.small {font-size: smaller;}      /* 小さく */
.em5 {width: 5em;}                /* 5em分の幅 */
.em10 {width: 10em;}              /* 10em分の幅 */
.e {color: #ff6347; text-decoration: underline;} /* 重要 */
.see {color: blue;}                             /* 着目せよ */
kbd, .u {color: #008;}            /* ユーザ入力部分 */
.spc {background: #ffc0cb;}          /* 空白文字を強調 */
.diff {                           /* 差分表示 */
   color: #a52a2a; background-image: url(../id/img/mesh.png);
}
.modeline {background: #fffff0;}
.modeline {color: black;}
.bgdark {background: #bbb;}
div.scroll {overflow: scroll;}

/* static menu: was removed once at SVN:195 */


.menu + div {position: absolute; top: 2em; width: 97%;}

/* list環境 サンプルリスト */
.list {
  background-color: #fffff0; /* ivory */
  margin-left: 1ex; margin-right: 5%;
  padding: 0px 0.7ex;
}
li .list, dl .list, li .screen {margin: 0.5ex; font-size: smaller}
/* .list code, .pre {white-space: pre;} */
.list p.c {padding: 2px 0;}
.list p.c a { /* list環境内の a は色をつけてキャプションらしく */
  background: #85e585; padding: 4px 1ex;
}
div.html {background: #ead7de url("img/html.png")}
div.css {background: #dff4b2 url("img/css.png")}

/* sample環境 例示 */
div.sample {
  /* border-left: 3px dotted #888; */
  margin: 1ex 2em; padding-left: 1ex;
  text-indent: 0;
}

/* screen環境 画面例 */
div.screen {
   background-color: #606060; color: white;
   margin-left: 1em; clear: both;
   /* border: 1px none navy; */
}
.screen span.cmd:before {content: "% ";}
.screen .u {color: #0ff; text-decoration: underline;}
.screen .uc {color: #cff;}
.screen .uc:before {color: white; content: "% "; text-decoration: none;}
.screen kbd {color: #ff0;}
.screen .rev {color: black; background: white;}
.screen var {color: yellow; font-style: italic;}
.screen pre {padding: 0.3ex;}

/* ちょっと気を引くための topic */
.topic {
  background: #fcc;
  border-left: 1px solid black;
  margin: 1ex 3em; text-indent: 0;
  /* padding: 0.4ex; */ /* comment out for ul inside of .topic */
}

/* display環境 インデントで際だたせたブロック */
div.display, div.sample {
  margin: 1ex 2.5em;
}

/* tableの汎用的定義 */
table {empty-cells: show; margin: 1.5ex 0.2ex;}
table.border, td.border, .border td, .border th {
	border: 1px solid; border-collapse: collapse;
        padding: 3px 4px 5px 4px;
}
td pre {margin: 0}   /* tableの中のpreのマージンは0 */

/*  */
table.desc {margin-left: 1.5em; border: 1px yellow solid;}
table.desc tr {background: #eba;}
table.desc td {width: 5em; padding: 2px 0.5ex; vertical-align: top;}
table.desc td + td {width: auto;}


/* .notice と .question の共通定義 */
.notice, .question {
  background-color: #f5f5dc; /* beige */ color: black;
  margin-left: 5%; margin-top: 1ex; margin-bottom: 1ex;
  border: 3px double navy;
  padding: 1ex 2em; text-indent: 0;
}
/* NOTICE! (固有部分) */
.notice {font-size: 95%;}
.notice:first-child {background: yellow;}
.notice > :first-child:before {
  content: url("img/bang.png"); vertical-align: middle; line-height: 20px;
}

/* footnote */
.footnote {
   background-color: #e2f4b0; color: navy; font-size: 80%;
   width: 50%; float: right;
   border: 1px solid #a52a2a;
   margin: 0.5ex; padding: 1ex 2em;
}
.footnote + p {margin-top: 3em;}

/* Exercise */
.exercise {
   font-size: 90%;
}

/* ボックス効果を見せるためのローカルボックス */
div.localbox {
  margin-left: 1em; border: inset black; background: #fcc; 
  position: relative; width: 20em; height: 10em; padding: 0.2ex;
}
.rfloat {width: 40%; float: right; margin-left: 0.4ex;}
.lfloat {width: 40%; float: left; margin-right: 0.4ex;}
div.localbox .rfloat, div.localbox .lfloat {
  border: thin solid white; padding: 3px; background: #eaa;
}
/* .lfloat だけ色をすこし変える */
div.localbox .lfloat {background: #dba;}

/* w3m でのリンクを示す色 */
span.w3m_a {color: #bbf;}

p.caption {
  max-width: 10em; width: 10em; text-align: center; background: #8d8;
  margin: 0 auto;
}

/* Optdesc borrowed from pf.css */
.optdesc {margin-left: 1.5em;}
.optdesc td:first-child {width: 5em; vertical-align: top;}
.optdesc td + td {width: auto;}
.td1pre td:first-child {white-space: pre; padding: 0.2ex 1ex;}
table.border tr:first-child th {background: #ffbdff;}