@charset "UTF-8";
@namespace url(http://www.w3.org/1999/xhtml);
@namespace math url(http://www.w3.org/1998/Math/MathML);
@namespace mono url(http://www.iki.fi/~decoy/shared/namespace/dc-mono);

/*
@font-face {font-family: "Eras Medium ITC"; src: url(/shared/fonts/ERASMD.TTF);} 
@font-face {font-family: "Trebuchet MS"; src: url(/shared/fonts/trebuc.ttf);} 
@font-face {font-family: "Lucida Sans Unicode"; src: url(/shared/fonts/l_10646.ttf);} 
@font-face {font-family: "Lucida Sans"; src: url(/shared/fonts/LSANS.TTF);} 
@font-face {font-family: "Verdana"; src: url(/shared/fonts/verdana.ttf);} 
@font-face {font-family: "Tahoma"; src: url(/shared/fonts/tahoma.ttf);} 
@font-face {font-family: "Swiss 721 SWA"; src: url(/shared/fonts/TT3004M_.TTF);} 
@font-face {font-family: "Arial Unicode MS"; src: url(/shared/fonts/ARIALUNI.TTF);} 
@font-face {font-family: "MS Gothic"; src: url(/shared/fonts/MSGOTHIC.TTF);} 
@font-face {font-family: "Georgia"; src: url(/shared/fonts/georgia.ttf);} 
@font-face {font-family: "Zapf Calligraphic 801 SWA"; src: url(/shared/fonts/TT3013M_.TTF);} 
@font-face {font-family: "Goudy Old Style"; src: url(/shared/fonts/GOUDOS.TTF);} 
@font-face {font-family: "Bookman Old Style"; src: url(/shared/fonts/BOOKOS.TTF);} 
@font-face {font-family: "Times New Roman"; src: url(/shared/fonts/times.ttf);} 
@font-face {font-family: "MS Mincho"; src: url(/shared/fonts/MSMINCHO.TTF);} 
@font-face {font-family: "Bitstream Cyberbit"; src: url(/shared/fonts/Cyberbit.ttf);} 
@font-face {font-family: "Symbol"; src: url(/shared/fonts/symbol.ttf);} 
@font-face {font-family: "MT Extra"; src: url(/shared/fonts/MTEXTRA.TTF);} 
@font-face {font-family: "Code2000"; src: url(/shared/fonts/CODE2000.TTF);} 
@font-face {font-family: "MS LineDraw"; src: url(/shared/fonts/LINEDRAW.TTF);} 
@font-face {font-family: "Courier New"; src: url(/shared/fonts/cour.ttf);} 
@font-face {font-family: "Courier"; src: url(/shared/fonts/courf__0.FON);} 
@font-face {font-family: "cmex10"; src: url(/shared/fonts/EBTEX10.TTF);} 
@font-face {font-family: "Symbol"; src: url(/shared/fonts/symbolf0.FON);} 

...@font-face {font-family: "Shin Go"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Helvetica"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Times Roman"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Ryumin Light-KL"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Code2001"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Andale Mono"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Everson Mono"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Osaka Monospaced"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "cmsy10"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Math1"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Math2"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Math3"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Math4"; src: url(/shared/fonts/...);} 
...@font-face {font-family: "Math5"; src: url(/shared/fonts/...);} 
*/

* {letter-spacing:inherit; list-style-type:inherit; background:transparent none repeat scroll 0 0; margin:0; padding:0; border:0 solid #000000; cursor:inherit; text-align:inherit}
 *|* {letter-spacing:inherit; list-style-type:inherit; background:transparent none repeat scroll 0 0; margin:0; padding:0; border:0 solid #000000; cursor:inherit; text-align:inherit}
html {font-size:small; empty-cells:show; caption-side:top; border-collapse:separate; border-spacing:0.5mm; list-style-image:none; list-style-position:outside; font-size-adjust:0.7; text-align:justify; color:#000000}

*:link,*:visited {text-decoration:underline; cursor:pointer}
*:link:active,*:visited:active {color:#FF0000}
*:link {color:#0000FF}
*:visited {color:#800080}

hr,fieldset,form,legend,option,optgroup,select,img.standalone,.full-width {display:block}
 mono|sidebar,mono|note,math|math[mode=display],math|merror {display:block}
dt {display:compact}

blockquote.literary>p:before,blockquote.literary>pre:before,math|ms:before {content:open-quote}
blockquote.literary>p:after,blockquote.literary>pre:after,math|ms:after {content:close-quote}

math|merror {white-space:pre}
div.verse p {white-space:nowrap}

td,th,tr,pre {overflow:hidden}

table,dd {margin-top:0}
blockquote {margin-top:2em}
table,caption,dt,dl,ol,p,pre,ul,.top,.tight,div.intro,noscript,fieldset,form,legend,option,optgroup,select,textarea,div:first-child,.cite-source {margin-top:0.5mm}
 mono|sidebar:first-child,mono|note:first-child,input[type=text],input[type=password],input[type=file] {margin-top:0.5mm}
p.stamp {margin-top:2mm}
hr {margin-top:2.5mm}
 math|math[mode=display],math|merror {margin-top:2.5mm}
h1,h2,h3,h4,h5,h6,address,div,.bottom,.height-middle {margin-top:5mm}
 mono|sidebar,mono|note {margin-top:5mm}

hr,.center {margin-right:auto}
.right {margin-right:0}
.tight {margin-right:0.5mm}
dt,.left,.width-middle {margin-right:2.5mm}
 table.left>caption {margin-right:2.5mm}
div.definition {margin-right:5mm}
.cite-source {margin-right:10ex}

caption,dd,.verse p {margin-bottom:0}
dl,ol,pre,p,table,ul,.top,.height-middle,div.intro,.verse div {margin-bottom:1.1em}
blockquote {margin-bottom:2.2em}
h1,h2,h3,h4,h5,h6,dt,.tight,.bottom {margin-bottom:0.25mm}
 div.figure>p {margin-bottom:0.25mm}
option {margin-bottom:0.5mm}
 input:last-child[type=text],input:last-child[type=password],input:last-child:last-child[type=file],math|math[mode=display]:last-child,address:last-child,dd:last-child,dl:last-child,h1:last-child,h2:last-child,h3:last-child,h4:last-child,h5:last-child,h6:last-child,ol:last-child,p:last-child,pre:last-child,table:last-child,ul:last-child,noscript:last-child,fieldset:last-child,form:last-child,legend:last-child,optgroup:last-child,select:last-child,textarea:last-child,math|merror:last-child {margin-bottom:0.5mm}
hr,noscript,fieldset,form,legend,optgroup,select,textarea {margin-bottom:2.5mm}
 input[type=text],input[type=password],input[type=file],math|math[mode=display],math|merror {margin-bottom:2.5mm}
address {margin-bottom:5mm}
 div[class],mono|sidebar,mono|note {margin-bottom:5mm}
div.verse {margin-bottom:10mm}

hr,.center {margin-left:auto}
div h1,div h2 {margin-left:-8mm}
div div,.left,.compare-to {margin-left:0}
.tight {margin-left:0.25mm}
.right,.width-middle {margin-left:2.5mm}
 table.right>caption {margin-left:2.5mm}
blockquote,div.definition,div.verse {margin-left:5mm}
 li>ul,li>ol,dd>ul,dd>ol,td>ul,th>ul,td>ol,th>ol,optgroup>option {margin-left:5mm}
div {margin-left:8mm}
ul,ol,dd,div.sidebar,div.quote {margin-left:10mm}
 mono|sidebar,mono|note {margin-left:10mm}

fieldset,form,optgroup,select,.tight {padding-top:0}
h1,h2,h3,h4,h5,h6,ul,ol,dl,li,td,th,caption,div.sidebar,div.note,pre.blockdata,option,legend,textarea {padding-top:0.25mm}
 mono|sidebar,mono|note,input[type=text],input[type=password],input[type=file] {padding-top:0.25mm}
div.theorem {padding-top:1mm}
div.definition {padding-top:2.5mm}
body {padding-top:10mm}

fieldset,form,optgroup,select,.tight {padding-right:0}
th,li,h1,h2,h3,h4,h5,h6,caption,div.sidebar,div.note,pre.blockdata,div.theorem,option,legend,textarea,body,div.theorem {padding-right:1mm}
 mono|sidebar,mono|note,input[type=text],input[type=password],input[type=file] {padding-right:1mm}
div.definition {padding-right:5mm}
body {padding-right:8mm}

fieldset,form,optgroup,select,fieldset,form,optgroup,select {padding-bottom:0}
body,h1,h2,h3,h4,h5,h6,ul,ol,dl,li,td,th,caption,div.sidebar,div.note,pre.blockdata,option,legend,textarea {padding-bottom:0.25mm}
 mono|sidebar,mono|note,input[type=text],input[type=password],input[type=file] {padding-bottom:0.25mm}

body.old,body.empty,body.draft {padding-left:30px}
.tight {padding-left:0}
td,th,li,caption,td.level1,th.level1,div.sidebar,div.note,pre.blockdata,div.theorem,option,legend,textarea {padding-left:1mm}
 mono|sidebar,mono|note,input[type=text],input[type=password],input[type=file] {padding-left:1mm}
td.level2,th.level2 {padding-left:3mm}
td.level3,th.level3,div.definition {padding-left:5mm}
body {padding-left:6mm}
td.level4,th.level4 {padding-left:7mm}
div h1,div h2 {padding-left:8mm}
td.level5,th.level5 {padding-left:9mm}
td.level6,th.level6 {padding-left:11mm}

.tight {border-top-width:0}
select,button,legend,textarea,div h1,div.note,div.sidebar,div.figure p,tr.div.definition,p.stamp,hr {border-top-width:0.25mm}
 singlesep>*>tr>td,mono|sidebar,mono|note,input[type=text],input[type=password],input[type=submit],input[type=reset],input[type=button],input[type=checkbox] {border-top-width:0.25mm}
pre.blockdata,fieldset {border-top-width:0.5mm}

.tight {border-right-width:0}
select,button,textarea,div.definition {border-right-width:0.25mm}
 input[type=text],input[type=password],input[type=submit],input[type=reset],input[type=button],input[type=checkbox] {border-right-width:0.25mm}
pre.blockdata,fieldset {border-right-width:0.5mm}

.tight {border-bottom-width:0}
select,hr,legend,button,textarea,caption,h3,h4,div h1,div.note,div.sidebar,div.definition {border-bottom-width:0.25mm}
 mono|sidebar,mono|note,input[type=text],input[type=password],input[type=submit],input[type=reset],input[type=button],input[type=checkbox] {border-bottom-width:0.25mm}
pre.blockdata,fieldset {border-bottom-width:0.5mm}

.tight {border-left-width:0}
select,button,textarea,div.definition {border-left-width:0.25mm}
 input[type=text],input[type=password],input[type=submit],input[type=reset],input[type=button],input[type=checkbox] {border-left-width:0.25mm}
fieldset,pre.blockdata {border-left-width:0.5mm}

h5,h6 {border-style:none}
pre.blockdata {border-style:ridge}
p.stamp {border-style:dotted}
h4 {border-style:dashed}
hr,div.sidebar,div.note,legend,button {border-style:outset}
 mono|sidebar,mono|note,input[type=submit],input[type=reset],input[type=button] {border-style:outset}
textarea,select {border-style:inset}
 button:active,input[type=text],input[type=password],input[type=checkbox],input[type=submit]:active,input[type=reset]:active,input[type=button]:active {border-style:inset}
fieldset {border-style:groove}

caption,h1,h2,h3,h4,h5,h6,th,td,.left,div.theorem {text-align:left}
 math|mtd {text-align:left}
address,td.size,.right,.cite-source {text-align:right}
p.stamp,.center,th.category,button {text-align:center}
 input[type=submit],input[type=reset],input[type=button],math|math[mode=display],table.bfield>*>tr>th,table.bfield>*>tr>td {text-align:center}

th,td {vertical-align:top}
img {vertical-align:middle}
math|mtd {vertical-align:math}
sub {vertical-align:-20%}
 math|msub>*+* {vertical-align:-20%}
sup {vertical-align:40%}
 math|msup>*+* {vertical-align:40%}

.right {float:right}
.left {float:left}

h1,h2,h3,h4,h5,h6,div,body,table,p.stamp,.hard,.tight,.center,hr {clear:both}
 div>img,div.figure>p,mono|sidebar,mono|note,math|math[mode=display] {clear:both}
address {clear:right}

html,ul {list-style-type:disc}
ul>li>ul {list-style-type:circle}
ul>li>ul>li>ul {list-style-type:square}
ol {list-style-type:decimal}
ol>li>ol {list-style-type:lower-alpha}
ol>li>ol>li>ol {list-style-type:lower-roman}

html
h1 {font-size:140%}
big {font-size:130%}
h2 {font-size:110%}
blockquote blockquote,.compare-to {font-size:100%}
abbr,acronym,samp,kbd,code,h3,blockquote,table table,span.geekcode,div.definition,div.verse,dl,div.theorem {font-size:90%}
 mono|geekcode {font-size:90%}
table,h4,h5,h6,pre,div.sidebar,div.note,p.stamp {font-size:80%}
 div.figure>p,math|msup>*+*,math|msub>*+*,math|munder>*+*,math|mover>*+*,math|munderover>*+*,mono|sidebar,mono|note {font-size:80%}
small,sub,sup {font-size:70%}
rt {font-size:60%}

em em,dfn em,em dfn,dfn dfn,caption em,caption dfn,div.sidebar em,div.sidebar dfn,div.note em,div.note dfn,div.verse em,div.verse dfn,div.figure span.tag {font-style:normal}
 mono|sidebar em,mono|sidebar dfn,mono|note em,mono|note dfn {font-style:normal}
em,dfn,caption,blockquote,div.note,div.sidebar,div.verse,i,rt {font-style:italic}
 mono|sidebar,mono|note {font-style:italic}

th.file {font-weight:normal}
math|merror {font-weight:bold}
h1,h2,h3,h4,h5,th,strong,caption,kbd,var,div.figure span.tag,b {font-weight:bolder}
 table.bfield>*>tr>td {font-weight:bolder}

th.file {font-variant:normal}
acronym,th,p.stamp,div.figure span.tag {font-variant:small-caps}

h5,h6,div.figure span.tag,add {text-decoration:underline}
del {text-decoration:line-through}

html,dd {font-family:"Eras Medium ITC","Trebuchet MS","Lucida Sans Unicode","Lucida Sans","Verdana","Tahoma","Swiss 721 SWA","Shin Go","Arial","Arial Unicode MS","Helvetica","MS Gothic",sans-serif}
 math|mtext {font-family:"Eras Medium ITC","Trebuchet MS","Lucida Sans Unicode","Lucida Sans","Verdana","Tahoma","Swiss 721 SWA","Shin Go","Arial","Arial Unicode MS","Helvetica","MS Gothic",sans-serif}
samp,kbd,div.definition,div.sidebar,div.note,div.verse {font-family:"Georgia","Book Antiqua","Zapf Calligraphic 801 SWA","Goudy Old Style","Bookman Old Style","Times New Roman","Times Roman","Ryumin Light-KL","MS Mincho","Bitstream Cyberbit","Symbol","MT Extra","Code2000","Code2001",serif,sans-serif}
 div.figure>p,mono|sidebar,mono|note {font-family:"Georgia","Book Antiqua","Zapf Calligraphic 801 SWA","Goudy Old Style","Bookman Old Style","Times New Roman","Times Roman","Ryumin Light-KL","MS Mincho","Bitstream Cyberbit","Symbol","MT Extra","Code2000","Code2001",serif,sans-serif}
tt,pre,code,var,.multicol {font-family:"Andale Mono","Everson Mono","Osaka Monospaced","MS LineDraw",monospace}
span.geekcode {font-family:"Courier New","Courier","Osaka Monospaced","MS LineDraw","Everson Mono",monospace}
 mono|geekcode,math|merror {font-family:"Courier New","Courier","Osaka Monospaced","MS LineDraw","Everson Mono",monospace}
math|math {font-family:"cmsy10","cmex10","Symbol","MT Extra","Math1","Math2","Math3","Math4","Math5",sans-serif}

p.stamp {letter-spacing:0.35mm}

table.bfield>col {width:12.5%}
.third-width {width:33%}
.half-width {width:50%}
hr {width:95%}
table,.full-width,optgroup,select,textarea {width:100%}
 div.figure>img,input[type=text],input[type=password],input[type=file] {width:100%}

img {min-width:20mm}
 input[type=image] {min-width:20mm}

img,pre,div {max-width:100%}
 mono|sidebar,mono|note {max-width:100%}

hr {height:0}
tr.singlesep,tr.singlesep td,tr.singlesep th {height:0.5mm}

*[title] {cursor:help}

textarea {min-height:6em}

math|mtable {border-collapse:collapse}

del {color:#FF0000}
 math|merror {color:#FF0000}
span.geekcode {color:#803800}
div.verse {color:#406040}
.disposition {color:#008000}
.compare-to,p.see,p.also {color:#004890}
ins {color:#0000FF}

body,textarea,select {background-color:#FFFFFF}
 input[type=checkbox],input[type=text],input[type=password] {background-color:#FFFFFF}
tr.placeh>td {background-color:#F8F8C8}
form,div.theorem,td,div.definition {background-color:#F0F4F8}
div.note {background-color:#F0E0D0}
 mono|note {background-color:#F0E0D0}
div.sidebar {background-color:#E0E8F8}
 mono|sidebar {background-color:#E0E8F8}
table {background-color:#E0E6EA}
th {background-color:#D0D4DC}
tr.option>td {background-color:#D0DCF8}
h2 {background-color:#E0ECF8}
input[type=radio] {background-color:#C0D0F0}
h1,caption {background-color:#C0D0E0}
html {background-color:#C0C4C8}

div.note {border-color:#F0E0D0}
 mono|note {border-color:#F0E0D0}
div.sidebar {border-color:#E0E8F8}
 mono|sidebar {border-color:#E0E8F8}
select,caption,legend,fieldset,textarea,pre.blockdata {border-color:#909CC0}
 input[type=text],input[type=password],input[type=checkbox] {border-color:#909CC0}