diff options
Diffstat (limited to 'doc/api/process-one.css')
-rw-r--r-- | doc/api/process-one.css | 92 |
1 files changed, 0 insertions, 92 deletions
diff --git a/doc/api/process-one.css b/doc/api/process-one.css deleted file mode 100644 index 5cd371e10..000000000 --- a/doc/api/process-one.css +++ /dev/null @@ -1,92 +0,0 @@ -html, body { - font-family: Verdana, sans-serif; - color: #000; - background-color: #fff; -} - -h1 { - color: #4a5389; - border-bottom: solid 1px #000; -} - -h2 { - font-size: 24px; - text-align: right; - color: #4a5389; - border-bottom: 1px solid #000; -} - -h3 { - font-size: 18px; - color: #900; -} - -h4 { - font-size: 14px; - color: #000; -} - -a[href] { - color: #4a5389; -} - -a[href]:hover { - background-color: #ecefff; -} - -p, li, dd { - text-align: justify; -} - -li { - margin-top: 0.3em; -} - -li:first-child { - margin-top: 0px; -} - -blockquote { - color: #555; -} - -caption { - font-style: italic; - color: #009; - text-align: left; - margin-left: 20px; -} - -table[border="1"] { - border-collapse: collapse; - margin-bottom: 1em; -} - -table[border="1"] td { - border: 1px solid #ddd; -} - -pre, tt, code { - color: #461b7e; -} - -pre { - margin:1ex 2ex; - border:1px dashed lightgrey; - background-color:#f9f9f9; - padding:0.5ex; -} - -pre em { - font-style: normal; - font-weight: bold; -} - -dt { - margin:0ex 2ex; - font-weight:bold; -} - -dd { - margin:0ex 0ex 1ex 4ex; -} |