html {
    padding:1ex;
}

body {
    float:left;
    border-style:solid;
    border-width:1px;
    border-color:gray;
    padding:0.7em 0.7em 0.7em 2.8em;
    margin:1ex;
}

p#navigationBar {
    font-family: arial;
    font-size:90%;
    margin:2em 0 0 0;
}

p#navigationBar a {
    background-color:#A0A0A0;
    padding:4px 7px 5px 2.5em;
    margin:0 2.5em 0 0;
    position:relative;
    left:-2.5em;
    color:#F3F3F3;
}

h1 {
    clear:both;
    font-family:times;
    font-size:240%;
    margin:1.4em 0 0.7em 0;
    padding:0 0 0.7em 0;
    border-bottom-style:solid;
    border-bottom-width:3px;
}

h2 {
    clear:both;
    font-family:times;
    font-size:150%;
    margin: 2.5em 0 0 0;
    padding: 0 0 0.4em 0;
    border-bottom-style:solid;
    border-bottom-width:1px;
}

h3 {
    clear:both;
    font-family:verdana;
    font-size:130%;
    margin: 0.5em 0 0 0;
    padding:0 0 0.3em 0;
}

table {
}

table caption {
    text-align:right;
    font-family:tahoma;
    font-size:120%;
}

td {
    border-style:solid;
    border-width:2px;
    border-color:black;
    padding:8px;
    background-color:silver;
    font-family:tahoma;
}

thead td {
    background-color:gray;
    color:white;
}

ul.index {
    list-style-position:outside;
    list-style-type:circle;
}

ul.index li {
    padding:1.4ex;
}

ul.index li a {
    font-size:130%;
    font-family:tahoma;
}

ul.index li p { /* link abstract - some p styles defined elsewhere */
    font-size:90%;
    font-family:verdana;
}

ul.index li span.link-purpose {
    font-size:115%;
    font-family:times;
}

div.seealso {
    clear:both;
    margin: 0 0 0 1.4em;
    font-family:verdana;
    font-size:90%;
    font-style:italic;
}

div.seealso a {
    font-style:normal;
}

img.icon {
    float:left;
    margin:1em 1ex 0.4ex 0;
    padding:7px 7px 7px 7px;
    border-style:solid;
    border-width:2px;
    border-color:gray;
    background-color:#C8D0D8;
}

p {
    font-family:verdana;
    color:#606060;
    font-size:109%;
    margin:1em 0 1.5em 0;
    padding:0;
}

p.intro {
    font-weight:bold;
    font-size:120%;
}

p.docinfo {
    float:left;
    width:100%;
    margin:5em 0 0 0;
    font-family: arial;
    color:#404040;
    background-color:#C0C0C0;
    font-size:91%;
    padding:0.5ex 0.3ex 0.5ex 0.3ex;
}

p.docinfo span.right {
    float:right;
    margin:0 0 0 2ex;
    padding:0 0 0 2ex;
    border-left-style:dotted;
    border-width:1px;
}

p.docinfo span.left {
    float:left;
    margin:0 2ex 0 0;
    padding:0 2ex 0 0;
    border-right-style:dotted;
    border-width:1px;
}

span.sub {
    font-style:italic;
    font-size:80%;
}

span.tag {
    font-weight:bold;
    color:black;
    font-family:"Times New Roman";
}

span.var {
    font-weight:bold;
    font-style:italic;
    font-family:arial;
}