css: default: decorate footnotes

diff --git a/css/default.css b/css/default.css
index f8d5ba8..d1b3d3d 100644 (file)
--- a/css/default.css
+++ b/css/default.css
@@ -58,6 +58,17 @@ code {
        color: #333;
 }
 
+.footnotes {
+       font-size: 15px;
+       color: #656565;
+}
+
+.footnotes hr {
+       width: 70%;
+       border: 0;
+       border-bottom: 0.5px dotted #e5e5e5;
+}
+
 #header {
        border-bottom: 1.5px dashed #aaa;
        margin-bottom: 30px;