border-top: 2px;
}
+div.warning h1, div.warning h2, div.warning h3, div.warning h4, div.warning h5, div.warning h6 {
+ color: #ff2020;
+}
+
+div.warning p, div.note p, div.error p {
+ margin-left: 5%;
+ margin-left: 5%;
+}
+
+div.toc {
+ position: fixed;
+ left: 0px;
+ top: 0px;
+ height: 100%;
+ width: 25em;
+ margin-right: 5ex;
+ margin-left: 0px;
+ float: left;
+ border-right: 2px solid #0080ff;
+ border-collapse: collapse;
+ overflow: auto;
+}
+
+div.toc a:link {
+ text-decoration: none;
+}
+
+div.toc a:visited {
+ text-decoration: none;
+}
+
+div.toc a:hover {
+ text-decoration: underline;
+}
+
+div.toc a:active {
+ text-decoration: underline;
+}
+
+div.book {
+ margin-left: 25em;
+}
+
+div.list-of-figures {
+ display: none;
+}
+
+div.list-of-tables {
+ display: none;
+}
+
+div.figure p {
+ text-align: center;
+}
+div.figure img {
+ display: block;
+ margin: auto;
+}
+
+div.table p.title {
+ text-align: center;
+}
+
+div.table-contents table {
+ margin-left: auto;
+ margin-right: auto;
+}
+
div.toc p:first-child,
div.list-of-figures p:first-child,
div.list-of-tables p:first-child,
margin-bottom: -0.8em;
}
-table {
- border: none;
-}
-
div.revhistory {
border-style: none;
}
-div.revhistory table, th, td, tr {
- margin-top: 1em;
- border-width: 1px;
+div.revhistory table, div.revhistory th, div.revhistory td {
border-collapse: collapse;
- border-top: 1px;
- border-bottom: 1px;
- border-left: 1px;
- border-right: 1px;
- border: 1px solid black;
+ border: 1px solid #0080ff;
+ padding: 0.25em;
}
+
div.revhistory th {
color: #0080ff;
}
Table styling does not work because of overriding attributes in
generated HTML.
*/
+div.table-contents p,
+div.informaltable p
+{
+ margin: 0px;
+}
+/*
div.table table,
div.informaltable table
{
margin-left: 0;
- margin-right: 5%;
- margin-bottom: 0.8em;
+ margin-right: 0.25em;
+ margin-bottom: 0.25em;
}
div.informaltable table
{
div.informaltable tbody
{
/* No effect in IE6. */
- border-top: 3px solid #527bbd;
- border-bottom: 3px solid #527bbd;
+ border-top: 1px solid #0080ff;
+ border-bottom: 1px solid #0080ff;
+ border-left: 1px solid #0080ff;
+ border-right: 1px solid #0080ff !important;
+ border-width: 1px !important;
}
+*/
+
+
div.table thead, div.table tfoot,
div.informaltable thead, div.informaltable tfoot
{