/*
 * koeki-u.ac.jp Pragmatic Programming 2012
 *
 */
@charset "euc-jp";
@import url("../pf1/pf.css");
body {background: #d3f4ed url(r3.png); font-family: "y.ozfont", "ipamincho";}
h1 {color: #006040;}
h2 {color: #204b20;}
h3 {color: navy; border-left: 1ex solid navy; padding-left: 1ex;}
h2:before {content: "¢¡";}
h3:before {content: "¡þ";}
h4:before {content: "¢£";}

table.plan a+span {visibility: hidden;}
table.plan a:hover+span {visibility: visible;}
table.plan td:first-child {text-align: right; padding-right: 1em;}
address {
  margin-top: 1em; border-top: 3px double black;
}
dt {background: #ddf; padding-left: 1ex;}

/* for illustration of geometry manager */
table.geom {text-align: center; width: 14em;}
td.widget {background: silver;}
pre span.stderr {color: #fcc; text-decoration: underline;}

table.border tr:first-child th {background: #afe;}
table.tdtop td {vertical-align: top;}

table.presc, table.presc tr, table.presc td {
  color: white; margin: 0; padding: 0; line-height: 1em; white-space: pre;
  font-family: courier;
}
table.fr td:first-child {text-align: right; padding: 0;}

td.pre {white-space: pre;}
table.flow {border-collapse: collapse;}
table.flow td {width: 11em; vertical-align: top; padding: 0.2ex 1ex;}
table.flow td.tb {border-top: 1px solid;}
table.flow td.bb {border-bottom: 1px solid;}
table.flow td.rb {border-right: 1px solid;}
table.flow td.b {border: 1px solid;}
table.boldborder td {
  border-width: medium; border-style: dotted; padding: 1ex 1em;
}

table.td3em td {min-width: 3em; text-align: center;}
li p {margin: 2ex 0.5ex;}

div.global {margin: 0; background: white;}
div.function {background: #efea9e; border: 1px dotted;}
div.block {background: #bae491; border: 1px dashed; margin-right: 1em;}

*.index {}
*.conceptindex {display: none;}
