Minor Sphinx html style modification

diff --git a/doc/rst_source/_templates/layout.html b/doc/rst_source/_templates/layout.html
index 4584081931a3d844500e8dc1aa5bf5644c8d10a5..2cf03a18d16d50a8838871a63890981af123d821 100644 (file)
--- a/doc/rst_source/_templates/layout.html
+++ b/doc/rst_source/_templates/layout.html
@@ -40,7 +40,7 @@
                 style="color: #59121e; font-size: 120%;
                 padding-top: 10px;">{{ shorttitle|e }}</a><h1>
             {% endblock %}
-            <div class="rel" style="font-size: 60%; padding-bottom: 0px;" >
+            <div class="rel" style="font-size: 50%; padding-bottom: 0px;" >
                 {%- for rellink in rellinks|reverse %}
                     <a href="{{ pathto(rellink[0]) }}"
                     title="{{ rellink[1]|striptags }}"