/*
 * koeki-u.ac.jp IT lecture 2002 spring
 *
 */
body {background: ivory;}
h1 {text-align: center; color: navy;}
h2 {text-decoration: underline; color: forestgreen;}
h3 {color: navy;}
a:hover {background-color: lavender;}
em {color: red; text-decoration: underline;}
.e {color: tomato; text-decoration: underline;}
var {color: #161;}
.ul {text-decoration: underline;}
kbd, .u {color: blue;}
.ret {color: yellow;}
.c {text-align: center;}
.small {font-size: smaller;}
table.slack td, table.slack th {padding-left: 1em; padding-right: 1em;}
.display {margin-left: 3em;}
div.example {
  margin-left: 2em;
}
p+p, h2+p, h3+p, p.new {text-indent: 1em;}
p.ni {text-indent: 0;}
.footnote {
	float: right; width: 40%; margin-left: 1em; background: #d99;
	font-size: small; padding: 0.3ex 1ex;
}
.footnote + * {clear: both;}

table.border, table.border tr, table.border td, table.border th {
  border: 1px solid black; border-collapse: collapse; emty-cells: show;
}
td, th {padding: 0.2ex 0.8ex;}
table.border {border-width: 2px;}
table.border tr:first-child th {border-bottom-width: 2px;}
.notice {
   background-color: beige; color: black; font-size: 80%;
   margin-left: 5%;
   border: 1px solid navy;
   padding: 1ex 2em;
}
.large {font-size: large;}

.screen {
   background-color: #606060; color: white;
   margin-left: 5%;
   border: 1px none navy;
   padding: 0.1ex 1ex 0.1nex 1ex;
}
.screen .u {color: cyan; text-decoration: underline;}
.screen .rev {color: black; background: white;}
.screen pre var {background: #edd; color: #293;}
.anno {color: #ffbbff; background-color: #606060;}
.fence {color: moccasin;}
.taishou {color: yellow; background-color: #5f9ea0;}
span.cursor {background: pink; padding: 0 1px; border: 1px solid black;}
span.u {text-decoration: underlne;}

pre span.uc:before {content: "% "; color: white;}
pre span.uc, pre span.roy {color: yellow;}
pre span.roy:before {content: "roy% "; color: white;}

.list {
  background-color: seashell;
  margin-left: 5%; margin-right: 5%;
  border: 1px none black;
  padding: 0px 1ex;
}
img.mid {vertical-align: middle;}
