/*
 * koeki-u.ac.jp Programming Essentials 2012
 *
 */
body {background: #fec;}
h1 {text-align: center; color: #005020;}
h2 {text-decoration: underline; color: #008b00;
    border-top: solid thin black; /* margin-right: 30%; */
    padding-top: 1ex;}
h2:first-child {border-top: none; padding-top: 0;}
h3 {color: navy;}
a:hover {background-color: lavender;}
a:hover, a:visited:hover {
    border: solid thin navy; background: #eae0d3; color: navy;
}

em {color: red; text-decoration: underline;}
var {color: green;}
pre, code {font-family: courier;}
.e {color: tomato; text-decoration: underline;}
.diff, .r {color: brown;}
strong {background-color: pink;}
.ul {text-decoration: underline;}
kbd, .u, .example, .see {color: blue;}
.ret {color: yellow;}
.c {text-align: center;}
.small {font-size: smaller;}
.em5 {width: 5em;}
.val {background: peachpuff; text-align: center;}
.hash {border: medium dashed blue;}
.who {background: ivory; vertical-align: top; text-align: right; width: 4em;}
.jii, .karo, .lbg {background: lavender;}
.hime, .tono {background: lemonchiffon;}
.heimin {background: lightcyan;}
.spc {background: pink;}
.on, .ybg {background: yellow;}

.notice {
   background-color: #e0eee0; color: black; /* font-size: 95%; */
   margin-left: 5%;
   border: 1px solid navy;
   padding: 1ex 2em;
}
.important {
   font-size: 125%;
   margin-left: 2%;
   border: 2px solid orange;
}
.topic {
   color: brown;
   margin-left: 2%; padding-left: 0.5ex; padding-right: 0.5ex;
   border: 2px solid blue;
}

.screen {
   background-color: #906060; color: white;
   margin-left: 5%;
   border: 1px none navy;
   padding: 0 0.1ex 0 0.1ex;
}
.notice .screen {
   background-color: #806060; color: white;
   margin-left: 2%;
}
.screen pre {padding: 0.2ex 0.5ex;}
.screen .u, .screen span.uc {color: cyan;}
.screen span.uc:before {color: white; content: "% ";}
.screen kbd {color: yellow;}
.screen .rev {color: black; background: white;}
.anno {color: #ffbbff; background-color: #606060;}
.fence {color: moccasin;}
.taishou {color: yellow; background-color: #5f9ea0;}


.list {
  background-color: ivory;
  margin-left: 5%; margin-right: 5%;
  border: 1px none black;
  padding: 0px 1ex;
}

table {empty-cells: show;}
table.border, .border td, .border th {
 border: 1px solid navy; border-collapse: collapse;
}