diff options
Diffstat (limited to 'manuals/en/developers/bareos-developer-guide.css')
-rw-r--r-- | manuals/en/developers/bareos-developer-guide.css | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/manuals/en/developers/bareos-developer-guide.css b/manuals/en/developers/bareos-developer-guide.css deleted file mode 100644 index 2e8f04e..0000000 --- a/manuals/en/developers/bareos-developer-guide.css +++ /dev/null @@ -1,73 +0,0 @@ -body { - margin: auto; - padding-right: 1em; - padding-left: 1em; - border-left: 1px solid black; - border-right: 1px solid black; - color: black; - font-family: Verdana, sans-serif; - font-size: 100%; - line-height: 140%; - color: #333; -} -pre { - border: 1px dotted gray; - background-color: #ececec; - color: #1111111; - padding: 0.5em; -} -code { - font-family: monospace; -} -h1 a, h2 a, h3 a, h4 a, h5 a { - text-decoration: none; - color: #7a5ada; -} -h1, h2, h3, h4, h5 { font-family: verdana; - font-weight: bold; - border-bottom: 1px dotted black; - color: #7a5ada; } -h1 { - font-size: 130%; -} - -h2 { - font-size: 110%; -} - -h3 { - font-size: 95%; -} - -h4 { - font-size: 90%; - font-style: italic; -} - -h5 { - font-size: 90%; - font-style: italic; -} - -h1.title { - font-size: 200%; - font-weight: bold; - padding-top: 0.2em; - padding-bottom: 0.2em; - text-align: left; - border: none; -} - -dt code { - font-weight: bold; -} -dd p { - margin-top: 0; -} - -#footer { - padding-top: 1em; - font-size: 70%; - color: gray; - text-align: center; - } |