minor template changes

- default font
- remove unused css

themes/default/static/css/main.css

@@ -1,5 +1,5 @@
 body {
-    font-family: Arial, "Microsoft YaHei", Sans-Serif;
+    font-family: "-apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif,Apple Color Emoji,Segoe UI Emoji";
     font-size: 16px;
 }
 
@@ -299,54 +299,6 @@ nav#TableOfContents ul {
     margin: 10px 0
 }
 
-div.search2 {
-    position: fixed;
-    right: -30px;
-    max-width: 300px;
-    overflow: auto;
-    top: 1px;
-    width: 300px;
-    bottom: 100px
-}
-
-div.search {
-    display: inline-block;
-    margin-bottom: -12px;
-}
-
-form.search {
-    width: 125px;
-    margin-left: 15px;
-}
-form.search input[type=text] {
-    padding: 5px 30px 5px 5px;
-    border: 1px solid #999;
-    float: left;
-    width: 80px;
-}
-form.search input[type=text]:focus {
-    border: 1px solid #333;
-    float: left;
-    width: 80px;
-}
-form.search button {
-    float: left;
-    width: 30px;
-    padding: 5px;
-    border: none;
-    background: transparent;
-    cursor: pointer;
-    margin-left: -30px;
-}
-form.search .fa-search::before {
-    content: "\1F50D";
-    font-style: normal;
-    color: #999;
-}
-form.search button:hover {
-    color: #333;
-}
-
 .article-list li {
     margin-bottom: 0.5em;
 }
@@ -370,4 +322,4 @@ form.search button:hover {
     .article-list li .article-date:after {
         content: '';
     }
-}
+}