From eb44336377cfcdfe85b42d9864990bde62c86a0c Mon Sep 17 00:00:00 2001
From: Hadley Wickham <h.wickham@gmail.com>
Date: Thu, 26 Jan 2017 08:48:35 -0600
Subject: [PATCH] Make custom header li formatting specific to ul

So you can continue to use ol, if desired.
---
 stylesheets/styles.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/stylesheets/styles.css b/stylesheets/styles.css
index dcf0002dc..c41610d4d 100644
--- a/stylesheets/styles.css
+++ b/stylesheets/styles.css
@@ -121,18 +121,18 @@ header ul {
   width:270px;
 }
 
-header li {
+header ul li {
   width:89px;
   float:left;
   border-right:1px solid #e0e0e0;
   height:40px;
 }
 
-header li:first-child a {
+header ul li:first-child a {
   border-radius:5px 0 0 5px;
 }
 
-header li:last-child a {
+header ul li:last-child a {
   border-radius:0 5px 5px 0;
 }