diff options
Diffstat (limited to 'search/pages_0.html')
| -rw-r--r-- | search/pages_0.html | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/search/pages_0.html b/search/pages_0.html deleted file mode 100644 index 19817125..00000000 --- a/search/pages_0.html +++ /dev/null @@ -1,37 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> -<head><title></title> -<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> -<meta name="generator" content="Doxygen 1.9.4"/> -<link rel="stylesheet" type="text/css" href="search.css"/> -<script type="text/javascript" src="pages_0.js"></script> -<script type="text/javascript" src="search.js"></script> -</head> -<body class="SRPage"> -<div id="SRIndex"> -<div class="SRStatus" id="Loading">Loading...</div> -<div id="SRResults"></div> -<script type="text/javascript"> -/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ -createResults(); -/* @license-end */ -</script> -<div class="SRStatus" id="Searching">Searching...</div> -<div class="SRStatus" id="NoMatches">No Matches</div> -<script type="text/javascript"> -/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ -document.getElementById("Loading").style.display="none"; -document.getElementById("NoMatches").style.display="none"; -var searchResults = new SearchResults("searchResults"); -searchResults.Search(); -window.addEventListener("message", function(event) { - if (event.data == "take_focus") { - var elem = searchResults.NavNext(0); - if (elem) elem.focus(); - } -}); -/* @license-end */ -</script> -</div> -</body> -</html> |