Suppressed. Should not have been added since css is automatically

created by tex4ht

1 files changed, 0 insertions, 118 deletions

diff --git a/doc/refman.css b/doc/refman.css
deleted file mode 100644
index 5c90405..0000000
--- a/doc/refman.css
+++ /dev/null
@@ -1,118 +0,0 @@
- 
-/* start css.sty */
-.cmr-10{font-size:90%;}
-.cmr-10x-x-109{}
-.cmr-17{font-size:154%;}
-.cmr-12{font-size:109%;}
-.cmtt-10x-x-109{font-family: monospace;}
-.cmtt-12{font-size:109%;font-family: monospace;}
-.cmbx-12{font-size:109%; font-weight: bold;}
-.cmbx-10x-x-109{ font-weight: bold;}
-.cmti-10x-x-109{ font-style: italic;}
-.cmmi-10x-x-109{font-style: italic;}
-p.noindent { text-indent: 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 }
-.enumerate1 {list-style-type:decimal}
-.enumerate2 {list-style-type:lower-alpha}
-.enumerate3 {list-style-type:lower-roman}
-.enumerate4 {list-style-type:upper-alpha}
-.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; }
-.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
-table.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 }
-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;}
-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; }
-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; }
-.hline hr, .cline hr{ height : 1px; }
-.tabbing-right {text-align:right;}
-div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
-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; }
-.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;}
-div.float img, div.float .caption {text-align:center;}
-div.figure img, div.figure .caption {text-align:center;}
-.equation td{text-align:center; }
-td.equation { margin-top:1em; margin-bottom:1em; } 
-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;}
-span.pmatrix img{vertical-align:middle;}
-div.pmatrix {text-align:center;}
-img.cdots{vertical-align:middle;}
-.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
-.chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {line-height: 200%; font-weight:bold;}
-.caption td.id{font-weight: bold; white-space: nowrap; }
-table.caption {text-align:center;}
-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; }
-.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:80%; font-style:italic; }
-div.author{white-space: nowrap;}
-.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
-h1.partHead{text-align: center}
-.figure img.graphics {margin-left:10%;}
-div.r1 { background-color: #E5ECF9; }
-p.noindent { margin: 0px; padding: 0px; }
-div.bodylayout { color: #000000; padding: 8px; font-family: sans-serif; font-size: 12px; }
-a { color: #043698; text-decoration: none; }
-a:hover { color: #A00000; text-decoration: underline; font-style: italic; }
-.titleHead { background-color: #FFFFFF; border: 2px #507BBF solid; padding: 4px; }
-div.maketitle { margin-bottom: 10px; padding-bottom: 10px; border-bottom-style: groove; }
-.author { font-weight: bold; }
-.sectionToc { padding: 6px; }
-.subsectionToc { padding: 12px; }
-h1 { background-color: #E5ECF9; border: 1px #507BBF solid; padding: 2px; }
-h2, h3, h4 { background-color: #FFF8DB; border: 1px #FFCC33 solid; padding: 2px; }
-th, td { padding: 5px; }
-tt { font-style: italic; font-size: 12px; font-weight: bold; }
-pre { background-color: #F9F9FC; border: 1px #D4DDE9 solid; padding: 6px; }
-/* end css.sty */