From ef6169d4765ca357cdc2ed6a715f317d3942f5d3 Mon Sep 17 00:00:00 2001
From: Richard Feldman <richard.t.feldman@gmail.com>
Date: Sun, 3 Apr 2016 10:14:43 -0700
Subject: [PATCH] Fix for part10 and part13 stylesheet

---
 part10/SearchResult.elm |   2 +-
 part13/style.css        | 103 ++--------------------------------------
 2 files changed, 5 insertions(+), 100 deletions(-)

diff --git a/part10/SearchResult.elm b/part10/SearchResult.elm
index a9f2ab7..758566a 100644
--- a/part10/SearchResult.elm
+++ b/part10/SearchResult.elm
@@ -22,7 +22,7 @@ type alias Model =
 
 decoder : Decoder Model
 decoder =
-  decode SearchResult
+  decode Model
     |> required "id" Json.Decode.int
     |> required "full_name" Json.Decode.string
     |> required "stargazers_count" Json.Decode.int
diff --git a/part13/style.css b/part13/style.css
index d030733..9d13aae 100644
--- a/part13/style.css
+++ b/part13/style.css
@@ -1,101 +1,6 @@
-
 .content {
-  width: 960px;
-  margin: 0 auto;
-  padding: 30px;
-  font-family: Helvetica, Arial, serif;
-}
-
-header {
-  position: relative;
-  padding: 6px 12px;
-  height: 36px;
-  background-color: rgb(96, 181, 204);
-}
-
-h1 {
-  color: white;
-  font-weight: normal;
-  margin: 0;
-}
-
-.tagline {
-  color: #eee;
-  position: absolute;
-  right: 16px;
-  top: 12px;
-  font-size: 24px;
-  font-style: italic;
-}
-
-.results {
-  list-style-image: url('http://img-cache.cdn.gaiaonline.com/76bd5c99d8f2236e9d3672510e933fdf/http://i278.photobucket.com/albums/kk81/d3m3nt3dpr3p/Tiny-Star-Icon.png');
-  list-style-position: inside;
-  padding: 0;
-}
-
-.results li {
-  font-size: 18px;
-  margin-bottom: 16px;
-}
-
-.star-count {
-  font-weight: bold;
-  margin-right: 16px;
-}
-
-a {
-  color: rgb(96, 181, 204);
-  text-decoration: none;
-}
-
-a:hover {
-  text-decoration: underline;
-}
-
-.search-query {
-  padding: 8px;
-  font-size: 24px;
-  margin-bottom: 18px;
-  margin-top: 36px;
-}
-
-.search-button {
-  padding: 8px 16px;
-  font-size: 24px;
-  color: white;
-  border: 1px solid #ccc;
-  background-color: rgb(96, 181, 204);
-  margin-left: 12px
-}
-
-.search-button:hover {
-  color: rgb(96, 181, 204);
-  background-color: white;
-}
-
-.hide-result {
-  background-color: transparent;
-  border: 0;
-  font-weight: bold;
-  font-size: 18px;
-  margin-left: 18px;
-  cursor: pointer;
-}
-
-.hide-result:hover {
-  color: rgb(96, 181, 204);
-}
-
-button:focus, input:focus {
-  outline: none;
-}
-
-.error {
-  background-color: #FF9632;
-  padding: 20px;
-  box-sizing: border-box;
-  overflow-x: auto;
-  font-family: monospace;
-  font-size: 18px;
+    width: 960px;
+    margin: 0 auto;
+    padding: 30px;
+    font-family: Helvetica, Arial, serif;
 }