fix: embed magnifying glass icon

leg100 · Jul 12, 2023 · 8a45d51 · 8a45d51
1 parent fce9285
commit 8a45d51
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/internal/http/html/static/css/main.css b/internal/http/html/static/css/main.css
@@ -187,6 +187,10 @@ a.show-underline {
   color: blue;
 }
 
+.inline-heading {
+  font-weight: 700;
+}
+
 /* the commit sha for a resource; de-emphasised because it's not
  * usually relevant to the user */
 .commit {

diff --git a/internal/http/html/static/css/workspace_list.css b/internal/http/html/static/css/workspace_list.css
@@ -7,7 +7,8 @@
 
 input[type="search"] {
   padding-left: 30px;
-  background-image: url("https://upload.wikimedia.org/wikipedia/commons/5/55/Magnifying_glass_icon.svg");
+  /* https://upload.wikimedia.org/wikipedia/commons/5/55/Magnifying_glass_icon.svg */
+  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='490' height='490'%3E%3Cpath fill='none' stroke='%23000' stroke-width='36' stroke-linecap='round' d='m280,278a153,153 0 1,0-2,2l170,170m-91-117 110,110-26,26-110-110'/%3E%3C/svg%3E");
   background-size: 13px;
   background-repeat: no-repeat;
   background-position: 10px center;