diff options
Diffstat (limited to 'Doc/tools/sphinxext/layout.html')
| -rw-r--r-- | Doc/tools/sphinxext/layout.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index db4a386..df728aa 100644 --- a/Doc/tools/sphinxext/layout.html +++ b/Doc/tools/sphinxext/layout.html @@ -8,6 +8,23 @@ {% block extrahead %} <link rel="shortcut icon" type="image/png" href="{{ pathto('_static/py.png', 1) }}" /> {% if not embedded %}<script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script>{% endif %} + {% if pagename == 'whatsnew/news' %} + <script type="text/javascript"> + function dofilter() { + var el = document.getElementById('searchbox'); + var string = el.value.toLowerCase(); + var litags = document.getElementsByTagName('li') + for (var idx = 0; idx < litags.length; idx++) { + var li = litags[idx]; + if (li.innerHTML.toLowerCase().indexOf(string) >= 0) { + li.style.display = ''; + } else { + li.style.display = 'none'; + } + } + } + </script> + {% endif %} {{ super() }} {% endblock %} {% block footer %} |
