Martine Lenders
6 years ago
30 changed files with 2336 additions and 1325 deletions
@ -0,0 +1,11 @@
|
||||
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> |
||||
<ul> |
||||
<li class="footer">Generated on $datetime by <a href="http://www.doxygen.org/index.html"> |
||||
<img class="footer" src="doxygen.png" alt="doxygen"></a> $doxygenversion</li> |
||||
</ul> |
||||
</div> |
||||
<!-- Include all compiled plugins (below), or include individual files as needed --> |
||||
<script src="bootstrap.min.js"></script> |
||||
<script src="riot-doxy.js"></script> |
||||
</body> |
||||
</html> |
||||
@ -0,0 +1,69 @@
|
||||
<!DOCTYPE html> |
||||
<html lang="en"> |
||||
<head> |
||||
<meta charset="utf-8"> |
||||
<meta http-equiv="X-UA-Compatible" content="IE=edge"> |
||||
<meta name="viewport" content="width=device-width, initial-scale=1"> |
||||
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags --> |
||||
<title>$title</title> |
||||
|
||||
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) --> |
||||
<script src="$relpath^jquery.min.js"></script> |
||||
<script src="$relpath^jquery.powertip.min.js"></script> |
||||
<script src="$relpath^jquery-ui.min.js"></script> |
||||
<script src="$relpath^doxy-jquery.js"></script> |
||||
<script src="$relpath^dynsections.js"></script> |
||||
$treeview |
||||
$search |
||||
$mathjax |
||||
<!-- Bootstrap --> |
||||
<link href="$relpath^doxygen.css" rel="stylesheet"> |
||||
<link href="$relpath^fonts.css" rel="stylesheet"> |
||||
<link href="$relpath^bootstrap.min.css" rel="stylesheet"> |
||||
<link href="$relpath^riot.css" rel="stylesheet"> |
||||
|
||||
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries --> |
||||
<!-- WARNING: Respond.js doesn't work if you view the page via file:// --> |
||||
<!--[if lt IE 9]> |
||||
<script src="https://oss.maxcdn.com/html5shiv/3.7.3/html5shiv.min.js"></script> |
||||
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script> |
||||
<![endif]--> |
||||
</head> |
||||
<body> |
||||
<div id="top"> |
||||
<nav class="navbar navbar-inverse"> |
||||
<div class="container-fluid"> |
||||
<!-- Brand and toggle get grouped for better mobile display --> |
||||
<div class="navbar-header"> |
||||
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar-collapse" aria-expanded="false"> |
||||
<span class="sr-only">Toggle navigation</span> |
||||
<span class="icon-bar"></span> |
||||
<span class="icon-bar"></span> |
||||
<span class="icon-bar"></span> |
||||
</button> |
||||
<a class="navbar-brand" id="brand-logo" href="http://riot-os.org"><img height="40px" src="$projectlogo" /></a> |
||||
<p class="navbar-text text-center visible-xs">Documentation</p> |
||||
</div> |
||||
<!-- Collect the nav links, forms, and other content for toggling --> |
||||
<div class="collapse navbar-collapse" id="navbar-collapse"> |
||||
<p class="navbar-text navbar-left"><span id="projectbrief">$projectbrief</span></p> |
||||
<ul id="riot-navlist" class="nav navbar-nav"></ul> |
||||
<form class="navbar-form navbar-left navbar-right hidden-sm hidden-xs"> |
||||
<div class="form-group"> |
||||
<div id="MSearchBox" class="MSearchBoxActive"> |
||||
<div class="input-group"> |
||||
<div class="input-group-addon"> |
||||
<span id="MSearchSelect" class="glyphicon glyphicon-search" aria-hidden="true" onmouseover="return searchBox.OnSearchSelectShow()" onmouseout="return searchBox.OnSearchSelectHide()"></span> |
||||
</div> |
||||
<input class="form-control" type="text" id="MSearchField" placeholder="Search" accesskey="S" onfocus="searchBox.OnSearchFieldFocus(true)" onblur="searchBox.OnSearchFieldFocus(false)" onkeyup="searchBox.OnSearchFieldChange(event)"> |
||||
<a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"> |
||||
<span id="search-reset" class="glyphicon glyphicon-remove-circle" aria-hidden="true"></span> |
||||
</a> |
||||
</div> |
||||
</div> |
||||
</div> |
||||
</form> |
||||
</div><!-- /.navbar-collapse --> |
||||
</div><!-- /.container-fluid --> |
||||
</nav> |
||||
</div> |
||||
@ -0,0 +1,436 @@
|
||||
{ |
||||
"_comment": "This file can be used to generate bootstrap CSS at http://getbootstrap.com/customize/", |
||||
"vars": { |
||||
"@gray-base": "rgb(0, 0, 0)", |
||||
"@gray-darker": "lighten(@gray-base, 13.5%)", |
||||
"@gray-dark": "lighten(@gray-base, 20%)", |
||||
"@gray": "lighten(@gray-base, 33.5%)", |
||||
"@gray-light": "lighten(@gray-base, 46.7%)", |
||||
"@gray-lighter": "lighten(@gray-base, 93.5%)", |
||||
"@brand-primary": "rgb(63, 166, 135)", |
||||
"@brand-success": "rgb(92, 184, 92)", |
||||
"@brand-info": "rgb(91, 192, 222)", |
||||
"@brand-warning": "rgb(240, 173, 78)", |
||||
"@brand-danger": "#bd202c", |
||||
"@body-bg": "rgb(255, 255, 255)", |
||||
"@text-color": "@gray-dark", |
||||
"@link-color": "@brand-primary", |
||||
"@link-hover-color": "darken(@link-color, 15%)", |
||||
"@link-hover-decoration": "none", |
||||
"@font-family-sans-serif": "\"Helvetica Neue\", Helvetica, Arial, sans-serif", |
||||
"@font-family-serif": "Georgia, \"Times New Roman\", Times, serif", |
||||
"@font-family-monospace": "Menlo, Monaco, Consolas, \"Courier New\", monospace", |
||||
"@font-family-base": "@font-family-sans-serif", |
||||
"@font-size-base": "14px", |
||||
"@font-size-large": "ceil((@font-size-base * 1.25))", |
||||
"@font-size-small": "ceil((@font-size-base * 0.85))", |
||||
"@font-size-h1": "floor((@font-size-base * 2.6))", |
||||
"@font-size-h2": "floor((@font-size-base * 2.15))", |
||||
"@font-size-h3": "ceil((@font-size-base * 1.7))", |
||||
"@font-size-h4": "ceil((@font-size-base * 1.25))", |
||||
"@font-size-h5": "@font-size-base", |
||||
"@font-size-h6": "ceil((@font-size-base * 0.85))", |
||||
"@line-height-base": "1.428571429", |
||||
"@line-height-computed": "floor((@font-size-base * @line-height-base))", |
||||
"@headings-font-family": "\"Miso\",@font-family-sans-serif", |
||||
"@headings-font-weight": "500", |
||||
"@headings-line-height": "1.1", |
||||
"@headings-color": "inherit", |
||||
"@icon-font-path": "\"\"", |
||||
"@icon-font-name": "\"glyphicons-halflings-regular\"", |
||||
"@icon-font-svg-id": "\"glyphicons_halflingsregular\"", |
||||
"@padding-base-vertical": "6px", |
||||
"@padding-base-horizontal": "12px", |
||||
"@padding-large-vertical": "10px", |
||||
"@padding-large-horizontal": "16px", |
||||
"@padding-small-vertical": "5px", |
||||
"@padding-small-horizontal": "10px", |
||||
"@padding-xs-vertical": "1px", |
||||
"@padding-xs-horizontal": "5px", |
||||
"@line-height-large": "1.3333333", |
||||
"@line-height-small": "1.5", |
||||
"@border-radius-base": "4px", |
||||
"@border-radius-large": "6px", |
||||
"@border-radius-small": "3px", |
||||
"@component-active-color": "@gray-darker", |
||||
"@component-active-bg": "@brand-primary", |
||||
"@caret-width-base": "4px", |
||||
"@caret-width-large": "5px", |
||||
"@table-cell-padding": "8px", |
||||
"@table-condensed-cell-padding": "5px", |
||||
"@table-bg": "transparent", |
||||
"@table-bg-accent": "@gray-lighter", |
||||
"@table-bg-hover": "lighten(@gray-lighter, 3%)", |
||||
"@table-bg-active": "@table-bg-hover", |
||||
"@table-border-color": "@gray-lighter", |
||||
"@btn-font-weight": "normal", |
||||
"@btn-default-color": "#333", |
||||
"@btn-default-bg": "#fff", |
||||
"@btn-default-border": "#ccc", |
||||
"@btn-primary-color": "rgb(255, 255, 255)", |
||||
"@btn-primary-bg": "@brand-primary", |
||||
"@btn-primary-border": "darken(@btn-primary-bg, 5%)", |
||||
"@btn-success-color": "rgb(255, 255, 255)", |
||||
"@btn-success-bg": "@brand-success", |
||||
"@btn-success-border": "darken(@btn-success-bg, 5%)", |
||||
"@btn-info-color": "rgb(255, 255, 255)", |
||||
"@btn-info-bg": "@brand-info", |
||||
"@btn-info-border": "darken(@btn-info-bg, 5%)", |
||||
"@btn-warning-color": "rgb(255, 255, 255)", |
||||
"@btn-warning-bg": "@brand-warning", |
||||
"@btn-warning-border": "darken(@btn-warning-bg, 5%)", |
||||
"@btn-danger-color": "rgb(255, 255, 255)", |
||||
"@btn-danger-bg": "@brand-danger", |
||||
"@btn-danger-border": "darken(@btn-danger-bg, 5%)", |
||||
"@btn-link-disabled-color": "@gray-light", |
||||
"@btn-border-radius-base": "@border-radius-base", |
||||
"@btn-border-radius-large": "@border-radius-large", |
||||
"@btn-border-radius-small": "@border-radius-small", |
||||
"@input-bg": "darken(@body-bg, 5%)", |
||||
"@input-bg-disabled": "darken(@input-bg, 20%)", |
||||
"@input-color": "@gray", |
||||
"@input-border": "@gray-lighter", |
||||
"@input-border-radius": "@border-radius-base", |
||||
"@input-border-radius-large": "@border-radius-large", |
||||
"@input-border-radius-small": "@border-radius-small", |
||||
"@input-border-focus": "@brand-primary", |
||||
"@input-color-placeholder": "@gray", |
||||
"@input-height-base": "(@line-height-computed + (@padding-base-vertical * 2) + 2)", |
||||
"@input-height-large": "(ceil(@font-size-large * @line-height-large) + (@padding-large-vertical * 2) + 2)", |
||||
"@input-height-small": "(floor(@font-size-small * @line-height-small) + (@padding-small-vertical * 2) + 2)", |
||||
"@form-group-margin-bottom": "15px", |
||||
"@legend-color": "@gray-dark", |
||||
"@legend-border-color": "@gray-lighter", |
||||
"@input-group-addon-bg": "@gray-lighter", |
||||
"@input-group-addon-border-color": "@input-border", |
||||
"@cursor-disabled": "not-allowed", |
||||
"@dropdown-bg": "#fff", |
||||
"@dropdown-border": "rgba(0,0,0,.15)", |
||||
"@dropdown-fallback-border": "#ccc", |
||||
"@dropdown-divider-bg": "#e5e5e5", |
||||
"@dropdown-link-color": "@gray-dark", |
||||
"@dropdown-link-hover-color": "darken(@gray-dark, 5%)", |
||||
"@dropdown-link-hover-bg": "#f5f5f5", |
||||
"@dropdown-link-active-color": "@component-active-color", |
||||
"@dropdown-link-active-bg": "@component-active-bg", |
||||
"@dropdown-link-disabled-color": "@gray-light", |
||||
"@dropdown-header-color": "@gray-light", |
||||
"@dropdown-caret-color": "rgb(0, 0, 0)", |
||||
"@screen-xs": "480px", |
||||
"@screen-xs-min": "@screen-xs", |
||||
"@screen-phone": "@screen-xs-min", |
||||
"@screen-sm": "768px", |
||||
"@screen-sm-min": "@screen-sm", |
||||
"@screen-tablet": "@screen-sm-min", |
||||
"@screen-md": "992px", |
||||
"@screen-md-min": "@screen-md", |
||||
"@screen-desktop": "@screen-md-min", |
||||
"@screen-lg": "1200px", |
||||
"@screen-lg-min": "@screen-lg", |
||||
"@screen-lg-desktop": "@screen-lg-min", |
||||
"@screen-xs-max": "(@screen-sm-min - 1)", |
||||
"@screen-sm-max": "(@screen-md-min - 1)", |
||||
"@screen-md-max": "(@screen-lg-min - 1)", |
||||
"@grid-columns": "12", |
||||
"@grid-gutter-width": "30px", |
||||
"@grid-float-breakpoint": "@screen-sm-min", |
||||
"@grid-float-breakpoint-max": "(@grid-float-breakpoint - 1)", |
||||
"@container-tablet": "(720px + @grid-gutter-width)", |
||||
"@container-sm": "@container-tablet", |
||||
"@container-desktop": "(940px + @grid-gutter-width)", |
||||
"@container-md": "@container-desktop", |
||||
"@container-large-desktop": "(1140px + @grid-gutter-width)", |
||||
"@container-lg": "@container-large-desktop", |
||||
"@navbar-height": "50px", |
||||
"@navbar-margin-bottom": "@line-height-computed", |
||||
"@navbar-border-radius": "@border-radius-base", |
||||
"@navbar-padding-horizontal": "floor((@grid-gutter-width / 2))", |
||||
"@navbar-padding-vertical": "((@navbar-height - @line-height-computed) / 2)", |
||||
"@navbar-collapse-max-height": "340px", |
||||
"@navbar-default-color": "rgb(119, 119, 119)", |
||||
"@navbar-default-bg": "rgb(248, 248, 248)", |
||||
"@navbar-default-border": "darken(@navbar-default-bg, 6.5%)", |
||||
"@navbar-default-link-color": "rgb(119, 119, 119)", |
||||
"@navbar-default-link-hover-color": "rgb(51, 51, 51)", |
||||
"@navbar-default-link-hover-bg": "transparent", |
||||
"@navbar-default-link-active-color": "rgb(85, 85, 85)", |
||||
"@navbar-default-link-active-bg": "darken(@navbar-default-bg, 6.5%)", |
||||
"@navbar-default-link-disabled-color": "rgb(204, 204, 204)", |
||||
"@navbar-default-link-disabled-bg": "transparent", |
||||
"@navbar-default-brand-color": "@navbar-default-link-color", |
||||
"@navbar-default-brand-hover-color": "darken(@navbar-default-brand-color, 10%)", |
||||
"@navbar-default-brand-hover-bg": "transparent", |
||||
"@navbar-default-toggle-hover-bg": "rgb(221, 221, 221)", |
||||
"@navbar-default-toggle-icon-bar-bg": "rgb(136, 136, 136)", |
||||
"@navbar-default-toggle-border-color": "rgb(221, 221, 221)", |
||||
"@navbar-inverse-color": "lighten(@gray-lighter, 15%)", |
||||
"@navbar-inverse-bg": "rgb(0, 0, 0)", |
||||
"@navbar-inverse-border": "lighten(@navbar-inverse-bg, 10%)", |
||||
"@navbar-inverse-link-color": "darken(@gray-light, 15%)", |
||||
"@navbar-inverse-link-hover-color": "rgb(255, 255, 255)", |
||||
"@navbar-inverse-link-hover-bg": "transparent", |
||||
"@navbar-inverse-link-active-color": "@navbar-inverse-link-hover-color", |
||||
"@navbar-inverse-link-active-bg": "darken(@navbar-inverse-bg, 10%)", |
||||
"@navbar-inverse-link-disabled-color": "rgb(68, 68, 68)", |
||||
"@navbar-inverse-link-disabled-bg": "transparent", |
||||
"@navbar-inverse-brand-color": "@navbar-inverse-link-color", |
||||
"@navbar-inverse-brand-hover-color": "rgb(255, 255, 255)", |
||||
"@navbar-inverse-brand-hover-bg": "transparent", |
||||
"@navbar-inverse-toggle-hover-bg": "rgb(51, 51, 51)", |
||||
"@navbar-inverse-toggle-icon-bar-bg": "rgb(255, 255, 255)", |
||||
"@navbar-inverse-toggle-border-color": "rgb(51, 51, 51)", |
||||
"@nav-link-padding": "10px 15px", |
||||
"@nav-link-hover-bg": "@gray-lighter", |
||||
"@nav-disabled-link-color": "@gray-light", |
||||
"@nav-disabled-link-hover-color": "@gray-light", |
||||
"@nav-tabs-border-color": "@gray", |
||||
"@nav-tabs-link-hover-border-color": "@gray-dark", |
||||
"@nav-tabs-active-link-hover-bg": "@body-bg", |
||||
"@nav-tabs-active-link-hover-color": "@gray", |
||||
"@nav-tabs-active-link-hover-border-color": "@nav-tabs-border-color", |
||||
"@nav-tabs-justified-link-border-color": "rgb(221, 221, 221)", |
||||
"@nav-tabs-justified-active-link-border-color": "@body-bg", |
||||
"@nav-pills-border-radius": "@border-radius-base", |
||||
"@nav-pills-active-link-hover-bg": "@component-active-bg", |
||||
"@nav-pills-active-link-hover-color": "@component-active-color", |
||||
"@pagination-color": "@link-color", |
||||
"@pagination-bg": "#fff", |
||||
"@pagination-border": "#ddd", |
||||
"@pagination-hover-color": "@link-hover-color", |
||||
"@pagination-hover-bg": "@gray-lighter", |
||||
"@pagination-hover-border": "#ddd", |
||||
"@pagination-active-color": "#fff", |
||||
"@pagination-active-bg": "@brand-primary", |
||||
"@pagination-active-border": "@brand-primary", |
||||
"@pagination-disabled-color": "@gray-light", |
||||
"@pagination-disabled-bg": "#fff", |
||||
"@pagination-disabled-border": "#ddd", |
||||
"@pager-bg": "@pagination-bg", |
||||
"@pager-border": "@pagination-border", |
||||
"@pager-border-radius": "15px", |
||||
"@pager-hover-bg": "@pagination-hover-bg", |
||||
"@pager-active-bg": "@pagination-active-bg", |
||||
"@pager-active-color": "@pagination-active-color", |
||||
"@pager-disabled-color": "@pagination-disabled-color", |
||||
"@jumbotron-padding": "30px", |
||||
"@jumbotron-color": "inherit", |
||||
"@jumbotron-bg": "@gray-lighter", |
||||
"@jumbotron-heading-color": "inherit", |
||||
"@jumbotron-font-size": "ceil((@font-size-base * 1.5))", |
||||
"@jumbotron-heading-font-size": "ceil((@font-size-base * 4.5))", |
||||
"@state-success-text": "@brand-success", |
||||
"@state-success-bg": "lighten(@brand-success, 35%)", |
||||
"@state-success-border": "darken(spin(@state-success-bg, -10), 5%)", |
||||
"@state-info-text": "@brand-info", |
||||
"@state-info-bg": "lighten(@brand-info, 35%)", |
||||
"@state-info-border": "darken(spin(@state-info-bg, -10), 7%)", |
||||
"@state-warning-text": "@brand-warning", |
||||
"@state-warning-bg": "lighten(@brand-warning, 35%)", |
||||
"@state-warning-border": "darken(spin(@state-warning-bg, -10), 5%)", |
||||
"@state-danger-text": "@brand-danger", |
||||
"@state-danger-bg": "lighten(@brand-danger, 50%)", |
||||
"@state-danger-border": "darken(spin(@state-danger-bg, -10), 5%)", |
||||
"@tooltip-max-width": "200px", |
||||
"@tooltip-color": "rgb(255, 255, 255)", |
||||
"@tooltip-bg": "#000", |
||||
"@tooltip-opacity": ".9", |
||||
"@tooltip-arrow-width": "5px", |
||||
"@tooltip-arrow-color": "@tooltip-bg", |
||||
"@popover-bg": "rgb(255, 255, 255)", |
||||
"@popover-max-width": "276px", |
||||
"@popover-border-color": "rgba(0, 0, 0, 0.2)", |
||||
"@popover-fallback-border-color": "rgb(204, 204, 204)", |
||||
"@popover-title-bg": "darken(@popover-bg, 3%)", |
||||
"@popover-arrow-width": "10px", |
||||
"@popover-arrow-color": "@popover-bg", |
||||
"@popover-arrow-outer-width": "(@popover-arrow-width + 1)", |
||||
"@popover-arrow-outer-color": "fadein(@popover-border-color, 5%)", |
||||
"@popover-arrow-outer-fallback-color": "darken(@popover-fallback-border-color, 20%)", |
||||
"@label-default-bg": "@gray-light", |
||||
"@label-primary-bg": "@brand-primary", |
||||
"@label-success-bg": "@brand-success", |
||||
"@label-info-bg": "@brand-info", |
||||
"@label-warning-bg": "@brand-warning", |
||||
"@label-danger-bg": "@brand-danger", |
||||
"@label-color": "rgb(255, 255, 255)", |
||||
"@label-link-hover-color": "rgb(255, 255, 255)", |
||||
"@modal-inner-padding": "15px", |
||||
"@modal-title-padding": "15px", |
||||
"@modal-title-line-height": "@line-height-base", |
||||
"@modal-content-bg": "rgb(255, 255, 255)", |
||||
"@modal-content-border-color": "rgba(0, 0, 0, 0.2)", |
||||
"@modal-content-fallback-border-color": "rgb(153, 153, 153)", |
||||
"@modal-backdrop-bg": "rgb(0, 0, 0)", |
||||
"@modal-backdrop-opacity": ".5", |
||||
"@modal-header-border-color": "rgb(229, 229, 229)", |
||||
"@modal-footer-border-color": "@modal-header-border-color", |
||||
"@modal-lg": "900px", |
||||
"@modal-md": "600px", |
||||
"@modal-sm": "300px", |
||||
"@alert-padding": "15px", |
||||
"@alert-border-radius": "@border-radius-base", |
||||
"@alert-link-font-weight": "bold", |
||||
"@alert-success-bg": "@state-success-bg", |
||||
"@alert-success-text": "@state-success-text", |
||||
"@alert-success-border": "@state-success-border", |
||||
"@alert-info-bg": "@state-info-bg", |
||||
"@alert-info-text": "@state-info-text", |
||||
"@alert-info-border": "@state-info-border", |
||||
"@alert-warning-bg": "@state-warning-bg", |
||||
"@alert-warning-text": "@state-warning-text", |
||||
"@alert-warning-border": "@state-warning-border", |
||||
"@alert-danger-bg": "@state-danger-bg", |
||||
"@alert-danger-text": "@state-danger-text", |
||||
"@alert-danger-border": "@state-danger-border", |
||||
"@progress-bg": "#f5f5f5", |
||||
"@progress-bar-color": "#fff", |
||||
"@progress-border-radius": "@border-radius-base", |
||||
"@progress-bar-bg": "@brand-primary", |
||||
"@progress-bar-success-bg": "@brand-success", |
||||
"@progress-bar-warning-bg": "@brand-warning", |
||||
"@progress-bar-danger-bg": "@brand-danger", |
||||
"@progress-bar-info-bg": "@brand-info", |
||||
"@list-group-bg": "#fff", |
||||
"@list-group-border": "#ddd", |
||||
"@list-group-border-radius": "@border-radius-base", |
||||
"@list-group-hover-bg": "#f5f5f5", |
||||
"@list-group-active-color": "@component-active-color", |
||||
"@list-group-active-bg": "@component-active-bg", |
||||
"@list-group-active-border": "@list-group-active-bg", |
||||
"@list-group-active-text-color": "lighten(@list-group-active-bg, 40%)", |
||||
"@list-group-disabled-color": "@gray-light", |
||||
"@list-group-disabled-bg": "@gray-lighter", |
||||
"@list-group-disabled-text-color": "@list-group-disabled-color", |
||||
"@list-group-link-color": "inherit", |
||||
"@list-group-link-hover-color": "inherit", |
||||
"@list-group-link-heading-color": "#333", |
||||
"@panel-bg": "#fff", |
||||
"@panel-body-padding": "15px", |
||||
"@panel-heading-padding": "10px 15px", |
||||
"@panel-footer-padding": "@panel-heading-padding", |
||||
"@panel-border-radius": "@border-radius-base", |
||||
"@panel-inner-border": "#ddd", |
||||
"@panel-footer-bg": "#f5f5f5", |
||||
"@panel-default-text": "@gray-dark", |
||||
"@panel-default-border": "#ddd", |
||||
"@panel-default-heading-bg": "#f5f5f5", |
||||
"@panel-primary-text": "#fff", |
||||
"@panel-primary-border": "@brand-primary", |
||||
"@panel-primary-heading-bg": "@brand-primary", |
||||
"@panel-success-text": "@state-success-text", |
||||
"@panel-success-border": "@state-success-border", |
||||
"@panel-success-heading-bg": "@state-success-bg", |
||||
"@panel-info-text": "@state-info-text", |
||||
"@panel-info-border": "@state-info-border", |
||||
"@panel-info-heading-bg": "@state-info-bg", |
||||
"@panel-warning-text": "@state-warning-text", |
||||
"@panel-warning-border": "@state-warning-border", |
||||
"@panel-warning-heading-bg": "@state-warning-bg", |
||||
"@panel-danger-text": "@state-danger-text", |
||||
"@panel-danger-border": "@state-danger-border", |
||||
"@panel-danger-heading-bg": "@state-danger-bg", |
||||
"@thumbnail-padding": "4px", |
||||
"@thumbnail-bg": "@body-bg", |
||||
"@thumbnail-border": "rgb(221, 221, 221)", |
||||
"@thumbnail-border-radius": "@border-radius-base", |
||||
"@thumbnail-caption-color": "@text-color", |
||||
"@thumbnail-caption-padding": "9px", |
||||
"@well-bg": "#f5f5f5", |
||||
"@well-border": "darken(@well-bg, 7%)", |
||||
"@badge-color": "#fff", |
||||
"@badge-link-hover-color": "#fff", |
||||
"@badge-bg": "@gray-light", |
||||
"@badge-active-color": "@link-color", |
||||
"@badge-active-bg": "rgb(255, 255, 255)", |
||||
"@badge-font-weight": "bold", |
||||
"@badge-line-height": "1", |
||||
"@badge-border-radius": "10px", |
||||
"@breadcrumb-padding-vertical": "8px", |
||||
"@breadcrumb-padding-horizontal": "15px", |
||||
"@breadcrumb-bg": "lighten(@body-bg, 10%)", |
||||
"@breadcrumb-color": "lighten(@text-color, 10%)", |
||||
"@breadcrumb-active-color": "@gray-light", |
||||
"@breadcrumb-separator": "\"/\"", |
||||
"@carousel-text-shadow": "0 1px 2px rgba(0,0,0,.6)", |
||||
"@carousel-control-color": "rgb(255, 255, 255)", |
||||
"@carousel-control-width": "15%", |
||||
"@carousel-control-opacity": ".5", |
||||
"@carousel-control-font-size": "20px", |
||||
"@carousel-indicator-active-bg": "rgb(255, 255, 255)", |
||||
"@carousel-indicator-border-color": "rgb(255, 255, 255)", |
||||
"@carousel-caption-color": "rgb(255, 255, 255)", |
||||
"@close-font-weight": "bold", |
||||
"@close-color": "rgb(0, 0, 0)", |
||||
"@close-text-shadow": "0 1px 0 #fff", |
||||
"@code-color": "inherit", |
||||
"@code-bg": "transparent", |
||||
"@kbd-color": "@gray-lighter", |
||||
"@kbd-bg": "@gray-darker", |
||||
"@pre-bg": "inherit", |
||||
"@pre-color": "inherit", |
||||
"@pre-border-color": "@gray", |
||||
"@pre-scrollable-max-height": "340px", |
||||
"@component-offset-horizontal": "180px", |
||||
"@text-muted": "@gray-light", |
||||
"@abbr-border-color": "@gray-light", |
||||
"@headings-small-color": "@gray-light", |
||||
"@blockquote-small-color": "@gray-light", |
||||
"@blockquote-font-size": "(@font-size-base * 1.25)", |
||||
"@blockquote-border-color": "@gray-lighter", |
||||
"@page-header-border-color": "@gray-lighter", |
||||
"@dl-horizontal-offset": "@component-offset-horizontal", |
||||
"@dl-horizontal-breakpoint": "@grid-float-breakpoint", |
||||
"@hr-border": "@gray-lighter" |
||||
}, |
||||
"css": [ |
||||
"print.less", |
||||
"type.less", |
||||
"code.less", |
||||
"grid.less", |
||||
"tables.less", |
||||
"forms.less", |
||||
"buttons.less", |
||||
"responsive-utilities.less", |
||||
"glyphicons.less", |
||||
"button-groups.less", |
||||
"input-groups.less", |
||||
"navs.less", |
||||
"navbar.less", |
||||
"breadcrumbs.less", |
||||
"pagination.less", |
||||
"pager.less", |
||||
"labels.less", |
||||
"badges.less", |
||||
"jumbotron.less", |
||||
"thumbnails.less", |
||||
"alerts.less", |
||||
"progress-bars.less", |
||||
"media.less", |
||||
"list-group.less", |
||||
"panels.less", |
||||
"responsive-embed.less", |
||||
"wells.less", |
||||
"close.less", |
||||
"component-animations.less", |
||||
"dropdowns.less", |
||||
"tooltip.less", |
||||
"popovers.less", |
||||
"modals.less", |
||||
"carousel.less" |
||||
], |
||||
"js": [ |
||||
"alert.js", |
||||
"button.js", |
||||
"carousel.js", |
||||
"dropdown.js", |
||||
"modal.js", |
||||
"tooltip.js", |
||||
"popover.js", |
||||
"tab.js", |
||||
"affix.js", |
||||
"collapse.js", |
||||
"scrollspy.js", |
||||
"transition.js" |
||||
], |
||||
"customizerUrl": "http://getbootstrap.com/customize/?id=51ea44933bb58a90bb8e2882f341866a" |
||||
} |
||||
File diff suppressed because one or more lines are too long
@ -0,0 +1,17 @@
|
||||
/* |
||||
* fonts.css |
||||
* Copyright (C) 2017 Freie Universitรคt Berlin |
||||
* |
||||
* Distributed under terms of the LGPLv2.1 license (see LICENSE file) |
||||
*/ |
||||
|
||||
@font-face { |
||||
font-family: 'Miso'; |
||||
src: url('miso.eot'); |
||||
src: url('miso.eot?#iefix') format('embedded-opentype'), |
||||
url('miso.woff') format('woff'), |
||||
url('miso.ttf') format('truetype'), |
||||
url('miso.svg#Miso') format('svg'); |
||||
font-weight: normal; |
||||
font-style: normal; |
||||
} |
||||
@ -0,0 +1,500 @@
|
||||
/* |
||||
* riot.css |
||||
* Copyright (C) 2017 Freie Universitรคt Berlin |
||||
* |
||||
* Distributed under terms of the LGPLv2.1 license (see LICENSE file). |
||||
*/ |
||||
table, |
||||
div, |
||||
p, |
||||
dl { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
#brand-logo { |
||||
padding: 5px 0px 5px 0px; |
||||
} |
||||
.navbar { |
||||
margin-bottom: 0px; |
||||
} |
||||
.navbar-inverse { |
||||
border-radius: 0px; |
||||
border-bottom: 3px #1a1a1a solid; |
||||
} |
||||
.nav-tabs-regs { |
||||
margin-top: 1px; |
||||
border-bottom: 1px solid #1a1a1a; |
||||
} |
||||
.nav-tabs-regs > li.active > a { |
||||
border: 1px solid #1a1a1a; |
||||
border-bottom-color: transparent; |
||||
} |
||||
#MSearchBox { |
||||
background-color: inherit; |
||||
float: none; |
||||
margin-top: 0; |
||||
right: auto; |
||||
width: auto; |
||||
position: static; |
||||
white-space: nowrap; |
||||
} |
||||
#MSearchClose { |
||||
position: absolute; |
||||
color: #515151; |
||||
right: 10px; |
||||
top: 6px; |
||||
bottom: auto; |
||||
height: 14px; |
||||
margin: auto; |
||||
font-size: 14px; |
||||
z-index: 3; |
||||
} |
||||
#MSearchField { |
||||
background: #000000; |
||||
border: #eeeeee solid 1px; |
||||
color: #ffffff; |
||||
display: inline; |
||||
font: 14px "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
height: 34px; |
||||
width: 150px; |
||||
padding: 6px 12px; |
||||
position: static; |
||||
outline: inherit; |
||||
margin: auto; |
||||
font-size: 14px; |
||||
z-index: 1; |
||||
} |
||||
#MSearchSelect { |
||||
position: relative; |
||||
display: inline; |
||||
height: auto; |
||||
width: auto; |
||||
} |
||||
.MSearchBoxActive #MSearchField { |
||||
color: #ffffff; |
||||
} |
||||
.MSearchBoxInactive #MSearchField { |
||||
color: #555555; |
||||
} |
||||
#MSearchSelectWindow { |
||||
background-color: #000000; |
||||
} |
||||
a.SelectItem, |
||||
a.SelectItem:focus, |
||||
a.SelectItem:active { |
||||
color: #3fa687; |
||||
} |
||||
#nav-sync { |
||||
display: none; |
||||
} |
||||
#nav-tree { |
||||
background: #f5f5f5; |
||||
} |
||||
#nav-tree img { |
||||
-webkit-box-sizing: content-box; |
||||
box-sizing: content-box; |
||||
} |
||||
#side-nav { |
||||
padding-right: 3px; |
||||
} |
||||
.ui-resizable-e { |
||||
background: #e3e3e3; |
||||
width: 3px; |
||||
} |
||||
#nav-sync img { |
||||
opacity: 0.5; |
||||
} |
||||
div.toc, div.toc-sm { |
||||
min-height: 20px; |
||||
margin-bottom: 20px; |
||||
background-color: #f5f5f5; |
||||
border: 1px solid #e3e3e3; |
||||
border-radius: 4px; |
||||
-webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05); |
||||
box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05); |
||||
} |
||||
div.toc { |
||||
padding: 19px; |
||||
} |
||||
div.toc-sm { |
||||
padding: 8px; |
||||
} |
||||
div.toc h3, div.toc h3 { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
div.toc-sm h3 { |
||||
margin-top: 0px; |
||||
} |
||||
div.toc-sm ul { |
||||
list-style: none; |
||||
margin: 0; |
||||
padding-left: 10px; |
||||
} |
||||
div.toc li, div.toc-sm li { |
||||
background: none; |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
margin-left: 0; |
||||
} |
||||
div.ingroups { |
||||
font-size: 10pt; |
||||
} |
||||
div.header { |
||||
background: none; |
||||
border-bottom: 1px solid #eeeeee; |
||||
} |
||||
h1.glow, |
||||
h2.glow, |
||||
h3.glow, |
||||
h4.glow, |
||||
h5.glow, |
||||
h6.glow { |
||||
text-shadow: 0 0 15px #cce6c7; |
||||
} |
||||
h2.groupheader { |
||||
border-color: #eeeeee; |
||||
color: inherit; |
||||
} |
||||
tr.heading h2 { |
||||
margin-bottom: 0px; |
||||
} |
||||
.memSeparator { |
||||
border-bottom: 1px solid #eeeeee; |
||||
} |
||||
.title { |
||||
color: inherit; |
||||
font-family: "Miso", "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
font-size: 45px; |
||||
line-height: 64px; |
||||
font-weight: normal; |
||||
} |
||||
#projectname, |
||||
#projectbrief, |
||||
#projectnumber { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
#projectbrief { |
||||
font-size: 10px; |
||||
} |
||||
pre.fragment { |
||||
font-family: Menlo, Monaco, Consolas, "Courier New", monospace; |
||||
} |
||||
div.fragment { |
||||
border: 1px solid #e3e3e3; |
||||
border-radius: 4px; |
||||
background-color: #f5f5f5; |
||||
color: inherit; |
||||
display: block; |
||||
font-family: Menlo, Monaco, Consolas, "Courier New", monospace; |
||||
font-size: 14px; |
||||
line-height: 1.42857143; |
||||
margin: 0 0 10px; |
||||
overflow: visible; |
||||
page-break-inside: avoid; |
||||
word-break: break-all; |
||||
word-wrap: break-word; |
||||
} |
||||
div.line.glow { |
||||
background-color: #d8eed8; |
||||
box-shadow: 0 0 10px #cce6c7; |
||||
-webkit-box-shadow: 0 0 15px #cce6c7; |
||||
} |
||||
span.lineno { |
||||
background-color: transparent; |
||||
border-right: 3px solid #e3e3e3; |
||||
} |
||||
span.lineno a { |
||||
background-color: transparent; |
||||
} |
||||
span.lineno a:hover { |
||||
background-color: transparent; |
||||
} |
||||
div.directory { |
||||
border: 0px; |
||||
} |
||||
table.directory { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
.directory .arrow { |
||||
height: auto; |
||||
} |
||||
.directory .levels span { |
||||
color: #3fa687; |
||||
} |
||||
.contents a:visited { |
||||
color: #3fa687; |
||||
} |
||||
.contents a:hover { |
||||
color: #2a6f5a; |
||||
} |
||||
.directory td.entry { |
||||
padding-bottom: 8px; |
||||
padding-top: 8px; |
||||
} |
||||
.directory td.desc { |
||||
padding-bottom: 8px; |
||||
padding-top: 8px; |
||||
border-left: 0px; |
||||
} |
||||
.directory tr { |
||||
height: 32px; |
||||
padding-left: 0px; |
||||
} |
||||
.directory tr.even { |
||||
padding-left: 0px; |
||||
background-color: #eeeeee; |
||||
} |
||||
.memberdecls td.glow, |
||||
.fieldtable tr.glow { |
||||
background-color: #d8eed8; |
||||
box-shadow: 0 0 15px #cce6c7; |
||||
-webkit-box-shadow: 0 0 15px #cce6c7; |
||||
} |
||||
.mdescLeft, |
||||
.mdescRight, |
||||
.memItemLeft, |
||||
.memItemRight, |
||||
.memTemplItemLeft, |
||||
.memTemplItemRight, |
||||
.memTemplParams { |
||||
background-color: transparent; |
||||
color: #333333; |
||||
border: none; |
||||
margin: 4px; |
||||
padding: 1px 0 0 8px; |
||||
} |
||||
.navpath ul { |
||||
color: #ffffff; |
||||
background: #000000; |
||||
border: 0px; |
||||
} |
||||
.navpath li.footer { |
||||
color: #ffffff; |
||||
} |
||||
.navpath li.navelem a { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
.memitem { |
||||
margin-bottom: 20px; |
||||
background-color: #ffffff; |
||||
border: 1px solid transparent; |
||||
border-radius: 4px; |
||||
} |
||||
.memitem.glow { |
||||
box-shadow: 0 0 15px #cce6c7; |
||||
-webkit-box-shadow: 0 0 15px #cce6c7; |
||||
} |
||||
.memdoc, |
||||
dl.reflist > dd { |
||||
border: none; |
||||
background: #ffffff; |
||||
padding: 15px; |
||||
border-bottom: 1px solid #dddddd; |
||||
border-left: 1px solid #dddddd; |
||||
border-right: 1px solid #dddddd; |
||||
} |
||||
.memname { |
||||
font-weight: normal; |
||||
margin-left: 0; |
||||
margin-top: 0; |
||||
margin-bottom: 0; |
||||
font-size: 16px; |
||||
color: inherit; |
||||
} |
||||
.memproto, |
||||
dl.reflist > dt { |
||||
padding: 10px 15px; |
||||
border-bottom: 1px solid transparent; |
||||
border-top: 1px solid #dddddd; |
||||
border-left: 1px solid #dddddd; |
||||
border-right: 1px solid #dddddd; |
||||
border-top-right-radius: 3px; |
||||
border-top-left-radius: 3px; |
||||
color: #333333; |
||||
background: #f5f5f5; |
||||
text-shadow: none; |
||||
} |
||||
/* @group Code Colorization */ |
||||
a.code { |
||||
color: #3fa687; |
||||
} |
||||
span.keyword, |
||||
span.keywordtype, |
||||
span.keywordflow, |
||||
span.vhdlkeyword { |
||||
color: #1a1a1a; |
||||
} |
||||
span.keywordflow { |
||||
font-weight: bold; |
||||
} |
||||
span.comment { |
||||
color: #5bc0de; |
||||
} |
||||
span.preprocessor { |
||||
color: #5cb85c; |
||||
} |
||||
span.stringliteral { |
||||
color: #f0ad4e; |
||||
} |
||||
span.charliteral, |
||||
span.vhdldigit, |
||||
span.vhdlchar, |
||||
span.vhdllogic { |
||||
color: #bd202c; |
||||
} |
||||
dl.attention, |
||||
dl.bug, |
||||
dl.deprecated, |
||||
dl.invariant, |
||||
dl.post, |
||||
dl.pre, |
||||
dl.note, |
||||
dl.see, |
||||
dl.test, |
||||
dl.todo, |
||||
dl.warning { |
||||
margin-left: 3px; |
||||
margin-bottom: 20px; |
||||
padding-left: 0px; |
||||
background-color: #ffffff; |
||||
border-left: 0px; |
||||
border: 1px solid transparent; |
||||
border-radius: 4px; |
||||
-webkit-box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05); |
||||
box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05); |
||||
} |
||||
dl.attention > dd, |
||||
dl.deprecated > dd, |
||||
dl.bug > dd, |
||||
dl.invariant > dd, |
||||
dl.post > dd, |
||||
dl.pre > dd, |
||||
dl.note > dd, |
||||
dl.see > dd, |
||||
dl.test > dd, |
||||
dl.todo > dd, |
||||
dl.warning > dd { |
||||
padding: 15px; |
||||
margin-bottom: 0px; |
||||
} |
||||
dl.attention > dt, |
||||
dl.deprecated > dt, |
||||
dl.bug > dt, |
||||
dl.invariant > dt, |
||||
dl.post > dt, |
||||
dl.pre > dt, |
||||
dl.note > dt, |
||||
dl.see > dt, |
||||
dl.test > dt, |
||||
dl.todo > dt, |
||||
dl.warning > dt { |
||||
padding: 10px 15px; |
||||
} |
||||
dl.attention, |
||||
dl.warning { |
||||
border-color: #f6ccd6; |
||||
} |
||||
dl.attention > dt, |
||||
dl.warning > dt { |
||||
color: #bd202c; |
||||
background-color: #fae2e4; |
||||
border-color: #bd202c; |
||||
} |
||||
dl.bug { |
||||
border-color: #fce9db; |
||||
} |
||||
dl.bug a, |
||||
dl.bug a:visited { |
||||
color: #f0ad4e; |
||||
} |
||||
dl.bug a:hover { |
||||
color: #df8a13; |
||||
} |
||||
dl.bug > dt { |
||||
color: #f0ad4e; |
||||
background-color: #fef9f3; |
||||
border-color: #f0ad4e; |
||||
} |
||||
dl.deprecated { |
||||
border-color: #6a6a6a; |
||||
} |
||||
dl.deprecated a, |
||||
dl.deprecated a:visited { |
||||
color: #222222; |
||||
} |
||||
dl.deprecated a:hover { |
||||
color: #000000; |
||||
} |
||||
dl.deprecated > dt { |
||||
color: #222222; |
||||
background-color: #777777; |
||||
border-color: #6a6a6a; |
||||
} |
||||
dl.note, |
||||
dl.see { |
||||
border-color: #3fa687; |
||||
} |
||||
dl.note > dt, |
||||
dl.see > dt { |
||||
color: #ffffff; |
||||
background-color: #3fa687; |
||||
border-color: #3fa687; |
||||
} |
||||
dl.post, |
||||
dl.pre, |
||||
dl.invariant { |
||||
border-color: #cce6c7; |
||||
} |
||||
dl.post > dt, |
||||
dl.pre > dt, |
||||
dl.invariant > dt { |
||||
color: #5cb85c; |
||||
background-color: #d8eed8; |
||||
border-color: #cce6c7; |
||||
} |
||||
dl.test { |
||||
border-color: #d2e2f6; |
||||
} |
||||
dl.test a, |
||||
dl.test a:visited { |
||||
color: #5b7ede; |
||||
} |
||||
dl.test a:hover { |
||||
color: #2852c5; |
||||
} |
||||
dl.test > dt { |
||||
color: #5b7ede; |
||||
background-color: #f0f3fc; |
||||
border-color: #d2e2f6; |
||||
} |
||||
dl.todo { |
||||
border-color: #d2f4f6; |
||||
} |
||||
dl.todo a, |
||||
dl.todo a:visited { |
||||
color: #5bc0de; |
||||
} |
||||
dl.todo a:hover { |
||||
color: #28a1c5; |
||||
} |
||||
dl.todo > dt { |
||||
color: #5bc0de; |
||||
background-color: #f0f9fc; |
||||
border-color: #d2f4f6; |
||||
} |
||||
#powerTip div { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
.params .paramdir { |
||||
font-family: Menlo, Monaco, Consolas, "Courier New", monospace; |
||||
} |
||||
.icon { |
||||
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; |
||||
} |
||||
.img-responsive { |
||||
margin: 0 auto; |
||||
} |
||||
.image > img { |
||||
border: 1px solid #e3e3e3; |
||||
border-radius: 4px; |
||||
background-color: #f5f5f5; |
||||
padding: 4px 6px; |
||||
} |
||||
Binary file not shown.
