/*
     FILE ARCHIVED ON 4:16:53 Dec 16, 2001 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 20:29:38 Apr 30, 2016.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
@import url(/web/20011216041653/http://www.cs.tut.fi/~jkorpela/imported.css);
.summary { font-size : 105%;
            margin-left : 10%; margin-right : 10%;
            border : solid #699 2px; padding : 0.2em 0.1em 0.2em 0.4em;}

.important { text-indent : 1em;
            margin-left : 5%; margin-right : 10%;
            border : solid #f90 2px; padding : 0.4ex}

div.warning, P.warning { font-size : 105%; 
            margin-left : 10%; margin-right : 10%;
            border : double red 3px; padding : 0.4ex}

strong.warning, em.warning { color : #d00; background : #fff ; }

.editorial { font-size : 90%; 
            margin-left : 20%;
            border : inset #f3c 1px; padding : 3px}

.example { font-size:99%; margin-left:1%; padding-left:0.7ex;
           border-left : solid #0c0 2px;}

HR { color : #9cc; height : 4px }

FORM { border : solid gray 2px; padding : 3px;
 color : black; background : #cc9 none;
 }
input.radio { background : #cc9 none;   color : #000; }

H1 { text-align : center }
H2 { margin-left : 1em }

h1, h2, h3, h4 { color : #000; background : #e0ffdd url(/web/20011216041653/http://www.cs.tut.fi/~jkorpela/bg3.png);
  font-family : Verdana, Arial, Helvetica, sans-serif;
  page-break-after : avoid; }

H1              { font-size: 180%; }
H2              { font-size: 140%; }
H3              { font-size: 117%; }
H4              { font-size: 105%; }
H5              { font-size: 102%; }
H6              { font-size: 100%; }

caption, .subcaption  { color : #000; background : #ffc none; }

TABLE.menu { border : solid blue 2px; padding : 3px;
  text-align : center }

table.texttable  { border : solid #222 0.1em; padding : 2em; }
#codetable TR TD A {text-decoration:none; font-size:large}

.numeric
  { font-family : Courier, monospace;
    text-align : right; }

BLOCKQUOTE { border : solid #696 1px; padding : 3px; 
 background: #f9f9f9 none; color: #000; }

.wide { margin : 0 0 0 0;
font-size : smaller }

.charname { font-variant: small-caps }

CAPTION { font-weight: bold}

BODY    { background : #f6fff6 url(/web/20011216041653/http://www.cs.tut.fi/~jkorpela/bg31.png);
          color : #000; 
          margin-left: 0.8em;}
A:link, strong a:link, em a:link, cite a:link,
 a:link strong, a:link em, a:link cite
 { color : #0000af; background : transparent ; }
A:visited, strong a:visited, em a:visited, cite a:visited,
 a:visited strong, a:visited em, a:visited cite
 { color : #609; background : transparent ; }
A:hover, strong a:hover, em a:hover, cite a:hover,
 a:hover strong, a:hover em, a:hover cite
 { color : #c33; background : #eee ; }
A:active, strong a:active, em a:active, cite a:active,
 a:active strong, a:active em, a:active cite
 { color : #f00; background : transparent ; }

strong,
EM {      color : #400000;
          background:transparent ;}
cite{      font-weight:500;
          color : #030;
          background:transparent ;}

DFN, DT { font-weight: bold;
          color : #043;
          background:#f6fff6 none;}

var { background:transparent ; color:#030;}

@media all {
UL LI { margin-bottom: 0.3em; margin-top: 0.3em }
OL LI { margin-bottom: 0.3em }

UL.toc LI, UL.compact LI { margin-top: 0; margin-bottom:0; }
UL.compact { margin-top : 0.1em }

UL, OL { margin-top: 0.15em; }

UL.separate, OL.separate { margin-top: 0.3em; } }

DD { margin-bottom: 0.5em; }

KBD { font-weight: bold}

PRE { background: #cfc; color:black;}

PRE.cmd { background: #fcf; color:black;}

PRE.samp { background: #fff0f0; color:black;}

.screen {background : #fff; color:#600; font-size:smaller;
border : solid #333 1px;
 padding : 3px;
font-family : "Lucida Console", Courier, monospace }

address, .signed { font-family : "Lucida Handwriting",  Western, cursive; }
address { text-align:center;}

pre, code { font-family : "Lucida Console", Courier, monospace;
font-style : normal; }

pre { white-space : pre; }

small, .small, .deem, .footer { font-size : 85%; }

small code, .small code, .deem code { font-size : 115%; }
 
p.literary { text-indent : 1em;
    margin-bottom : 0.5ex;
    margin-top : 0.5ex; }

p.start { text-indent : 0;
    margin-bottom : 0.5ex; }

p.start:first-letter { font-size : 200%; font-weight : bold;
   color : #060; background : #fff ; }
 
table.ex tr.sample td { font-weight : bold; color : black; 
  background : white none; text-align : center; }

.line { line-height: 1.3em; }

iframe { border-bottom: solid black 1px; }

ul.compact li.sect { margin-top:1em !important;}

@media print { .noprint { display: none; } }