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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
{% import "search_macros.html" as search_macros %}
{% extends "base.html" %}
{% macro format_query_time(query_time_ms) -%}
{% if query_time_ms >= 10000 %}
{{ "{:0.3}".format(hits.query_time_ms/1000.0) }}sec
{% else %}
{{ "{:0.2}".format(hits.query_time_ms/1000.0) }}sec
{% endif %}
{%- endmacro %}
{% block fullmain %}
<div class="tablet-only" style="margin-top: 1.0em;">
<!-- these hidden query fields should be *before* any form/button that could override them -->
{{ search_macros.query_hidden(query.time_options, query.filter_time) }}
{{ search_macros.query_hidden(query.type_options, query.filter_type) }}
{{ search_macros.query_hidden(query.availability_options, query.filter_availability) }}
{{ search_macros.query_hidden(query.sort_options, query.sort_order) }}
<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 %}
<span style="font-size: 1.5em;">{{ "{:,}".format(hits.count_found) }}</span>
Hits
<span style="color: rgba(0,0,0,0.4);">in {{ format_query_time(hits.query_time_ms) }}</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;">
<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 {{ format_query_time(hits.query_time_ms) }}</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" %}
{% trans %}Backend Search Engine Error{% endtrans %}
{% elif search_error.type == "query" %}
{% trans %}Search Query Error{% endtrans %}
{% 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 %}
{% if hits.offset != 0 %}
<div style="text-align: center; margin-bottom: 2em;">
{{ search_macros.search_pagination(hits) }}
</div>
{% endif %}
{# search results (rendered via macro) #}
{% for paper in hits.results %}
{{ search_macros.fulltext_search_result_row(paper) }}
{% endfor %}
{% if hits.count_found > hits.limit %}
<div style="text-align: center; margin-top: 2em;">
{{ search_macros.search_pagination(hits) }}
</div>
{% endif %}
{% endif %}
{% elif hits %}
<div class="ui placeholder segment" style="height: 100%;">
<div class="ui icon header">
<i class="search icon"></i>
{% trans %}We didn't find any documents matching your query{% endtrans %}
</div>
<div class="inline">
{% if query.filter_type != "everything" %}
<button class="ui primary button" form="search_form" type="submit" name="filter_type" value="everything">
{% trans %}Try All Resource Types{% endtrans %}
</button>
{% endif %}
{% if query.filter_time and query.filter_time != "all_time" %}
<button class="ui primary button" form="search_form" type="submit" name="filter_time" value="all_time">
{% trans %}Try All Time{% endtrans %}
</button>
{% endif %}
{% if query.filter_availability != "everything" %}
<button class="ui primary button" form="search_form" type="submit" name="filter_availability" value="everything">
{% trans %}Try Metadata Records{% endtrans %}
</button>
{% endif %}
<a href="{{ lang_prefix }}/search" class="ui primary button" style="margin: 0.5em;">{{ _("Start Over") }}</a>
</div>
<div class="inline">
<a href="https://archive.org/search.php?sin=TXT&query={{ query.q|urlencode }}" target="_blank" class="ui button" style="margin: 0.5em;">Try archive.org</a>
<a href="https://fatcat.wiki/search&q={{ query.q|urlencode }}" target="_blank" class="ui button" style="margin: 0.5em;">Try fatcat.wiki</a>
<a href="https://www.semanticscholar.org/search?q={{ query.q|urlencode }}" target="_blank" class="ui button" style="margin: 0.5em;">Try Semantic Scholar</a>
<a href="https://scholar.google.com/scholar?q={{ query.q|urlencode }}" target="_blank" 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>
{% trans %}Enter a query in the box above to get started{% endtrans %}
</div>
</div>
{% endif %}
</div>
</div>
{% endblock %}
|
