diff -r 1e57279b82b1 -r c38ff1895960 local.css
--- /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;
+}