/* itlhomepage.css from itlhomepage.tex (TeX4ht, 2011-11-14 13:43:00)
*/
/* start css.sty */
.cmex-10{font-size:83%;}
.lcircle-10{font-size:83%;}
.cmr-7{font-size:58%;}
.cmr-10{font-size:83%;}
.cmmi-7{font-size:58%;font-style: italic;}
.cmmi-10{font-size:83%;font-style: italic;}
.cmsy-7{font-size:58%;}
.cmsy-10{font-size:83%;}
.cmtt-12{font-family: monospace;}
.cmr-17x-x-120{font-size:170%;}
.cmr-12x-x-120{font-size:120%;}
.cmmib-10{font-size:83%;font-style: italic; font-weight: bold;}
.cmbsy-10{font-size:83%;font-weight: bold;}
.cmbsy-10{font-weight: bold;}
.itlsymps-{font-size:83%;}
.cmr-10x-x-109{font-size:90%;}
.cmbx-10x-x-109{font-size:90%; font-weight: bold;}
.cmbx-10x-x-109{ font-weight: bold;}
.cmti-12{ font-style: italic;}
.cmr-8{font-size:66%;}
.cmr-6{font-size:50%;}
.cmmi-12{font-style: italic;}
.cmmi-8{font-size:66%;font-style: italic;}
.cmmi-6{font-size:50%;font-style: italic;}
.cmsy-8{font-size:66%;}
.cmsy-6{font-size:50%;}
.cmbx-12{ font-weight: bold;}
.cmbx-12{ font-weight: bold;}
.cmmi-10x-x-109{font-size:90%;font-style: italic;}
.cmsy-10x-x-109{font-size:90%;}
.cmex-10x-x-109{font-size:90%;}
.cmmib-10x-x-109{font-size:90%;font-style: italic; font-weight: bold;}
.cmbsy-10x-x-109{font-size:90%;font-weight: bold;}
.cmbsy-10x-x-109{font-weight: bold;}
.itlsymps-x-x-109{font-size:90%;}
.cmti-10x-x-109{font-size:90%; font-style: italic;}
.cmss-10x-x-109{font-size:90%;  font-family: sans-serif;}
.cmss-10x-x-109{  font-family: sans-serif;}
.cmss-10x-x-109{  font-family: sans-serif;}
.cmss-12{  font-family: sans-serif;}
.cmss-12{  font-family: sans-serif;}
.cmss-12{  font-family: sans-serif;}
.cmti-10{font-size:83%; font-style: italic;}
.cmss-10{font-size:83%;  font-family: sans-serif;}
.cmss-10{  font-family: sans-serif;}
.cmss-10{  font-family: sans-serif;}
.cmbxti-10x-x-120{ font-weight: bold; font-style: italic;}
p.noindent { text-indent: 0em }
td p.noindent { text-indent: 0em; margin-top:0em; }
p.nopar { text-indent: 0em; }
p.indent{ text-indent: 1.5em }
@media print {div.crosslinks {visibility:hidden;}}
a img { border-top: 0; border-left: 0; border-right: 0; }
center { margin-top:1em; margin-bottom:1em; }
td center { margin-top:0em; margin-bottom:0em; }
.Canvas { position:relative; }
img.math{vertical-align:middle;}
li p.indent { text-indent: 0em }
li p:first-child{ margin-top:0em; }
li p:last-child, li div:last-child { margin-bottom:0.5em; }
li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }
.enumerate1 {list-style-type:decimal;}
.enumerate2 {list-style-type:lower-alpha;}
.enumerate3 {list-style-type:lower-roman;}
.enumerate4 {list-style-type:upper-alpha;}
div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
.obeylines-h,.obeylines-v {white-space: nowrap; }
div.obeylines-v p { margin-top:0; margin-bottom:0; }
.overline{ text-decoration:overline; }
.overline img{ border-top: 1px solid black; }
td.displaylines {text-align:center; white-space:nowrap;}
.centerline {text-align:center;}
.rightline {text-align:right;}
div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
div.fbox {display:table}
div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
div.minipage{width:100%;}
div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
div.center div {text-align: left;}
div.flushright, div.flushright div.flushright {text-align: right;}
div.flushright div {text-align: left;}
div.flushleft {text-align: left;}
.underline{ text-decoration:underline; }
.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
.framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
.framebox-c {text-align:center;}
.framebox-l {text-align:left;}
.framebox-r {text-align:right;}
span.thank-mark{ vertical-align: super }
span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
table.tabular td p{margin-top:0em;}
table.tabular {margin-left: auto; margin-right: auto;}
td p:first-child{ margin-top:0em; }
td p:last-child{ margin-bottom:0em; }
div.td00{ margin-left:0pt; margin-right:0pt; }
div.td01{ margin-left:0pt; margin-right:5pt; }
div.td10{ margin-left:5pt; margin-right:0pt; }
div.td11{ margin-left:5pt; margin-right:5pt; }
table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
td.td00{ padding-left:0pt; padding-right:0pt; }
td.td01{ padding-left:0pt; padding-right:5pt; }
td.td10{ padding-left:5pt; padding-right:0pt; }
td.td11{ padding-left:5pt; padding-right:5pt; }
table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
.hline hr, .cline hr{ height : 1px; margin:0px; }
.tabbing-right {text-align:right;}
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }
div.float, div.figure {margin-left: auto; margin-right: auto;}
div.float img {text-align:center;}
div.figure img {text-align:center;}
.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
.marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
table.equation {width:100%;}
.equation td{text-align:center; }
td.equation { margin-top:1em; margin-bottom:1em; } 
td.equation-label { width:5%; text-align:center; }
td.eqnarray4 { width:5%; white-space: normal; }
td.eqnarray2 { width:5%; }
table.eqnarray-star, table.eqnarray {width:100%;}
div.eqnarray{text-align:center;}
div.array {text-align:center;}
div.pmatrix {text-align:center;}
table.pmatrix {width:100%;}
span.pmatrix img{vertical-align:middle;}
div.pmatrix {text-align:center;}
table.pmatrix {width:100%;}
span.bar-css {text-decoration:overline;}
img.cdots{vertical-align:middle;}
.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
.index-item, .index-subitem, .index-subsubitem {display:block}
div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;}
div.caption span.id{font-weight: bold; white-space: nowrap; }
h1.partHead{text-align: center}
p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;}
.verse{white-space:nowrap; margin-left:2em}
div.maketitle {text-align:center;}
h2.titleHead{text-align:center;}
div.maketitle{ margin-bottom: 2em; }
div.author, div.date {text-align:center;}
div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
div.author{white-space: nowrap;}
.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.abstract p {margin-left:5%; margin-right:5%;}
div.abstract {width:100%;}
.subsectionToc, .likesubsectionToc {margin-left:2em;}
.subsubsectionToc, .likesubsubsectionToc {margin-left:4em;}
.equation td{text-align:center; }
.equation-star td{text-align:center; }
table.equation-star { width:100%; }
table.equation { width:100%; }
table.align, table.alignat, table.xalignat, table.xxalignat, table.flalign {width:100%; margin-left:5%; white-space: nowrap;}
table.align-star, table.alignat-star, table.xalignat-star, table.flalign-star {margin-left:auto; margin-right:auto; white-space: nowrap;}
td.align-label { width:5%; text-align:center; }
td.align-odd { text-align:right; padding-right:0.3em;}
td.align-even { text-align:left; padding-right:0.6em;}
table.multline, table.multline-star {width:100%;}
td.gather {text-align:center; }
table.gather {width:100%;}
div.gather-star {text-align:center;}
.ovalbox { padding-left:3pt; padding-right:3pt; border:solid thin; }
.Ovalbox-thick { padding-left:3pt; padding-right:3pt; border:solid thick; }
.shadowbox { padding-left:3pt; padding-right:3pt; border:solid thin; border-right:solid thick; border-bottom:solid thick; }
.doublebox { padding-left:3pt; padding-right:3pt; border-style:double; border:solid thick; }
P.fancyvrb {white-space: nowrap; margin:0em;}
.figure img.graphics {margin-left:10%;}
.maliste {color:red; }
/* end css.sty */

BODY {
     background : #FFFFFF;
     color : #000000;
     font-family :   "Helvetica", sans-serif;
      font-size: 12pt; }

* { font-family :  "Helvetica", sans-serif; color: #000054; }

H1 {
    font-family:   "Helvetica", sans-serif;
    font-size: 180%;
    font-weight: bold;
    color: #008080; }

H2 {
    font-family:   "Helvetica", sans-serif;
    font-size: 150%;
    font-weight: bold;
    color: #008080; }

H3 {
    font-family:   "Helvetica", sans-serif;
    font-size: 125%;
    font-weight: bold;
    color: #008080; }

H4 {
    font-family:   "Helvetica", sans-serif;
    font-size: 110%;
    font-weight: bold;
    color: #008080; }

H5 {
    font-family:   "Helvetica", sans-serif;
    font-size: 100%;
    color: #000000; }


H6 {
                                                                                        

                                                                                        
    font-family:   "Helvetica", sans-serif;
    font-size: 90%;
    color: #008080; }

TD, TH, UL, OL {
    font-family:   "Helvetica", sans-serif;
    color : #000054; }

P, BLOCKQUOTE {
    font-family:   "Helvetica", sans-serif;
    text-align: justify;
    color: #000054; }

P.c3 {
    font-family:   "Helvetica", sans-serif;
    font-weight: bold;
    font-style: normal;
    color : #008080;
    text-align: justify; }

P.c3 A:link    { text-decoration: none; }
P.c3 A:visited { text-decoration: none; }
P.c3 A:active  { text-decoration: none; }


P.c5 {
    font-family:   "Helvetica", sans-serif;
    margin-left: 3em;
    margin-right: 3em;
    color : #891734;
    text-align: justify; }

P.c6 {
    font-family:   "Helvetica", sans-serif;
    margin-right: 2em;
    color : #891734;
    text-align: right; }


TD.c1 {
    font-family:   "Helvetica", sans-serif;
    font-size: 165%;
    color : #008080;
                                                                                        

                                                                                        
     }

DL.t1 { text-align: left; }

TD.c4 {
    font-family:   "Helvetica", sans-serif;
    font-size: 125%;
    color : #891734;
     }

TD.c2 {
    font-family:   "Helvetica", sans-serif;
    font-style: normal;
    font-size: 125%;
    font-weight: bold;
    color : #008080;
     }

TD.wh { background-color : #FFFFFF;  }

TD.or { background-color : #ffe98b;  }

TD.bl { background-color : #99aecb;  }

TD.el { background-image: url('gifs/empty.gif');  }


EM, I {
    font-family:   "Helvetica", sans-serif;
    font-style: italic; }

PRE { font-family: monospace; }

A:link { color : #891734; }
A:visited { color : #008b8b }
A:active { color : #ff0000; }

HR { color : #000054; }


DIV.description {
    font-family: "Helvetica", sans-serif;
    color : #000054;
                                                                                        

                                                                                        
    text-align: justify; }

DIV.big3 {
    font-family: "Helvetica", sans-serif;
    font-size: 240%;
    font-weight: bold;
    color : #000054;
    text-align: center; }

DIV.big2 {
    font-family: "Helvetica", sans-serif;
    font-size: 200%;
    font-weight: bold;
    color : #000054;
    text-align: left; }

DIV.big {
    font-family: "Helvetica", sans-serif;
    font-size: 300%;
    font-weight: bold;
    color : #000054;
    text-align: left; }

DIV.quotation {
    font-family: "Times New Roman", serif;
    font-size: 110%;
    font-style: italic;
    color : #005454;
    text-align: justify; }

DIV.url A:link    { text-decoration: none; }
DIV.url A:visited { text-decoration: none; }
DIV.url A:active  { text-decoration: none; }

DIV.url { font-family : "Helvetica", sans-serif;
    font-size: 90%; }

DIV.foot TD {
    font-family : "Helvetica", sans-serif;
    font-size: 60%;
    font-weight: bold;
    color: #008080; }

                                                                                        

                                                                                        
DIV.date { color: #000000; }

DIV.copy { font-family : "Helvetica", sans-serif;
    font-size: 40%;
    color: #000000; }

DIV.foot A:link    { text-decoration: none; }
DIV.foot A:visited { text-decoration: none; }
DIV.foot A:active  { text-decoration: none; }

DIV.menu A { font-family:   "Helvetica", sans-serif; }

DIV.menu dt {
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
}

SPAN.head {
  font-family:  "Helvetica", sans-serif;
  font-weight: bold;
  width: 7em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 1px;
  text-align: left;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.head A:link    { text-decoration: none; }
SPAN.head A:visited { text-decoration: none; }
SPAN.head A:active  { text-decoration: none; }

SPAN.heda {
  font-family:  "Helvetica", sans-serif;
  width: 15em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 0px;
  text-align: left;
                                                                                        

                                                                                        
  text-decoration: none;
  background-color: white; }

SPAN.hedab {
  font-family:  "Helvetica", sans-serif;
  width: 20em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 0px;
  text-align: left;
  text-decoration: none;
  background-color: white; }

SPAN.hedaa {
  font-family:  "Helvetica", sans-serif;
  width: 40em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 0px;
  text-align: left;
  text-decoration: none;
  background-color: white; }


SPAN.heda A:link    { text-decoration: none; }
SPAN.heda A:visited { text-decoration: none; }
SPAN.heda A:active  { text-decoration: none; }

SPAN.hedab A:link    { text-decoration: none; }
SPAN.hedab A:visited { text-decoration: none; }
SPAN.hedab A:active  { text-decoration: none; }

SPAN.hedaa A:link    { text-decoration: none; }
SPAN.hedaa A:visited { text-decoration: none; }
SPAN.hedaa A:active  { text-decoration: none; }

SPAN.hed {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 29em;
  display: block;
                                                                                        

                                                                                        
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: left;
  text-decoration: none;
  background-color: #ffe98b; }



SPAN.heed {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 22em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: left;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.tech {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 10em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: left;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.snib {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 19em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: left;
  text-decoration: none;
                                                                                        

                                                                                        
  background-color: #ffe98b; }

SPAN.hd {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 12em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: center;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.ashd {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 16em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 1px;
  text-align: center;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.ashdd {
  font-family:  "Helvetica", "Arial", sans-serif;
  width: 16em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 1px;
  text-align: center;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.hed A:link    { text-decoration: none; }
SPAN.hed A:visited { text-decoration: none; }
SPAN.hed A:active  { text-decoration: none; }

SPAN.heed A:link    { text-decoration: none; }
SPAN.heed A:visited { text-decoration: none; }
                                                                                        

                                                                                        
SPAN.heed A:active  { text-decoration: none; }

SPAN.tech A:link    { text-decoration: none; }
SPAN.tech A:visited { text-decoration: none; }
SPAN.tech A:active  { text-decoration: none; }

SPAN.snib A:link    { text-decoration: none; }
SPAN.snib A:visited { text-decoration: none; }
SPAN.snib A:active  { text-decoration: none; }

SPAN.had {
  font-family:  "Helvetica", "Arial", sans-serif;
  font-weight: bold;
  width: 7em;
  display: block;
  border-style: solid;
  border-color: #ffffff;
  border-width: 2px;
  text-align: left;
  text-decoration: none;
  background-color: #ffe98b; }

SPAN.had A:link    { text-decoration: none; }
SPAN.had A:visited { text-decoration: none; }
SPAN.had A:active  { text-decoration: none; }