From 176974cd87011d35f43a835b27847be6076d249e Mon Sep 17 00:00:00 2001
From: curben <curben@users.noreply.gitlab.com>
Date: Mon, 12 Nov 2018 11:06:36 +1030
Subject: [PATCH] feat: add rounded corner to search bar

---
 themes/typing/source/css/typing.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/themes/typing/source/css/typing.css b/themes/typing/source/css/typing.css
index 159065c..11974f3 100644
--- a/themes/typing/source/css/typing.css
+++ b/themes/typing/source/css/typing.css
@@ -1412,6 +1412,7 @@ pre .keyword {
 
 /* search bar */
 .searchContainer {
+  border-radius: 5px;
   width: 10em;
   color:#d8d8d8;
   background-color:#333;
@@ -1440,6 +1441,7 @@ pre .keyword {
 /* hide the border and fill the height to parent's */
 .searchBox {
   border: 0;
+  border-radius: 5px;
   height:100%;
   width: 85%;
   padding-left: 0.2em;