div.insert_panel, html {background:white;
                        color: black;}

body {margin-left: 0.25in;
      margin-right: 0.25in;}

p {text-align: justify;}

sup, sub {font-size: 70%;}
.small {font-size: smaller;}

div.insert_panel a, a {text-decoration: none;}
div.insert_panel a:link, a:link {color: blue;}
div.insert_panel a:active, a:active {color: red;}
div.insert_panel a:visited, a:visited {color: purple;}

table.data {border: thin solid gray;
            margin-bottom: 1ex;}
table.data th {border: thin solid gray;
               background: #FFCCCC;}
table.data td {border: thin solid gray;}


table.symbol_table {margin-top: 1em;
                    margin-bottom: 1em;
                    margin-left: 1em;}

table.symbol_table td.symbol {padding-right: 1em;}

.message, .warning {border: thin solid black;
                    margin-top: 1em;
                    margin-bottom: 1em;
                    padding-left: 1em;
                    padding-right: 1em;
                    border-radius: 1em;}
.message {background-color: #ADD8E6;}
.warning {background-color: #FFB6C1;}

div.message, div.warning {margin-left: 15%;
                          margin-right: 15%;}

.mixture {vertical-align: middle;}
.mixture span.punct {font-size: 150%;}

hr.subdivide {width: 80%;
              margin-left: 0pt;
              margin-right: auto;}

img.no-border {border: 0pt;
               vertical-align: text-top;}
img.struct {vertical-align: text-top;
            border: 0pt;}

p.section-head {font-size: smaller;
                margin-left: 2em;}
div.indented, p.indented {margin-left: 2em;
                          margin-right: 2em;}

td.left {text-align: left;}
td.right {text-align: right}
td.left-nowrap {text-align: left;
                white-space: nowrap;}
td.center-nowrap {text-align: center;
                  white-space: nowrap;}
td.right-nowrap {text-align: right;
                 white-space: nowrap;}

applet{border: thin solid black;}