/*
 * koeki-u.ac.jp Programming Fundamentals I 2007
 *
 */
@media print {
  @page	{margin: 10%; marks: crop;}
  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; }
  p {margin: 1ex 1;}
  .list {border: dashed black; border-width: 0 1px 1px 0; padding: 0;}
  .screen {border-left: 2px dotted black; padding-left: 0.4ex;}
}
body {background: #8dd;}
h1 {text-align: center; color: #005020; clear: both;}
/* h1:before {
    content: "第" counter(lecture) "講";
    counter-increment: lecture; counter-reset: section;
} */
h2 {text-decoration: underline; color: #008b00;
    border-top: solid thin black; /* margin-right: 30%; */
    padding-top: 1ex; clear: both;}
h3 {color: navy; clear: both;}
h4 {clear: both;}
a:hover, a:visited:hover {
    border: solid thin navy; background: #ffe6d3;
}
p {margin-top: 0.2em; margin-bottom: 0.2em;}
h1+p, h2+p, h3+p, h4+p, p+p, .notice+p, p.n {
  text-indent: 1em; margin-top: 0.5ex;
}
p.noindent {text-indent: 0;}
ol p, ul p {text-indent: 0pt;}
ol ol {list-style-type: katakana-iroha;}
li {margin-top: 0.5ex; margin-bottom: 0.5ex;}
em {color: #a22; text-decoration: underline; font-weight: bold;}
dl em, ul em {color: red; text-decoration: none;}
var {color: green;}
.e {color: tomato; text-decoration: underline;}
.diff, .r {
   color: brown; background-image: url(../ir/img/mesh.png);
}
strong {background-color: pink;}
.ul {text-decoration: underline;}
kbd, .u, .see {color: #00c;}
.screen kbd {background: white; padding: 2px 4px; color: #44f;}
pre {line-height: 1.1em;}
table {empty-cell: show; margin: 1.5 1;}
code, pre {font-family: courier; /* letter-spacing: 0px; */ }
.ret {color: yellow;}
.c {text-align: center;}
.small {font-size: smaller;}
.em5 {width: 5em;}
.em10 {width: 10em;}
.var {background: cyan; text-align: center;}
.val {background: peachpuff; text-align: center;}
.spc {background: pink;}
.hash {border: medium dashed blue;}
.right {text-align: right;}
.red {color: #cd3333;}
.blk {color: black;}

/* binary and hexadecimal */
.on {background: yellow;}
.tdc td, .tdctd {text-align: center; font-family: monospace;}
.tdcfw td, .tdcfwtd {text-align: center; font-family: monospace; width: 2.5em;}
.em5td	td {text-align: center; width: 5em;
		font-family: monospace; vertical-align: top;}
.optdesc {margin-left: 1.5em;}
.optdesc td {width: 5em; vertical-align: top;}
.optdesc td + td {width: auto;}

.notice {
   background-color: beige; color: black; font-size: 95%;
   margin-left: 5%; margin-top: 1ex; margin-bottom: 1ex;
   border: 1px solid navy;
   padding: 1ex 2em; text-indent: 0;
}
.footnote {
   background-color: #e2f4b0; color: navy; font-size: 80%;
   width: 50%; float: right;
   border: 1px solid brown;
   margin: 0.5ex; padding: 1ex 2em;
}
.footnote + p {margin-top: 5em;}

.screen {
   background-color: #606060; color: white;
   margin-left: 5%;
   /* border: 1px none navy; */
}
.screen .u, .screen span.uc {color: yellow;}
.screen .rev {color: black; background: white;}
.screen var {color: yellow; font-style: italic;}
.screen pre {padding: 0.3ex 1;}
span.uc:before {content: "% "; color: white;}
.screen span.sc {color: #8ff;}
span.sc:before {content: "# "; color: 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%;
  padding: 0px 1ex;
}
li .list, li .screen {margin: 0.5ex;}
.list code, .pre {white-space: pre;}
.advanced {
   background-color: beige; color: black; font-size: 80%;
   margin-left: 1ex;
   border: 1px dotted navy;
   padding: 1ex 1em;
}
.advanced:before {content: "★発展★";}
.advanced .list {margin-left: 2%; margin-right: 2%; font-size: 90%;}
.advanced h2 {border: 0; padding-top: 0;}

/* sample環境 例示 */
.sample {
  margin: 1ex 2em; padding-left: 1ex;             
  text-indent: 0;                                                               
}
/* ちょっと気を引くための topic */
.topic {
  background: #fcc;                                                             
  margin-left: 2em; margin-right: 2em; padding: 0.4ex; text-indent: 0;                              
}
.indent {margin-left: 3em;}
.modeline {background: #fffff0;}                                                


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

.rfloat {
   width: 40%; float: right;
}
.lfloat {
   width: 40%; float: left;
}
.border, .border td, .border th {
	border: 1px solid; border-collapse: collapse;
        padding: 3px 4px 5px 4px;
}
.cursor {border: 1px solid; padding: 1.2 1;
	border-left: 3px double; }