don't load css twice on rtd, comment coloring in pygments

2024-03-22 13:10:44 +08:00 · 2013-10-28 12:24:21 -07:00 · 2013-10-28 12:24:21 -07:00 · 90f76bc3ea
commit 90f76bc3ea
parent ac85dfb48c
2 changed files with 8 additions and 2 deletions
--- a/sphinx_rtd_theme/layout.html
+++ b/sphinx_rtd_theme/layout.html
@ -24,7 +24,13 @@

  {# CSS #}
  <link href='http://fonts.googleapis.com/css?family=Lato:400,700|Roboto+Slab:400,700' rel='stylesheet' type='text/css'>
+  
+
+  {# RTD hosts this file themselves, only load for non RTD builds #}
+  {% if not READTHEDOCS %}
    <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
+  {% endif %}
+
  {% for cssfile in css_files %}
    <link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
  {% endfor %}    
--- a/sphinx_rtd_theme/static/theme.css
+++ b/sphinx_rtd_theme/static/theme.css