diff options
Diffstat (limited to 'doc/header.html.in')
| -rw-r--r-- | doc/header.html.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/header.html.in b/doc/header.html.in index a06170b..dd95639 100644 --- a/doc/header.html.in +++ b/doc/header.html.in @@ -7,6 +7,15 @@ <link rel="stylesheet" type="text/css" href="doxygen.css" title="default" media="screen,print" /> <script type="text/javascript" src="jquery.js"></script> <script type="text/javascript" src="dynsections.js"></script> + <link rel="stylesheet" type="text/css" href="search/search.css" /> + <link rel="stylesheet" type="text/css" href="searchOverrides.css" /> + <script type="text/javascript" src="search/searchdata.js"></script> + <script type="text/javascript" src="search/search.js"></script> + <script type="text/javascript"> + /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ + $(document).ready(function() { init_search(); }); + /* @license-end */ + </script> </head> <body> <div id="banner-container"> |