diff options
Diffstat (limited to 'doc/source/theme')
-rw-r--r-- | doc/source/theme/static/basic.css | 4 | ||||
-rw-r--r-- | doc/source/theme/templates/layout.html | 57 |
2 files changed, 4 insertions, 57 deletions
diff --git a/doc/source/theme/static/basic.css b/doc/source/theme/static/basic.css index 5708b4da..f572584e 100644 --- a/doc/source/theme/static/basic.css +++ b/doc/source/theme/static/basic.css @@ -308,6 +308,10 @@ dt:target, .highlight { background-color: #fbe54e; } +.highlighted { + background-color: #fbe54e; +} + dl.glossary dt { font-weight: bold; font-size: 1.1em; diff --git a/doc/source/theme/templates/layout.html b/doc/source/theme/templates/layout.html index 4306847d..41e0cf28 100644 --- a/doc/source/theme/templates/layout.html +++ b/doc/source/theme/templates/layout.html @@ -11,63 +11,6 @@ <link rel="shortcut icon" type="image/png" href="{{ pathto('_static/poezio.png', 1) }}" /> {% if not embedded %}<script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script>{% endif %} {% if versionswitcher is defined and not embedded %}<script type="text/javascript" src="{{ pathto('_static/version_switch.js', 1) }}"></script>{% endif %} - {% if pagename == 'whatsnew/changelog' %} - <script type="text/javascript"> - $(document).ready(function() { - // add the search form and bind the events - $('h1').after([ - '<p>Filter entries by content:', - '<input type="text" value="" id="searchbox" style="width: 50%">', - '<input type="submit" id="searchbox-submit" value="Filter"></p>' - ].join('\n')); - - function dofilter() { - try { - var query = new RegExp($('#searchbox').val(), 'i'); - } - catch (e) { - return; // not a valid regex (yet) - } - // find headers for the versions (What's new in Python X.Y.Z?) - $('#changelog h2').each(function(index1, h2) { - var h2_parent = $(h2).parent(); - var sections_found = 0; - // find headers for the sections (Core, Library, etc.) - h2_parent.find('h3').each(function(index2, h3) { - var h3_parent = $(h3).parent(); - var entries_found = 0; - // find all the entries - h3_parent.find('li').each(function(index3, li) { - var li = $(li); - // check if the query matches the entry - if (query.test(li.text())) { - li.show(); - entries_found++; - } - else { - li.hide(); - } - }); - // if there are entries, show the section, otherwise hide it - if (entries_found > 0) { - h3_parent.show(); - sections_found++; - } - else { - h3_parent.hide(); - } - }); - if (sections_found > 0) - h2_parent.show(); - else - h2_parent.hide(); - }); - } - $('#searchbox').keyup(dofilter); - $('#searchbox-submit').click(dofilter); - }); - </script> - {% endif %} {{ super() }} {% endblock %} {% block footer %} |