diff options
Diffstat (limited to 'doc/templates/style.css')
-rw-r--r-- | doc/templates/style.css | 224 |
1 files changed, 0 insertions, 224 deletions
diff --git a/doc/templates/style.css b/doc/templates/style.css deleted file mode 100644 index 964d88b..0000000 --- a/doc/templates/style.css +++ /dev/null @@ -1,224 +0,0 @@ -html, body, -h1, h2 { - margin: 0; - padding: 0; -} - -h3 { - margin-top: 2pt; - margin-bottom: 2pt; -} - -ul { - margin: 1ex; - margin-left: 1.5em; - padding: 0; -} - -hr { - border-style: none; - color: #cccccc; - background-color: #cccccc; - height: 1px; -} - -div.header { - position: fixed; - height: 4em; - background-color: white; - width: 100%; - margin: 0; - padding: 0.5ex; - border-bottom: 1px solid black; - top: 0; - left: 0; - z-index: 1; -} - -div.header h1 { - white-space: nowrap; - text-overflow: ellipsis; - overflow: hidden; -} - -div.main { - margin-top: 5em; - margin-left: 1ex; - margin-right: 1ex; - margin-bottom: 1ex; -} - -div.main a[name] { - position: relative; - top: -4.5em; -} - -div.outset { - padding: 1ex; - margin-top: 1ex; - margin-bottom: 1ex; -} - -div.inset { - background-color: white; - margin-top: 1ex; - margin-bottom: 1ex; - padding: 0.5ex; -} - -div.indent { - margin-left: 1em; -} - -div.methods { - background-color: #fcaf3e; -} - -div.method { - border: 1px solid #f57900; -} - -div.signals { - background-color: #729fcf; -} - -div.signal { - border: 1px solid #3465a4; -} - -div.properties { - background-color: #ad7fa8; -} - -div.property { - border: 1px solid #75507b; -} - -div.tpproperties { - background-color: #999999; -} - -div.tpproperty { - border: 1px solid #333333; -} - -div.contact-attributes { - background-color: #ccccff; - border: 1px solid #9999cc; -} - -div.contact-attribute { - border: 1px solid #9999cc; -} - -div.handler-capability-tokens { - background-color: #339933; - border: 1px solid #228822; -} - -div.handler-capability-token { - border: 1px solid #228822; -} - -div.types { - background-color: #e9b96e; -} - -div.type { - border: 1px solid #c17d11; -} - -div.errors { - background-color: #ef2929; -} - -div.error { - border: 1px solid #cc0000; -} - -div.access { - font-weight: bold; - margin-left: 1ex; -} - -div.summary { - padding: 0.5ex; - background-color: #eeeeec; - border: 1px solid #d3d7cf; -} - -table.summary { - margin: 1ex; - font-size: small; -} - -table.summary td { - padding-right: 1ex; -} - -li.chapter { - margin-top: 1ex; - font-weight: bold; -} - -li.causes-havoc { - font-style: italic; -} - -li.deprecated, -li.deprecated a, -table.summary tr.deprecated td, -table.summary tr.deprecated td a { - color: gray; -} - -div.requires, -div.docstring { - margin: 1ex; -} - -div.added { - border-left: 2px solid #4e9a06; - margin: 1ex; - padding-left: 1ex; -} - -div.added span.version { - color: #4e9a06; - font-weight: bold; -} - -div.changed { - border-left: 2px solid #8f5902; - margin: 1ex; - padding-left: 1ex; -} - -div.changed span.version { - color: #8f5902; - font-weight: bold; -} - -div.deprecated, -div.havoc { - border-left: 2px solid #a40000; - margin: 1ex; - padding-left: 1ex; -} - -div.deprecated span.version, -span.warning { - color: #a40000; - font-weight: bold; -} - -div.rationale { - border-left: 2px solid gray; - margin: 1ex; - padding-left: 1ex; -} - -span.permalink { - float: right; - font-size: x-small; -} |