/* - ++resource++genodetheme.stylesheets/main.css - */
@media all {
/* http://genode.org/portal_css/++resource++genodetheme.stylesheets/main.css?original=1 */
/* */
}


/* - genodetheme.css - */
@media all {
/* http://genode.org/portal_css/genodetheme.css?original=1 */
/* */
#portal-logo img { display: none; }
a#portal-logo {
display: block;
text-decoration: none;
background: url(site_title.png) repeat;
border: 0;
margin: 0;
padding: 0;
margin-left: 26px;
padding-top: 100px;
height: 0px !important;
width: 600px;
cursor: pointer;
}
body {
background-image: url('bg_pattern.png');
background-color: transparent;
color: black;
max-width: 1200px;
margin-left:  auto;
margin-right: auto;
}
iframe.kupu-editor-iframe body { background-color: white !important; }
iframe.kupu-editor-textarea, .kupu-html {
background-color: white !important;
background-image: none !important;}
body.kupu {  font-size: 120%; background: White; background-image: none !important; }
#visual-portal-wrapper { padding-left: 16px; padding-right: 16px; }
#portal-column-content { padding: 0px; }
#portal-column-content { font-size: 111%; }
div.panel-content   { padding: 10px; min-height: 36px; }
div.content-content { padding: 20px; min-height: 36px; }
div.yellow-content  { padding: 14px; min-height: 100px; }
div.blue-content    { padding: 14px; padding-left: 7px; padding-right: 7px; min-height: 100px; }
div.blue-m { border: 20px; }
div.quicklinks div.yellow-content { padding: 20px; }
div.quicklinks a { text-decoration: none; font-size: 120%; }
div.but-content, div.sel-content {
padding-top: 8px; padding-bottom: 5px; padding-left: 12px; padding-right: 10px; min-height: 20px;
_height: 20px; /* */
font:  120% Verdana, Arial, Helvetica, sans-serif;
}
table#globalnavtab a { text-decoration: none; }
dl.portletNavigationTree a.tile { text-transform: none; }
dl.portletRss a.tile { text-transform: none;}
dl.portletRss span.summary { line-height: 120%;}
dl.portletRss p { line-height: 120%;}
dl.portletRss { min-width: 180px; }
dl.portletRss span.portletItemDetails { font-size: 80%; }
div.block_2 { min-width: 220px; }
/* */
#portal-siteactions {
list-style-image: none;
list-style-type: none;
float: right;
padding: 0 10px 0 0;
}
#portal-siteactions li {
display: inline;
padding-left: 0.5em;
}
#portal-siteactions li a {
text-decoration: none;
}
#portal-searchbox {
float: right;
clear: right;
}
#portal-searchbox {
float: right;
clear: right;
background-color: transparent;
margin: 16px 0 0 0;
padding: 0 10px 0 0;
text-align: right;
text-transform: lowercase;
white-space: nowrap;
z-index: 2;
}
div#portal-searchbox input.searchButton,
div.searchSection { display: none; }
li#siteaction-accessibility,
li#siteaction-contact { display: none; }
table#globalnavtab { float: none; margin: auto; }
div.panelcontent { text-align: center; }
#portal-personaltools li a {
text-decoration: none;
margin-right: 1em;
}
#portal-personaltools {
float: right;
margin: 0.5em 0;
padding: 0;
}
#portal-personaltools li {
display: inline;
list-style: none;
list-style-image: none;
}
.documentActions {
float: right;
margin: 0.4em 0 0 0.5em;
padding: 0;
}
.documentActions li {
display: inline;
list-style: none;
list-style-image: none;
}
.documentActions {
display: none;
}
.hiddenStructure {
/* */
display: none;
}
ul.outline { padding: 0px; margin: 0px; }
ul.outline li { list-style: none; padding-left: 0px; }
div.pageheader td { vertical-align: top; }
div.wikicontrols { float: right; }
div.wikicontrols a { text-decoration: none; }
div.wikicontrols a:hover { color: #000; }
span.lasteditor { color: #aaa; float: right; font-size: 80%; }
table.captionedimage { width: 1%; padding: 1em; }
div.footer { text-align: center; margin-top: 2em; margin-bottom: 1em; }
div.footer a { text-decoration: none; }
div.footer a { color: #335; }
div.footer { color: #335; }
div.newscontentbox { margin-bottom: 20px; }
span.newsdate { color: #888; float: right; font-size: 69%; }
span.shortnewsdate { margin-left: 5px; color: #555; font-size: 80%; }
span.feedlink { color: #888; float: none; }
span.feedlink a { text-decoration: none; }
h2 span.feedlink { font-size:69%; } /* at front page */
table.gosh_table { border-collapse: collapse; margin-bottom: 5px}
table.gosh_table tr td, table.gosh_table th {
  padding:  2px;
  border:   1px solid #8cacbb;
}

table.toc {
	background-color: #f8f8f8;
	border: 1px solid #8cacbb;
	padding: 4px;
	margin-bottom: 12px;
}

/* remove underline of references within table to contents */
table.toc a { text-decoration: none; }

/* */
/* */
/* */
}

/* - boxes.css - */
@media all {
/* http://genode.org/portal_css/boxes.css?original=1 */
/* */
div.but-tl, div.sel-tl { background: top left     no-repeat; }
div.but-t,  div.sel-t  { background: top          repeat-x;  }
div.but-tr, div.sel-tr { background: top right    no-repeat; }
div.but-bl, div.sel-bl { background: bottom left  no-repeat; }
div.but-b,  div.sel-b  { background: bottom       repeat-x;  }
div.but-br, div.sel-br { background: bottom right no-repeat; }
div.panel-tl, div.content-tl { background: top left     no-repeat; }
div.panel-t,  div.content-t  { background: top          repeat-x;  }
div.panel-tr, div.content-tr { background: top right    no-repeat; }
div.panel-l,  div.content-l  { background: left         repeat-y;  }
div.panel-m,  div.content-m  { background: top right    repeat;    }
div.panel-r,  div.content-r  { background: right        repeat-y;  }
div.panel-bl, div.content-bl { background: bottom left  no-repeat; }
div.panel-b,  div.content-b  { background: bottom       repeat-x;  }
div.panel-br, div.content-br { background: bottom right no-repeat; }
div.panel-m,  div.content-m  { margin: 16px; margin-top: 14px; margin-bottom: 14px; }
div.panel-l,  div.content-l  { margin-left:   -16px; }
div.panel-r,  div.content-r  { margin-right:  -16px; padding: 16px; padding-top: 14px; padding-bottom: 14px; }
div.panel-t,  div.content-t  { margin-top:    -28px; }
div.panel-b,  div.content-b  { margin-bottom: -28px; }
div.panel-tl, div.content-tl { margin-left:   -16px; }
div.panel-tr, div.content-tr { margin-right:  -16px; }
div.yellow-tl, div.blue-tl { background: top left     no-repeat; }
div.yellow-t,  div.blue-t  { background: top          repeat-x;  }
div.yellow-tr, div.blue-tr { background: top right    no-repeat; }
div.yellow-l,  div.blue-l  { background: left         repeat-y;  }
div.yellow-m,  div.blue-m  { background: top right    repeat;    }
div.yellow-r,  div.blue-r  { background: right        repeat-y;  }
div.yellow-bl, div.blue-bl { background: bottom left  no-repeat; }
div.yellow-b,  div.blue-b  { background: bottom       repeat-x;  }
div.yellow-br, div.blue-br { background: bottom right no-repeat; }
div.yellow-m,  div.blue-m  { margin-left: 16px; margin-right: 16px; margin-top: 48px; margin-bottom: 14px; }
div.yellow-l,  div.blue-l  { margin-left:   -16px; }
div.yellow-r,  div.blue-r  { margin-right:  -16px; padding: 16px; padding-top: 48px; padding-bottom: 14px; }
div.yellow-t,  div.blue-t  { margin-top:    -96px; }
div.yellow-b,  div.blue-b  { margin-bottom: -28px; }
div.yellow-tl, div.blue-tl { margin-left:   -16px; }
div.yellow-tr, div.blue-tr { margin-right:  -16px; }
div.but-tl { background-image: url('mainnav_button_btl.png') }
div.but-t  { background-image: url('mainnav_button_bt.png')  }
div.but-tr { background-image: url('mainnav_button_btr.png') }
div.but-bl { background-image: url('mainnav_button_bl.png') }
div.but-b  { background-image: url('mainnav_button_b.png')  }
div.but-br { background-image: url('mainnav_button_br.png') }
div.but-tl:hover { background-image: url('mainnav_hover_btl.png') }
div.but-t:hover  { background-image: url('mainnav_hover_bt.png')  }
div.but-tr:hover { background-image: url('mainnav_hover_btr.png') }
div.but-bl:hover { background-image: url('mainnav_hover_bl.png') }
div.but-b:hover  { background-image: url('mainnav_hover_b.png')  }
div.but-br:hover { background-image: url('mainnav_hover_br.png') }
div.sel-tl { background-image: url('mainnav_selected_btl.png') }
div.sel-t  { background-image: url('mainnav_selected_bt.png')  }
div.sel-tr { background-image: url('mainnav_selected_btr.png') }
div.sel-bl { background-image: url('mainnav_selected_bl.png') }
div.sel-b  { background-image: url('mainnav_selected_b.png')  }
div.sel-br { background-image: url('mainnav_selected_br.png') }
div.panel-tl { background-image: url('mainnav_panel_tl.png') }
div.panel-t  { background-image: url('mainnav_panel_t.png')  }
div.panel-tr { background-image: url('mainnav_panel_tr.png') }
div.panel-l  { background-image: url('mainnav_panel_l.png')  }
div.panel-m  { background-image: url('mainnav_panel_m.png')  }
div.panel-r  { background-image: url('mainnav_panel_r.png')  }
div.panel-bl { background-image: url('mainnav_panel_bl.png') }
div.panel-b  { background-image: url('mainnav_panel_b.png')  }
div.panel-br { background-image: url('mainnav_panel_br.png') }
div.yellow-tl { background-image: url('yellow_box_ntl.png') }
div.yellow-t  { background-image: url('yellow_box_nt.png')  }
div.yellow-tr { background-image: url('yellow_box_ntr.png') }
div.yellow-l  { background-image: url('yellow_box_l.png')  }
div.yellow-m  { background-image: url('yellow_box_m.png')  }
div.yellow-r  { background-image: url('yellow_box_r.png')  }
div.yellow-bl { background-image: url('yellow_box_bl.png') }
div.yellow-b  { background-image: url('yellow_box_b.png')  }
div.yellow-br { background-image: url('yellow_box_br.png') }
div.blue-tl { background-image: url('blue_box_ntl.png') }
div.blue-t  { background-image: url('blue_box_nt.png')  }
div.blue-tr { background-image: url('blue_box_ntr.png') }
div.blue-l  { background-image: url('blue_box_l.png')  }
div.blue-m  { background-image: url('blue_box_m.png')  }
div.blue-r  { background-image: url('blue_box_r.png')  }
div.blue-bl { background-image: url('blue_box_bl.png') }
div.blue-b  { background-image: url('blue_box_b.png')  }
div.blue-br { background-image: url('blue_box_br.png') }
div.content-tl { background-image: url('content_box_tl.png') }
div.content-t  { background-image: url('content_box_t.png')  }
div.content-tr { background-image: url('content_box_tr.png') }
div.content-l  { background-image: url('content_box_l.png')  }
div.content-m  { background-image: url('content_box_m.png')  }
div.content-r  { background-image: url('content_box_r.png')  }
div.content-bl { background-image: url('content_box_bl.png') }
div.content-b  { background-image: url('content_box_b.png')  }
div.content-br { background-image: url('content_box_br.png') }
/* */
/* */
/* */

}


/* - refman.css - */
@media all {
/* http://genode.org/portal_css/refman.css?original=1 */
/* */
div.refman h2 { margin-top: 0em; }
div.refman h2 code { padding-left: 0.5em; font-weight: bold; }
div.refman h3 { font-size: 130%; padding-top: 1em; margin-bottom: 1em; }
div.refman h4 { background-color: #f0f0cb; margin-top: 0.5em; }
div.refman h4 { font-weight: normal; margin-bottom: 0px; padding-top: 2px; padding-bottom: 2px;}
div.refman h4 code { font-weight: bold; padding-left: 1em; padding-right: 1em;}
div.refman div.subsection { background-color: #f7f7e5; padding-top: 5px; }
div.refman dl { padding-left: 1em; }
div.refman table { padding-left: 2em; padding-bottom: 0.5em; }
div.refman td { padding-left: 2em; }
div.refman div.subsection>p { padding-left: 1em; }
div.refman div.chapter { padding-bottom: 2em; }
div.refmanindex table,
div.refmanindex tr,
div.refmanindex td { padding: 0px; margin: 0px; border-spacing: 0px; }
div.refmanindex p { margin-bottom: 0px; margin-top: 0px; }
table.classlist a { text-decoration: none; }
table.classlist td { padding-left: 0em; }
div.refmanindex ol p { margin: 0px; }
div.refmanindex ol li { margin: 0px; }
div.refmanindex div.classinfo { background-color: #ddd; }
div.classinfo div.inner { padding-left: 0.3em; margin-left: 0.2em; background-color: #fff; }
div.classinfo { margin-bottom: 0.5em; padding-top: 0px; }
div.refmanpar { padding-bottom: 1em; }
ol div.refmanpar { padding: 0px; }
div.refmanindex code { font-size: 100%; }
dl#document-toc dt { display: none; }
/* */
/* */
/* */

}


/* - codeview.css - */
@media all {
/* http://genode.org/portal_css/codeview.css?original=1 */
/* */
code#line {
color: #aaa;
font-style: normal;
font-size: 9pt;
}
code#preproc,
code#keynamespace,
code#keyinline,
code#keyprotected,
code#keyprivate,
code#keypublic,
code#keyclass,
code#keytypedef,
code#keyif,
code#keyelse,
code#keywhile,
code#keydo,
code#keyfor,
code#keyconst,
code#keyreturn,
code#keyenum,
code#keytemplate,
code#keystaticcast,
code#keyreinterpretcast,
code#keydynamiccast { font-weight: bold; }
code { margin: 0px; border: 0px; padding: 0px; }
#preproc     { color: #a55; }
#argdecltype { color: #55f; }
#tplargs     { color: #5a5; }
code#mlcomment, code#lcomment {
color: #556;
font-style: italic;
font-weight: normal;
}
div.cplusplus { padding-top: 20px; font-size: 7pt; }
/* */
/* */
/* */

}