/* Styples for most (non-document) pages. */

table.data {border: thin solid gray;
            margin-bottom: 1ex;
            border-spacing: 0pt;}
table.data th, table.data td {padding: 2px;
                              border: thin solid gray;}
table.data th {background: #FFCCCC;}


table.doc {border: medium solid black;
           border-collapse: collapse;
           margin-bottom: 1ex;}
table.doc th {background: #C0C0C0;
              text-align: center;}
table.doc th, table.doc td {border: medium solid black;
                            padding-left: 0.5ex;
                            padding-right: 0.5ex;}

table.name_value td, table.name_value th {text-align: left;
                                          padding-bottom: 0.2em;}
table.name_value td:first-child, table.name_value th:first-child {
                                     padding-right: 0.2em;}

table.thin_grid {border: thin solid black;
                 border-collapse: collapse;}
table.thin_grid th, table.thin_grid td {border: thin solid gray;}

table.left_align th {text-align: left;}

table.left_right_align th, table.left_right_align td {text-align: right;}
table.left_right_align th:first-child, table.left_right_align td:first-child {
                                           text-align: left;}

table.horz_pad td {padding-left: 1.0em;}
table.horz_pad td:first-child {padding-left: 0.5em;}

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

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


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

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

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;}