/* * Default CSS Definitions for Lecture Note * (C)2009-2016 by HIROSE, Yuuji [yuuji>a<gentei.org] * $HGid$ * Last modified Mon Nov 26 13:27:47 2018 on firestorm * Update Count: 169 */ /* * 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;} what for?? */ .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 kbd.eof:after {background: white; color: brown; content: "[C-d]";} .screen span.rc:before {color: white; content: "> ";} .screen span.rc {color: yellow;} .screen var {color: cyan;} span.contline {color: blue; background: white;} .screen a:link {color: #9f9;} .screen a:visited {color: #7e7;} .m0 {margin: 0;} .e {color: red;} .u, .ul {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: #bfe; color: #242; xborder: 1px solid white; background: #fff;} .shout {text-align: center; font-size: 150%;} .notice, .topic { background-color: #fff8dc; /* cornsilk */ margin-left: 1em; padding: 0 0.5ex; border: 1px solid navy; xx_list-style-position: inside; /* for ul */ } .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, div.indent { margin-left: 2em; } .ln pre code:before { content: counter(ln); text-align: center; min-width: 2ex; padding-right: 2ex; xxborder: 1px solid; } .ln pre {counter-reset: ln;} .ln pre code { counter-increment: ln; margin-left: 4ex;} table.border, table.border td, table.border th, table.border tr { border: 1px solid; border-collapse: collapse; padding: 0.1ex 0.5ex; vertical-align: top; } 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;} table.fl, 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;} p.clear {padding-top: 1em;} *.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;} td.nolab {color: #a88;} .footnote { background-color: #e2f4b0; color: navy; font-size: 80%; width: 50%; float: right; border: 1px solid brown; margin: 0.5ex 0 0.2ex 1ex; padding: 1ex 2em; } .footnote + p {margin-top: 5em;} .footnote + p.nogap {margin-top: 0em;} /* footnote mark */ a.ast {text-decoration: none; color: black;} a.ast:after {content: "(*)";}