docu: using Twitter Bootstrap for generated HTML pages

Through this introducing a few colors to the documentation to aid
readability.

Without additional Javascript as TWBS requires jQuery 1.9 and Doxygen
comes with 1.7.

Author: torbjoernk

Doxyfile

@@ -32,7 +32,7 @@ DOXYFILE_ENCODING      = UTF-8
 # title of most generated pages and in a few other places.
 # The default value is: My Project.
 
-PROJECT_NAME           = "PFASST"
+PROJECT_NAME           = "PFASST++"
 
 # The PROJECT_NUMBER tag can be used to enter a project or revision number. This
 # could be handy for archiving the generated documentation or if some version
@@ -68,7 +68,7 @@ OUTPUT_DIRECTORY       = doc/build
 # performance problems for the file system.
 # The default value is: NO.
 
-CREATE_SUBDIRS         = NO
+CREATE_SUBDIRS         = YES
 
 # If the ALLOW_UNICODE_NAMES tag is set to YES, doxygen will allow non-ASCII
 # characters to appear in the names of generated files. If set to NO, non-ASCII
@@ -228,7 +228,8 @@ TAB_SIZE               = 4
 # "Side Effects:". You can put \n's in the value part of an alias to insert
 # newlines.
 
-ALIASES                =
+ALIASES                += internals="\internal \parblock"
+ALIASES                += endinternals="\endparblock \endinternal"
 
 # This tag can be used to specify a number of word-keyword mappings (TCL only).
 # A mapping has the form "name=value". For example adding "class=itcl::class"
@@ -1023,7 +1024,7 @@ ALPHABETICAL_INDEX     = YES
 # Minimum value: 1, maximum value: 20, default value: 5.
 # This tag requires that the tag ALPHABETICAL_INDEX is set to YES.
 
-COLS_IN_ALPHA_INDEX    = 5
+COLS_IN_ALPHA_INDEX    = 2
 
 # In case all classes in a project start with a common prefix, all classes will
 # be put under the same header in the alphabetical index. The IGNORE_PREFIX tag
@@ -1075,7 +1076,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            = doc/source/customized/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
@@ -1085,7 +1086,7 @@ HTML_HEADER            =
 # that doxygen normally uses.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_FOOTER            =
+HTML_FOOTER            = doc/source/customized/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
@@ -1097,7 +1098,7 @@ HTML_FOOTER            =
 # obsolete.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_STYLESHEET        =
+HTML_STYLESHEET        = doc/source/customized/default.css
 
 # The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined
 # cascading style sheets that are included after the standard style sheets
@@ -1110,7 +1111,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  = doc/source/customized/custom.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
@@ -1120,7 +1121,7 @@ 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       = doc/source/customized/custom_tweaks.js
 
 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen
 # will adjust the colors in the style sheet and background images according to
@@ -1158,7 +1159,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # The default value is: YES.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_TIMESTAMP         = NO
+HTML_TIMESTAMP         = YES
 
 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
 # documentation will contain sections that can be hidden and shown after the
@@ -1378,7 +1379,7 @@ ECLIPSE_DOC_ID         = org.doxygen.Project
 # The default value is: NO.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-DISABLE_INDEX          = NO
+DISABLE_INDEX          = YES
 
 # The GENERATE_TREEVIEW tag is used to specify whether a tree-like index
 # structure should be generated to display hierarchical information. If the tag
@@ -1473,7 +1474,7 @@ MATHJAX_FORMAT         = HTML-CSS
 # The default value is: http://cdn.mathjax.org/mathjax/latest.
 # This tag requires that the tag USE_MATHJAX is set to YES.
 
-MATHJAX_RELPATH        = https://pint.fz-juelich.de/mathjax/latest
+MATHJAX_RELPATH        = https://cdn.mathjax.org/mathjax/latest
 
 # The MATHJAX_EXTENSIONS tag can be used to specify one or more MathJax
 # extension names that should be enabled during MathJax rendering. For example

doc/source/customized/custom.css

@@ -0,0 +1,67 @@
+#nav-tree img {
+  box-sizing: content-box;
+}
+
+ul.meta-info-block {
+  font-size: 0.8em;
+  color: gray;
+  padding: 0;
+}
+
+ul.meta-info-block > li {
+  display: block;
+  margin: -3px;
+}
+
+p.lead {
+  font-size: 1.15em;
+  font-style: italic;
+}
+
+code {
+  border: 1px solid #C4CFE5;
+  background-color: #FBFCFD;
+  padding: 1px;
+}
+
+.memdoc .panel {
+  margin-bottom: 5px !important;
+}
+
+.memdoc .panel .panel-heading,
+.memdoc .panel .panel-body,
+.memdoc .panel .list-group-item,
+.reflist .panel .panel-heading,
+.reflist .panel .panel-body,
+.textblock .panel .panel-heading,
+.textblock .panel .panel-body {
+  padding: 5px;
+  padding-left: 10px;
+}
+.memdoc .section.see {
+  font-size: 90%;
+}
+
+.panel-footer ul {
+  margin-top: 0;
+  margin-bottom: 0;
+}
+
+/* width of all text blocks */
+.textblock,
+.memdoc.panel-body > *,
+.memdoc > .panel,
+.memdoc > .panel > .panel-body > *,
+.memitem > .panel,
+.memitem > .panel > .panel-body > * {
+  width: 750px;
+}
+
+
+table.directory .badge {
+  margin-right: 3px;
+}
+
+dl.citelist > dd > p {
+  padding-left: 50px;
+}