2015-08-31 10:13:01 +00:00
|
|
|
# Specify a custom CSS file used by this template
|
|
|
|
HTML.stylesheets += template/style/offline-simple.css
|
|
|
|
qhp.extraFiles += style/offline-simple.css
|
|
|
|
|
2015-10-20 08:36:57 +00:00
|
|
|
# Override the header styles
|
2015-08-31 10:13:01 +00:00
|
|
|
HTML.headerstyles = \
|
|
|
|
" <link rel=\"stylesheet\" type=\"text/css\" href=\"style/offline-simple.css\" />\n" \
|
|
|
|
" <script type=\"text/javascript\">\n" \
|
2017-06-26 13:52:59 +00:00
|
|
|
" document.getElementsByTagName(\"link\").item(0).setAttribute(\"href\", \"style/offline.css\");\n" \
|
2017-07-21 07:57:00 +00:00
|
|
|
" // loading style sheet breaks anchors that were jumped to before\n" \
|
|
|
|
" // so force jumping to anchor again\n" \
|
|
|
|
" setTimeout(function() {\n" \
|
|
|
|
" var anchor = location.hash;\n" \
|
|
|
|
" // need to jump to different anchor first (e.g. none)\n" \
|
|
|
|
" location.hash = \"#\";\n" \
|
|
|
|
" setTimeout(function() {\n" \
|
|
|
|
" location.hash = anchor;\n" \
|
|
|
|
" }, 0);\n" \
|
|
|
|
" }, 0);\n" \
|
2015-08-31 10:13:01 +00:00
|
|
|
" </script>\n"
|
|
|
|
|
2015-10-27 11:12:43 +00:00
|
|
|
HTML.navigationseparator = \
|
|
|
|
"<span class=\"naviSeparator\"> ◦ </span>\n"
|
|
|
|
|
2015-08-31 10:13:01 +00:00
|
|
|
# Add some padding around code snippets, as we cannot
|
2022-06-10 15:34:41 +00:00
|
|
|
# correctly style them for QTextBrowser using only CSS.
|
2020-03-23 10:08:23 +00:00
|
|
|
codeindent = 1
|
|
|
|
codeprefix = "\n"
|
|
|
|
codesuffix = "\n"
|