/*
 * Default CSS Definitions for Lecture Note
 * (C)2009, 2010 by HIROSE, Yuuji [yuuji>a<gentei.org]
 * $HGid: default.css,v 49747e2080c1 2015-02-11 12:11 +0900 yuuji $
 * Last modified Wed Feb 11 12:10:15 2015 on firestorm
 * Update Count: 72
 */

/*
 * 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; clear: both;
}

h3.q:before {
    content: "جل" counter(question) ". ";
}
h3.q {
    color: #008;
    counter-increment: question;
}

.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;}
.large {font-size: large;}
.xlarge {font-size: x-large;}
.small {font-size: smaller;}
.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; clear: both;
}
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 */
.list var {color: 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 {
  border: 1px solid; border-collapse: collapse;
  padding: 0.1ex 0.5ex;
}
table.border {margin-left: 2em;}
table.vtop td, table.vtop th {vertical-align: top;}
tr.head {background: #fdf;}
td, th {padding-right: 1ex; padding-left: 1ex;}

div.fl, p.fl {float: left; margin-right: 1em; margin-top: 0;}
div.fr, p.fr {float: right; margin-left: 1em;}
p.fl+p, p.fr+p {clear: none;}
h2, p.clear {clear: both;}
*.c {text-align: center;}
*.framebox {border: 1px solid black; padding 0.2ex;}
*.right {text-align: right;}
address {clear: both;
 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;}