merge in v3.2.0 changes; nuke a dupe _gh_pages dir

2026-05-24 14:04:09 +03:00 · 2014-06-26 09:46:59 -07:00
parent ed14e5132b
commit 2c3d8ce134
73 changed files with 2979 additions and 11634 deletions
@@ -11,6 +11,11 @@ body {
  padding-bottom: 30px;
 }

+/* Don't let the lead text change font-size. */
+.lead {
+  font-size: 16px;
+}
+
 /* Finesse the page header spacing */
 .page-header {
  margin-bottom: 30px;