Initial commit

First public commit

1 files changed, 10 insertions, 0 deletions

diff --git a/servo/templates/search/results/devices.html b/servo/templates/search/results/devices.html
new file mode 100755
index 0000000..d133d55
--- /dev/null
+++ b/servo/templates/search/results/devices.html
@@ -0,0 +1,10 @@
+{% extends "search/spotlight.html" %}
+{% load i18n %}
+
+{% block second_column %}
+    {% if devices %}
+        {% include "devices/list.html" %}
+    {% else %}
+        <h1 class="muted text-center">{% trans "No devices found" %}</h1>
+    {% endif %}
+{% endblock second_column %}