diff website/src/site.css @ 565:22bfd8a2eaee

do Table documentation; replace Table.clone and Table.sub_list with Table.copy;
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 05 Jul 2015 00:47:00 -0600
parents 7cc9d4a53d3b
children c4216a583de4
line wrap: on
line diff
--- a/website/src/site.css	Sat Jul 04 20:57:24 2015 -0600
+++ b/website/src/site.css	Sun Jul 05 00:47:00 2015 -0600
@@ -30,3 +30,8 @@
 	margin: 2em 0 0.6em;
 	color: #233E93;
 }
+
+h4 code {
+	font-size: 1.4em;
+	font-weight: normal;
+}