/* * Default CSS Definitions for Lecture Note * (C)2009-2017 by HIROSE, Yuuji [yuuji>a<gentei.org] * $HGid$ */ /* * 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; } @media screen { .screen .uc, .screen span.sc, .screen kbd {color: yellow;} .screen kbd.ret:after {color: yellow;} .screen kbd.eof:after {background: white; color: brown;} .screen span.rc:before {color: white;} .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;} .e {color: red;} .see {color: blue;} .screen .e {color: cyan;} .notice {color: red;} } .screen span.uc:before {content: "% "; color: white;} .screen span.sc:before {content: "# "; color: white;} .screen kbd.ret:after {content: "[Return]";} .screen kbd.eof:after {content: "[C-d]";} .screen span.rc:before {content: "> ";} .m0 {margin: 0;} .u, .ul {text-decoration: underline;} .large {font-size: large;} .xlarge {font-size: x-large;} .small {font-size: smaller;} .xsmall {font-size: x-small;} .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 3ex; border: 1px solid navy; xx_list-style-position: inside; /* for ul */ } .notice {font-size: 120%;} .monolog {font-size: 80%;} .list { background-color: #fffff0; /* ivory */ margin-left: 5%; margin-right: 5%; padding: 0px 1ex; } body > .list {clear: both;} /* XXXX - 2017/11/26 */ div.list {margin-top: 2ex; margin-bottom: 2ex;} 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;} .list table, .list table * {margin: 0;} 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;} p.caption {text-indent: 0; text-align: center; background: #e9fae6; color: black;} p.caption:before {content: "▲ "; color: #884;} p.caption:after {content: " ▲"; color: #884;} p.caption {margin-top: 0; margin-bottom: 0; clear: both;} table.border, table.border td, table.border th, table.border tr { border: 1px solid; border-collapse: collapse; padding: 0.2ex 0.5ex; vertical-align: top; } table.wide {min-width: 95%;} table.wide th {text-align: left;} 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;} th {background: #77ee88;} 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, p.footer {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 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: "(*)";} /* Spread Sheet Emulation */ table.calc {background: white;} table.calc tr:first-child, table.calc th { xbackground: -prefix-linear-gradient(top, blue, white); background: linear-gradient(to right, #ddd, #aaa); } table.calc td, table.calc th { min-width: 5em; vertical-align: bottom; border-color: #aaa; } table.calc tr.number td {text-align: right;} /* twocolumn */ div.fl50 { float: left; width: 49%; margin-right: 1%; } div.fl50+div { border-left: dashed 1px #443; margin-left: 50%; padding-left: 1%; } div.fl50 p:first-child, div.fl50+div p:first-child { text-align: center; background: #aaf; width: 80%; margin-left: auto; margin-right: auto; } div.fl50+div p:first-child {background: #faa;} div.fl50 pre, div.fl50+div pre {overflow: auto;} li+li {clear: both;}