2 * Copyright 2008-2017, Haiku. All rights reserved.
3 * Distributed under the terms of the MIT License.
6 * François Revol <revol@free.fr>
7 * Stephan Aßmus <superstippi@gmx.de>
8 * Braden Ewing <brewin@gmail.com>
9 * Humdinger <humdingerb@gmail.com>
10 * Vincent Duvert <vincent.duvert@free.fr>
11 * Augustin Cavalier <waddlesplash>
25 font-family: "Noto Sans", Arial
, Helvetica
, sans-serif
;
28 /* link colors and text decoration */
32 text-decoration: none
;
37 text-decoration: none
;
41 text-decoration: underline
;
45 /* Some headers act as anchors, don't give them a hover effect */
47 h2
a:hover
, a:active
{
48 text-decoration: none
;
51 h3
a:hover
, a:active
{
52 text-decoration: none
;
55 h4
a:hover
, a:active
{
56 text-decoration: none
;
59 h5
a:hover
, a:active
{
60 text-decoration: none
;
64 /* heading and navigation */
75 background: transparent url
(images/logo.png) no-repeat scroll
10px 0;
79 @media (min-width:768px) {
94 text-transform: uppercase
;
96 font-family: Myriad Pro
,Myriad Web Pro Regular
,Lucida Grande
,Geneva
,Trebuchet MS
,sans-serif
;
108 @media (min-width:768px) {
120 @media (min-width:768px) {
127 div
.nav div
.inner span
{
132 div
.nav div
.inner span a
.uplink
{
136 /* Language selection menu */
141 list-style-type: none
;
158 ul
.lang-menu:hover li
{
162 ul
.lang-menu
li:hover
{
163 background-color: #efefef;
166 ul
.lang-menu li
.now
{
167 padding: 5px 5px 0 5px;
169 background-color: inherit
;
174 text-decoration: none
;
177 padding: 2px 5px 2px 5px;
187 @media (min-width:768px) {
201 @media (min-width:768px) {
213 margin: 0px 0px 30px 30px;
216 border-style: dotted
;
217 border-color: #e0e0e0;
220 table
.index tr
.heading
{
221 background-color: #e0e0e0;
226 table
.index tr
.index
{
227 background-color: #eeeeee;
233 table
.index
a:link
, table
.index
a:visited
{
235 text-decoration: none
;
238 table
.index
a:hover
, table
.index
a:active
{
239 text-decoration: underline
;
244 /* Haiku User Guide styles and layout */
246 /* Rounded corner boxes */
247 /* Common declarations */
248 .box-info, .box-stop, .box-warning {
249 -webkit-border-radius: 10px;
250 -khtml-border-radius: 10px;
251 -moz-border-radius: 10px;
253 border-style: dotted
;
255 border-color: #dcdcdc;
256 padding: 10px 15px 10px 80px;
264 background: #e4ffde url
(images/alert_info_32.png) 15px 15px no-repeat
;
267 background: #fffbc6 url
(images/alert_warning_32.png) 15px 15px no-repeat
;
270 background: #ffeae6 url
(images/alert_stop_32.png) 15px 15px no-repeat
;
273 /* More layout and styles */
278 border-bottom: dotted thin
#e0e0e0;
285 border-bottom: dotted thin
#e0e0e0;
288 @media (min-width:768px) {
297 border-bottom: dotted thin
#e0e0e0;
332 background-color: #e2e2e2;
334 font-family: monospace
;
337 border-color: #0c3762;
338 border-style: dotted
;
342 background-color: #f0f0f0;
344 pre
.terminal
{ /* Terminal output*/
345 border-color: #ffb11f;
346 border-style: dotted
;
350 background-color: #3a3a3a;
359 .button { /* Button */
365 .app { /* GUI Application name */
371 .cli { /* Shell command or file */
372 background-color: #e8e8e8;
374 font-family: monospace
;
376 .path { /* File path */
377 background-color: #e8e8e8;
379 font-family: monospace
;
381 .key { /* Shortcut (separate with */
382 -webkit-border-radius: 3px;
383 -khtml-border-radius: 3px;
384 -moz-border-radius: 3px;
386 border-color: #c7c7c7;
389 padding: 0px 2px 0px 2px;
390 background-color: #e8e8e8;
392 font-variant: small-caps
;
396 /* printer only pretty stuff */
397 @media /*screen,*/print
{
398 /* suggest page orientation */
399 @page
{ size: portrait
; }
403 /* hide header and nav bar */
412 /* some links we want to print the url along with (CSS2) */
414 content: " <" attr
(href
) ">";
418 /* override for those we really don't want to print */
422 /* for acronyms we want their definitions inlined at print time */
423 acronym
[title
]:after
{
425 content: " (" attr
(title
) ")";
428 /* and not have mozilla dotted underline */
432 pre
.terminal
{ /* Terminal output black on white*/
433 background-color: #ffffff;