From e1ac5d71cbdd1e73195e64dbcf985d40c2855eff Mon Sep 17 00:00:00 2001
From: Tyler Renelle <tylerrenelle@gmail.com>
Date: Tue, 26 Jun 2012 08:42:03 -0400
Subject: [PATCH] remove #header (my old one), i like #head better (from
 todos.js)

---
 styles/app/index.styl | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/styles/app/index.styl b/styles/app/index.styl
index dc9237e7da..cfbc5cbb6a 100644
--- a/styles/app/index.styl
+++ b/styles/app/index.styl
@@ -39,18 +39,6 @@ h1 > span {
   margin-left: 6px;
 }
 
-#header {
-  background: #FAFAFA;
-  background: -moz-linear-gradient(#FAFAFA,#EAEAEA);
-  background: -webkit-linear-gradient(#FAFAFA,#EAEAEA);
-  -ms-filter: "progid:DXImageTransform.Microsoft.gradient(startColorstr='#fafafa',endColorstr='#eaeaea')";
-  position: relative;
-  z-index: 10;
-  border-bottom: 1px solid #CACACA;
-  box-shadow: 0 1px 0 rgba(255, 255, 255, 0.4),0 0 10px rgba(0, 0, 0, 0.1);
-  padding: 20px;
-}
-
 #head {
   background: #ddd;
   background: -webkit-gradient(linear,0 0,0 100%,from(#e7e7e7),to(#d0d0d0));