diff --git a/docs/Haiku-doc.css b/docs/Haiku-doc.css index 74224a9344..f7625705bc 100644 --- a/docs/Haiku-doc.css +++ b/docs/Haiku-doc.css @@ -66,7 +66,7 @@ div.content { margin-right: 40px; margin-bottom: 50px; } - + /* heading and navigation */ div.logo { @@ -111,33 +111,33 @@ div.bottomnav p { } -/* Haiku User Guide styles and layout */ - -/* Rounded corner boxes */ -/* Common declarations */ -.box-info, .box-stop, .box-warning { - -webkit-border-radius: 10px; - -khtml-border-radius: 10px; - -moz-border-radius: 10px; - border-radius: 10px; +/* Haiku User Guide styles and layout */ + +/* Rounded corner boxes */ +/* Common declarations */ +.box-info, .box-stop, .box-warning { + -webkit-border-radius: 10px; + -khtml-border-radius: 10px; + -moz-border-radius: 10px; + border-radius: 10px; border-style: dotted; border-width: thin; - border-color: #dcdcdc; - padding: 10px 15px 10px 80px; - margin-bottom: 15px; - margin-top: 15px; - min-height: 42px; -} -.box-info { - background: #e4ffde url(userguide/images/alert_info_32.png) 15px 15px no-repeat; -} -.box-warning { - background: #fffbc6 url(userguide/images/alert_warning_32.png) 15px 15px no-repeat; -} -.box-stop { - background: #ffeae6 url(userguide/images/alert_stop_32.png) 15px 15px no-repeat; -} - + border-color: #dcdcdc; + padding: 10px 15px 10px 80px; + margin-bottom: 15px; + margin-top: 15px; + min-height: 42px; +} +.box-info { + background: #e4ffde url(userguide/images/alert_info_32.png) 15px 15px no-repeat; +} +.box-warning { + background: #fffbc6 url(userguide/images/alert_warning_32.png) 15px 15px no-repeat; +} +.box-stop { + background: #ffeae6 url(userguide/images/alert_stop_32.png) 15px 15px no-repeat; +} + /* More layout and styles */ h1 { font-size: 1.3em; @@ -173,80 +173,80 @@ ol { } ul { padding-left: 14px; -} -li { - line-height: 1.3; -} -td { - vertical-align: top; -} -td.onelinetop { - vertical-align: top; - white-space: nowrap; } -tt { - background-color: #e2e2e2; - font-size: 1.0em; +li { + line-height: 1.3; +} +td { + vertical-align: top; +} +td.onelinetop { + vertical-align: top; + white-space: nowrap; +} +tt { + background-color: #e2e2e2; + font-size: 1.0em; font-family: monospace; -} -pre { - border-color: #0c3762; - border-style: dotted; - border-width: thin; - margin: 0em; - padding: 1.5em; - background-color: #f0f0f0; -} -pre.terminal { /* Terminal output*/ - border-color: #ffb11f; - border-style: dotted; - border-width: thin; - margin: 0em; - padding: 1.5em; - background-color: #3a3a3a; - color: #ffb11f; -} -.menu { /* Menu */ - font-size: 1.0em; - font-family: serif; - font-style: italic; - color: #24225e; -} -.button { /* Button */ - font-size: 1.0em; - font-family: serif; - font-style: italic; - color: #33583c; -} -.app { /* GUI Application name */ - font-size: 1.0em; - font-family: serif; - font-style: italic; +} +pre { + border-color: #0c3762; + border-style: dotted; + border-width: thin; + margin: 0em; + padding: 1.5em; + background-color: #f0f0f0; +} +pre.terminal { /* Terminal output*/ + border-color: #ffb11f; + border-style: dotted; + border-width: thin; + margin: 0em; + padding: 1.5em; + background-color: #3a3a3a; + color: #ffb11f; +} +.menu { /* Menu */ + font-size: 1.0em; + font-family: serif; + font-style: italic; + color: #24225e; +} +.button { /* Button */ + font-size: 1.0em; + font-family: serif; + font-style: italic; + color: #33583c; +} +.app { /* GUI Application name */ + font-size: 1.0em; + font-family: serif; + font-style: italic; /* color: #5e1c1c; */ - color: #5e1c1c; -} -.cli { /* Shell command or file */ - background-color: #e8e8e8; - font-size: 0.9em; - font-family: monospace; -} -.path { /* File path */ - background-color: #e8e8e8; - font-size: 0.9em; - font-family: monospace; -} -.key { /* Shortcut (separate with   */ - -webkit-border-radius: 3px; - -khtml-border-radius: 3px; - -moz-border-radius: 3px; - border-radius: 3px; - border-color: #c7c7c7; - border-style: solid; - border-width: 1px; - padding: 0px 2px 0px 2px; - background-color: #e8e8e8; - font-family: serif; - font-variant: small-caps; - font-size: 0.8em; + color: #5e1c1c; +} +.cli { /* Shell command or file */ + background-color: #e8e8e8; + font-size: 0.9em; + font-family: monospace; +} +.path { /* File path */ + background-color: #e8e8e8; + font-size: 0.9em; + font-family: monospace; +} +.key { /* Shortcut (separate with   */ + -webkit-border-radius: 3px; + -khtml-border-radius: 3px; + -moz-border-radius: 3px; + border-radius: 3px; + border-color: #c7c7c7; + border-style: solid; + border-width: 1px; + padding: 0px 2px 0px 2px; + background-color: #e8e8e8; + font-family: serif; + font-variant: small-caps; + font-size: 0.8em; }