From f503153a8a553930fdb828da52ad798e92640fe0 Mon Sep 17 00:00:00 2001
From: Pisces000221 <1786762946@qq.com>
Date: Thu, 27 Jul 2017 11:01:24 +0800
Subject: [PATCH] Minor stylesheet tweaks

---
 static/style.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/static/style.css b/static/style.css
index 1f65e66..11b51d2 100644
--- a/static/style.css
+++ b/static/style.css
@@ -322,6 +322,10 @@
     margin-top: 0;
 }
 
+.ui.segment:last-child {
+  margin-bottom: 3px;
+}
+
 .hljs {
     background: #FFF !important;
 }
@@ -501,6 +505,7 @@ body > .ui.page.dimmer {
     border-radius: 3px;
     display: inline-block;
     font-family: "Monaco","Menlo","Ubuntu Mono","Consolas","source-code-pro",monospace;
+    font-size: 0.9em;
     font-weight: bold;
     padding: 1px 6px;
     vertical-align: baseline;