update theme for online docs (was incorrect in Firefox and Safari)

pull/13383/head
Alexander Shishkov 13 years ago
parent f9da906144
commit 94bcaeb2e9
  1. 4
      doc/_themes/blue/static/default.css_t
  2. 2
      doc/conf.py

@ -30,7 +30,7 @@ div.documentwrapper {
} }
div.bodywrapper { div.bodywrapper {
margin: 0 0 0 230px; margin: 0 0 0 270px;
} }
div.body { div.body {
@ -85,7 +85,7 @@ div.related a {
div.sphinxsidebar { div.sphinxsidebar {
word-wrap: break-word; word-wrap: break-word;
width: 240px; width: 270px;
{%- if theme_stickysidebar|tobool %} {%- if theme_stickysidebar|tobool %}
top: 30px; top: 30px;
margin: 0; margin: 0;

@ -56,7 +56,7 @@ version_patch = re.search("^W*#\W*define\W+CV_SUBMINOR_VERSION\W+(\d+)\W*$", ver
# The short X.Y version. # The short X.Y version.
version = version_major + '.' + version_minor version = version_major + '.' + version_minor
# The full version, including alpha/beta/rc tags. # The full version, including alpha/beta/rc tags.
release = version_major + '.' + version_minor + '.' + version_patch + "-beta" release = version_major + '.' + version_minor + '.' + version_patch + "-beta2"
# The language for content autogenerated by Sphinx. Refer to documentation # The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages. # for a list of supported languages.

Loading…
Cancel
Save