/*
 * Default CSS Definitions for Lecture Note
 * (C)2009, 2010, 2018 by HIROSE, Yuuji [yuuji>a<gentei.org]
 * $HGid$
 * Last modified Wed Nov 21 08:05:46 2018 on firestorm
 * Update Count: 85
 */

@media screen {
  em  {color: red; text-decoration: underline;}
}

/*
 * text-indent
 */
h1+p, h2+p, h3+p, p+p, p.n {text-indent: 1em}
p.noindent {text-indent: 0;}

/*
 * other
 */
blockquote {
  background-color: #fffacd; /* lemonchiffon */
  margin-left: 2em;
  border: 1px none black;
  padding: 0px 1ex;
}
blockquote p {width: 80ex; white-space: pre;}
.screen {
  color: white;
  background-color: #655;
  margin-left: 1%;
  border: 1px none black;
  padding: 0px 1ex;
}

.screen span.uc:before {content: "% "; color: white;}
.screen span.sc:before {content: "# "; color: white;}
.screen .uc, .screen span.sc, .screen kbd {color: yellow;}
.screen kbd.ret:after {color: yellow; content: "[Return]";}
.screen span.rc:before {color: white; content: "> ";}
.screen span.rc {color: yellow;}
.screen var {color: cyan;}

.screen a:link {color: #9f9;}
.screen a:visited {color: #7e7;}

.e {color: red;}
.u {text-decoration: underline;}
.see {color: blue;}
.bad {color: #d00;}
.large {font-size: large;}
.xlarge {font-size: x-large;}
p.url, .small {font-size: smaller;}
p.url {margin: 0; padding: 0;}
.xsmall {font-size: x-small;}
.screen .e {color: cyan;}
.screen .see {color: #dfa;}
.shout {text-align: center; font-size: 150%;}
.notice, .topic {
  background-color: #fff8dc; /* cornsilk */
  margin-left: 1em; padding: 0 0.5ex;
  border: 1px solid navy;
}
.notice {color: red; font-size: 120%;}
.monolog {font-size: 80%;}

.list {
  background-color: #fffff0; /* ivory */
  margin-left: 5%; margin-right: 5%;
  padding: 0px 1ex;
}
li .list, li .screen {margin: 0.5ex;}
.list code, .pre {white-space: pre;}
.list span.see {color: blue; /* more specific */}
.list span.string {color: #060;} /* Dark green */
pre.scroll {overflow: auto;}
.u, span.rootcmd+span {
  color: yellow;
}
div.sample {
  margin-left: 2em;
}

table.border, table.border td, table.border th, table.border tr,
td.border {
  border: 1px solid; border-collapse: collapse;
  padding: 0.1ex 0.5ex; vertical-align: top;
}
table.border {margin-left: 2em;}
table.vtop td {vertical-align: top;}
tr.head {background: #fdf;}
td+td {padding-left: 1em;}
table.td1pre td:first-child {white-space: pre;}
table.td2pre td:first-child+td {white-space: pre;}
table.td2c td:nth-child(2),
table.td3c td:nth-child(3) {text-align: center;}

p.fl {float: left; margin-right: 1em;}
p.fr {float: right; margin-left: 1em;}
p.fl+p, p.fr+p {clear: none;}
h2, h3, h4, p.clear {clear: both;}
*.c {text-align: center;}
*.wbg {background: white;}
*.right {text-align: right;}
address {margin-top: 1ex; border-top: 1px solid black; padding-top: 0.4ex;}

.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;}
pre {background: white; border: solid 1px #777; padding: 0.4ex;}