diff options
Diffstat (limited to 'search.html')
| -rw-r--r-- | search.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/search.html b/search.html index 29b24c9..77ea1ae 100644 --- a/search.html +++ b/search.html | |||
| @@ -8,8 +8,6 @@ | |||
| 8 | <link rel="stylesheet" href="_static/alagitpull.css" type="text/css" /> | 8 | <link rel="stylesheet" href="_static/alagitpull.css" type="text/css" /> |
| 9 | <link rel="stylesheet" href="_static/pygments.css" type="text/css" /> | 9 | <link rel="stylesheet" href="_static/pygments.css" type="text/css" /> |
| 10 | <link rel="stylesheet" href="_static/flexboxgrid.min.css" type="text/css" /> | 10 | <link rel="stylesheet" href="_static/flexboxgrid.min.css" type="text/css" /> |
| 11 | <link rel="stylesheet" href="_static/git-pull.css" type="text/css" /> | ||
| 12 | <link rel="stylesheet" href="_static/han.min.css" type="text/css" /> | ||
| 13 | <script type="text/javascript"> | 11 | <script type="text/javascript"> |
| 14 | var DOCUMENTATION_OPTIONS = { | 12 | var DOCUMENTATION_OPTIONS = { |
| 15 | URL_ROOT: './', | 13 | URL_ROOT: './', |