index: bump instant.min.js version to bust caches
[debiancodesearch.git] / static / index.html
blobd604f553be3030f4767ca0a84a0f79b754ce5d68
1 <!DOCTYPE html>
2 <html lang="en">
3 <head>
4 <meta charset="utf-8">
5 <title>Debian Code Search</title>
6 <style type="text/css">
7 @font-face {
8 font-family: 'Inconsolata';
9 src: local('Inconsolata'), url(/Inconsolata.woff) format('woff');
11 @font-face {
12 font-family: 'Roboto';
13 font-style: normal;
14 font-weight: 400;
15 src: local('Roboto Regular'), local('Roboto-Regular'), url(/Roboto-Regular.woff) format('woff');
17 @font-face {
18 font-family: 'Roboto';
19 font-style: normal;
20 font-weight: 700;
21 src: local('Roboto Bold'), local('Roboto-Bold'), url(/Roboto-Bold.woff) format('woff');
23 </style>
24 <link rel="stylesheet" href="/debcodesearch.min.css">
25 <link rel="search" type="application/opensearchdescription+xml" href="/opensearch.xml">
26 <link rel="shortcut icon" href="/favicon.ico">
27 </head>
28 <body>
30 <div id="header">
31 <div id="upperheader">
32 <div id="logo">
33 <a href="./" title="Debian Home"><img src="/Pics/openlogo-50.svg" alt="Debian" width="50" height="61"></a>
34 </div> <!-- end logo -->
35 <p class="section"><a href="/">Code Search</a></p>
36 <div id="searchbox">
37 <div class="formplaceholder"></div>
38 </div>
39 </div> <!-- end upperheader -->
40 <!--UdmComment-->
41 <div id="navbar">
42 <p class="hidecss"><a href="#content">Skip Quicknav</a></p>
43 <ul>
44 <li><a href="/">Search</a></li>
45 <li><a href="/about">About Code Search</a></li>
46 <li><a href="/faq">FAQ</a></li>
47 </ul>
48 </div> <!-- end navbar -->
49 <p id="breadcrumbs">&nbsp; </p>
50 </div> <!-- end header -->
51 <!--/UdmComment-->
52 <div id="content">
54 <div id="progressbar" style="display: none">
55 <span class="progressbar-back-text">50 / 100</span>
56 <div class="progress-bar progress-active">
57 <span class="progressbar-front-text">50 / 100</span>
58 </div>
59 </div>
60 <div id="errors">
61 </div>
63 <div id="packages">
64 </div>
65 <div id="packageshint" style="display: none">
66 </div>
68 <div id="options" style="display: none">
69 <input type="checkbox" id="enable-perpackage" disabled="disabled" onclick="changeGrouping()"><label for="enable-perpackage" style="opacity: 0.5">Group search results by Debian source package</label>
70 </div>
72 <div id="normalresults" style="display: none">
73 <h2>All results</h2>
74 <div class="pagination"></div>
75 <ul id="results"></ul>
76 <div class="pagination"></div>
77 </div>
79 <div id="perpackage" class="ppanimation" style="display: none">
80 <h2>Results by package</h2>
81 <div class="perpackage-pagination"></div>
82 <div id="perpackage-results"></div>
83 <div class="perpackage-pagination"></div>
84 </div>
86 <div id="searchdiv">
87 <h1>Debian Code Search</h1>
88 <p>Search all 130 GiB of source code within Debian:</p>
89 <div class="formplaceholder"></div>
90 <form id="searchform" action="/search" method="get" style="display: inline-block">
91 <input type="text" name="q" autofocus="autofocus" list="autocomplete">
92 <datalist id="autocomplete"></datalist>
93 <input type="submit" value="Search">
94 </form>
95 <p>
96 <a href="/faq#keywords">See the FAQ for supported keywords</a>
97 </p>
98 </div>
100 </div>
101 <div id="footer">
102 <hr>
103 <!--UdmComment-->
104 <div id="fineprint">
105 <a href="http://developer.rackspace.com/"><img src="/Pics/rackspace.svg" alt="Powered by Rackspace Hosting" width="200" height="59" border="0" style="float: right"></a>
106 <p>© 2012-2014 Debian Code Search - <a href="/contact" rel="nofollow">Contact / Send Feedback</a></p>
107 </div>
108 <!--/UdmComment-->
109 </div> <!-- end footer -->
110 <script type="text/javascript" src="/jquery.min.js"></script>
111 <script type="text/javascript" src="/reconnecting-websocket.min.js"></script>
112 <script type="text/javascript" src="/instant.min.js?4"></script>
113 </body>
114 </html>