Unverified Commit a569027a authored by Axel Kohlmeyer's avatar Axel Kohlmeyer
Browse files

trip some excess padding to make the pages waste less space on small screens

parent 9fa4d27b
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -21,7 +21,7 @@
        {% endif %}
      </li>
  </ul>
  <hr width="100%"/>
  <hr style="margin-top: 6px; margin-bottom: 6px;" width="100%"/>
  {% if next or prev %}
    <div class="rst-footer-buttons" style="margin-bottom: 1em" role="navigation" aria-label="footer navigation">
      {% if next %}
+1 −1
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@
    </div>
  {% endif %}

  <hr/>
  <hr style="margin-top: 6px; margin-bottom: 6px;" width="100%"/>

  <div role="contentinfo">
    <p>
+0 −1
Original line number Diff line number Diff line
@@ -97,7 +97,6 @@
        {% if logo %}
          {# Not strictly valid HTML, but it's the only way to display/scale it properly, without weird scripting or heaps of work #}
          <img src="{{ pathto('_static/' + logo, 1) }}" class="logo" />
          <div><b>{{ version }}</b></div>
        {% endif %}
        </a>

+2 −3
Original line number Diff line number Diff line
@@ -4189,8 +4189,7 @@ div[class^='highlight'] pre {
  }
}
.wy-affix {
  position: fixed;
  top: 1.618em;
  position: fixed;  top: 0.618em;
}

.wy-menu a:hover {
@@ -4540,7 +4539,7 @@ div[class^='highlight'] pre {
}

.wy-nav-content {
  padding: 1.618em 3.236em;
  padding: 0.5em 1.0em;
  height: 100%;
  margin: auto;
}