Merge pull request #6878 from miri64/doc/enh/beatify

doc: Doxygen beautification

Merge pull request #6878 from miri64/doc/enh/beatify
07626235 · Alexandre Abadie · GitHub · 9fc95504 · 8ea20ea5 · 07626235
Commit 07626235 authored 7 years ago by Alexandre Abadie Committed by GitHub 7 years ago
--- a/doc/doxygen/footer.html
+++ b/doc/doxygen/footer.html
+    <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>
--- a/doc/doxygen/header.html
+++ b/doc/doxygen/header.html
+<!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>
--- a/doc/doxygen/riot.doxyfile
+++ b/doc/doxygen/riot.doxyfile
@@ -1074,7 +1074,7 @@ HTML_FILE_EXTENSION    = .html
 # of the possible markers and block names see the documentation.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_HEADER            =
+HTML_HEADER            = header.html

 # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
 # generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1084,7 +1084,7 @@ HTML_HEADER            =
 # that doxygen normally uses.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_FOOTER            =
+HTML_FOOTER            = footer.html

 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
 # sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1109,7 +1109,7 @@ HTML_STYLESHEET        =
 # list). For an example see the documentation.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_EXTRA_STYLESHEET  =
+HTML_EXTRA_STYLESHEET  = src/css/riot.css

 # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
 # other source files which should be copied to the HTML output directory. Note
@@ -1119,7 +1119,24 @@ HTML_EXTRA_STYLESHEET  =
 # files will be copied as-is; there are no commands or markers available.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_EXTRA_FILES       =
+HTML_EXTRA_FILES       = src/css/bootstrap.min.css \
+                         src/css/fonts.css \
+                         src/css/riot.css \
+                         src/fonts/glyphicons-halflings-regular.eot \
+                         src/fonts/glyphicons-halflings-regular.svg \
+                         src/fonts/glyphicons-halflings-regular.ttf \
+                         src/fonts/glyphicons-halflings-regular.woff2 \
+                         src/fonts/glyphicons-halflings-regular.woff \
+                         src/fonts/miso.eot \
+                         src/fonts/miso.svg \
+                         src/fonts/miso.ttf \
+                         src/fonts/miso.woff \
+                         src/js/bootstrap.min.js \
+                         src/js/doxy-jquery.js \
+                         src/js/jquery.min.js \
+                         src/js/jquery.powertip.min.js \
+                         src/js/jquery-ui.min.js \
+                         src/js/riot-doxy.js

 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen
 # will adjust the colors in the stylesheet and background images according to
@@ -1130,7 +1147,7 @@ HTML_EXTRA_FILES       =
 # Minimum value: 0, maximum value: 359, default value: 220.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_COLORSTYLE_HUE    = 354
+HTML_COLORSTYLE_HUE    = 162

 # The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of the colors
 # in the HTML output. For a value of 0 the output will use grayscales only. A
@@ -1138,7 +1155,7 @@ HTML_COLORSTYLE_HUE    = 354
 # Minimum value: 0, maximum value: 255, default value: 100.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_COLORSTYLE_SAT    = 86
+HTML_COLORSTYLE_SAT    = 62

 # The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to the
 # luminance component of the colors in the HTML output. Values below 100
@@ -1149,7 +1166,7 @@ HTML_COLORSTYLE_SAT    = 86
 # Minimum value: 40, maximum value: 240, default value: 80.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_COLORSTYLE_GAMMA  = 74
+HTML_COLORSTYLE_GAMMA  = 80

 # If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML
 # page will contain the date and time when the page was generated. Setting this

--- a/doc/doxygen/src/config.json
+++ b/doc/doxygen/src/config.json
+{
+  "_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"
+}
--- a/doc/doxygen/src/css/bootstrap.min.css
+++ b/doc/doxygen/src/css/bootstrap.min.css
--- a/doc/doxygen/src/css/fonts.css
+++ b/doc/doxygen/src/css/fonts.css
+/*
+ * 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;
+}
--- a/doc/doxygen/src/css/riot.css
+++ b/doc/doxygen/src/css/riot.css
+/*
+ * 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;
+}
--- a/doc/doxygen/src/fonts/glyphicons-halflings-regular.eot
+++ b/doc/doxygen/src/fonts/glyphicons-halflings-regular.eot
--- a/doc/doxygen/src/fonts/glyphicons-halflings-regular.svg
+++ b/doc/doxygen/src/fonts/glyphicons-halflings-regular.svg
--- a/doc/doxygen/src/fonts/glyphicons-halflings-regular.ttf
+++ b/doc/doxygen/src/fonts/glyphicons-halflings-regular.ttf
--- a/doc/doxygen/src/fonts/glyphicons-halflings-regular.woff
+++ b/doc/doxygen/src/fonts/glyphicons-halflings-regular.woff
--- a/doc/doxygen/src/fonts/glyphicons-halflings-regular.woff2
+++ b/doc/doxygen/src/fonts/glyphicons-halflings-regular.woff2
--- a/doc/doxygen/src/fonts/miso.eot
+++ b/doc/doxygen/src/fonts/miso.eot
--- a/doc/doxygen/src/fonts/miso.svg
+++ b/doc/doxygen/src/fonts/miso.svg
--- a/doc/doxygen/src/fonts/miso.ttf
+++ b/doc/doxygen/src/fonts/miso.ttf
--- a/doc/doxygen/src/fonts/miso.woff
+++ b/doc/doxygen/src/fonts/miso.woff
--- a/doc/doxygen/src/js/bootstrap.min.js
+++ b/doc/doxygen/src/js/bootstrap.min.js
--- a/doc/doxygen/src/js/doxy-jquery.js
+++ b/doc/doxygen/src/js/doxy-jquery.js
+/*
+ * Source: http://stackoverflow.com/a/16972927
+ */
+/* hack to cope with doxygens usage of an older jQuery version, while bootstrap
+ * requires a newer one */
+jQuery.browser = {};
+(function () {
+    jQuery.browser.msie = false;
+    jQuery.browser.version = 0;
+    if (navigator.userAgent.match(/MSIE ([0-9]+)\./)) {
+        jQuery.browser.msie = true;
+        jQuery.browser.version = RegExp.$1;
+    }
+})();
--- a/doc/doxygen/src/js/jquery-ui.min.js
+++ b/doc/doxygen/src/js/jquery-ui.min.js
--- a/doc/doxygen/src/js/jquery.min.js
+++ b/doc/doxygen/src/js/jquery.min.js