--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/local.css Sun May 14 20:58:09 2017 +0300
@@ -0,0 +1,11 @@
+dt {
+ font-weight: bold;
+ margin: 0.5em;
+}
+div.toc {
+ background-color: #ddeeff;
+ border-style: solid;
+ border-width: 2px;
+ border-color: #808080;
+ margin: 0.3em;
+}