1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
{% import "search_macros.html" as search_macros %}
{% extends "base.html" %}
{% block fullmain %}
<div class="tablet-only" style="margin-top: 1.0em;">
<details class="search_filters">
<summary style="float: right;"><i class="filter icon"></i>Filters</summary>
<p>
{{ search_macros.query_option(query.time_options, query.filter_time) }}
{{ search_macros.query_option(query.type_options, query.filter_type) }}
{{ search_macros.query_option(query.availability_options, query.filter_availability) }}
{{ search_macros.query_option(query.sort_options, query.sort_order) }}
</p>
</details>
{% if hits %}
{# <h2>{{ "{:,}".format(hits.count_found) }}</h2> #}
<span style="font-size: 1.5em;">{{ "{:,}".format(hits.count_found) }}</span>
Hits
<span style="color: rgba(0,0,0,0.4);">in {{ "{:0.2}".format(hits.query_time_ms/1000.0) }}sec</span>
{% else %}
{% endif %}
</div>
<div class="ui equal height stackable divided grid" style="margin-top: 1em;">
<div class="ui tablet-hide two wide column">
{% if hits %}
<div style="width: 100%; text-align: right;">
{# <h2>{{ "{:,}".format(hits.count_found) }}</h2> #}
<h3 style="font-size: {% if hits.count_found >= 10000000 %}1.0em{% elif hits.count_found >= 1000 %}1.5em{% else %}2.0em{% endif %};">{{ "{:,}".format(hits.count_found) }}</h3>
Hits
</div>
<div style="text-align: right;">
<span style="color: rgba(0,0,0,0.4);">in {{ "{:0.2}".format(hits.query_time_ms/1000.0) }}sec</span>
</div>
<div class="ui clearing divider"></div>
{% endif %}
<div style="text-align: right;">
{{ search_macros.query_option(query.time_options, query.filter_time) }}
{{ search_macros.query_option(query.type_options, query.filter_type) }}
{{ search_macros.query_option(query.availability_options, query.filter_availability) }}
{{ search_macros.query_option(query.sort_options, query.sort_order) }}
</div>
</div>
<div class="ui fourteen wide column">
{% if search_error %}
<div class="ui icon error message">
<i class="ban icon"></i>
<div class="content">
<div class="header">
{% if search_error.type == "backend" %}
Backend Search Engine Error
{% elif search_error.type == "query" %}
Query Error
{% endif %}
</div>
<p>Computer said: <code>{{ search_error.message }}</code>
<p>Query parsing is currently very naive. Sometimes you can fix this
problem by adding quotes around terms or entire phrases.
</div>
</div>
{% elif hits and hits.results %}
{% if hits.results %}
{% for paper in hits.results %}
{{ search_macros.fulltext_search_result_row(paper) }}
{% endfor %}
{% endif %}
{% elif hits %}
<div class="ui placeholder segment" style="height: 100%;">
<div class="ui icon header">
<i class="search icon"></i>
We didn't find any documents matching your query
</div>
<div class="inline">
<a href="https://archive.org/search.php?sin=TXT&query={{ query.q|urlencode }}" class="ui button" style="margin: 0.5em;">Try archive.org</a>
<a href="https://fatcat.wiki/search&q={{ query.q|urlencode }}" class="ui button" style="margin: 0.5em;">Try fatcat.wiki</a>
<a href="https://www.semanticscholar.org/search?q={{ query.q|urlencode }}" class="ui button" style="margin: 0.5em;">Try Semantic Scholar</a>
<a href="https://scholar.google.com/scholar?q={{ query.q|urlencode }}" class="ui button" style="margin: 0.5em;">Try Google Scholar</a>
</div>
</div>
{% else %}
<div class="ui placeholder segment" style="height: 100%;">
<div class="ui icon header">
<i class="search icon"></i>
Enter a query in the box above to get started
</div>
</div>
{% endif %}
</div>
</div>
{% endblock %}
|
