changeset 3179:da6aba98e710 docs-changes

Style tweaks
author Thomas Kluyver <takowl@gmail.com>
date Wed, 09 Jan 2013 18:02:29 +0000
parents 97ec836337b5
children 46f33395ffcd
files docs/reST/themes/classic/elements.html docs/reST/themes/classic/theme.conf
diffstat 2 files changed, 4 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/docs/reST/themes/classic/elements.html	Wed Jan 09 17:07:44 2013 +0000
+++ b/docs/reST/themes/classic/elements.html	Wed Jan 09 18:02:29 2013 +0000
@@ -19,14 +19,13 @@
 	</td>
 	<td class="pagelinks">
 	  <p class="top">
-	    ||
 	    <a href="{{ theme_home_uri }}">Pygame Home</a> ||
 	    <a href="{{ pathto(master_doc) }}">Help Contents</a> ||
-	    <a href="{{ pathto('genindex') }}">Reference Index</a> ||
+	    <a href="{{ pathto('genindex') }}">Reference Index</a>
 	  </p>
 {%-   if pyg_sections %}
 	  <p class="bottom">
-{%      set sep = joiner(" || \n") %}
+{%      set sep = joiner(" | \n") %}
 {%-     for section in pyg_sections %}
 {%-       set docname = section['docname'] %}
 {%-       set simpledocname = docname.split('/')[-1] %}
--- a/docs/reST/themes/classic/theme.conf	Wed Jan 09 17:07:44 2013 +0000
+++ b/docs/reST/themes/classic/theme.conf	Wed Jan 09 18:02:29 2013 +0000
@@ -36,6 +36,6 @@
 
 headerborder         = 3px solid black
 
-bodyfont             = serif
-headfont             = serif
+bodyfont             = sans-serif
+headfont             = sans-serif
 sigfont              = monospace