- = extends "layout.html"
-
- = block title
- Home
- = endblock
-
- = block head
- {{ assets.tag("lib/jqueryui.custom.min.css") }}
- {{ assets.tag("lib/jquery.min.js") }}
- {{ assets.tag("lib/jquery-ui.min.js") }}
- {{ assets.tag("lib/typeahead.bundle.min.js") }}
- {{ assets.tag("lib/highlight.css") }}
-
- {{ assets.tag("index.css") }}
-
- <script>
- AUTOCOMPLETE_LANGUAGES = {{ autocomplete_languages | safe }};
- </script>
- = endblock
-
- = block body
- <div id="search-field">
- <a id="title" href="/">
- <div id="title">
- <span id="title-bit">bit</span
- ><span id="title-angle">«</span
- ><span id="title-shift">shift</span>
- </div>
- </a>
-
- <form id="search-bar">
- <input type="text" name="query"
- ><button id="advanced-search" title="advanced search">
- <img src="static/img/search_bar_magnifying_glass.png">
- </button>
-
- <div id="advanced-search">
- <div id="heading">
- <div id="col1">Fields</div
- ><div id="col2">Search groups</div>
- </div>
- <div id="sidebar">
- <ul>
- <li>
- <input type="checkbox" id="language" checked="true">
- <label for="language"><div>languages</div></label>
- </li>
- <li>
- <input type="checkbox" id="author">
- <label for="author"><div>authors</div></label>
- </li>
- <li>
- <input type="checkbox" id="date-last-modified">
- <label for="date-last-modified"><div>date last modified</div></label>
- </li>
- <li>
- <input type="checkbox" id="date-created">
- <label for="date-created"><div>date created</div></label>
- </li>
- <li>
- <input type="checkbox" id="symbol">
- <label for="symbol"><div>symbols</div></label>
- </li>
- <li>
- <input type="checkbox" id="function">
- <label for="function"><div>functions</div></label>
- </li>
- <li>
- <input type="checkbox" id="class">
- <label for="class"><div>classes</div></label>
- </li>
- <li>
- <input type="checkbox" id="variable">
- <label for="variable"><div>variables</div></label>
- </li>
- </ul>
- <button id="add-group">
- <div><span>+</span> Add</div>
- </button>
- <button id="remove-group">
- <div><span>-</span> Remove</div>
- </button>
- </div>
- <div id="search-groups">
- <div class="search-group" id="selected">
- <div id="language">
- <div class="name">language</div>
- <input id="autocomplete" class="language" name="language" type="text">
- <input type="checkbox" name="regex">
- <span class="regex">Regex</span>
- </div>
- </div>
- </div>
- </div>
- </form>
- </div>
-
- <div id="results"></div>
-
- {{ assets.tag("index.js") }}
- {{ assets.tag("index.advanced-search-form.js") }}
- = endblock
|