spec: a header that links to the index, with a scala logo

...and a Scala favicon.

3 files changed, 32 insertions, 4 deletions

diff --git a/spec/public/favicon.ico b/spec/public/favicon.ico
new file mode 100644
index 0000000000..9eb6ef5164
--- /dev/null
+++ b/spec/public/favicon.ico
diff --git a/spec/public/images/scala-logo-red-spiral-dark.png b/spec/public/images/scala-logo-red-spiral-dark.png
new file mode 100644
index 0000000000..09b66b5e6a
--- /dev/null
+++ b/spec/public/images/scala-logo-red-spiral-dark.png
diff --git a/spec/public/stylesheets/screen.css b/spec/public/stylesheets/screen.css
index ce8318f819..dbb3ebe1b3 100644
--- a/spec/public/stylesheets/screen.css
+++ b/spec/public/stylesheets/screen.css
@@ -4,16 +4,16 @@ body {
   font-family: Helvetica, arial, sans-serif;
   font-size: 14px;
   line-height: 1.6;
-  padding-top: 10px;
+
   padding-bottom: 10px;
   background-color: white;
   padding-left: 30px;
 }
 
-body > *:first-child {
+#content-container > *:first-child {
   margin-top: 0 !important;
 }
-body > *:last-child {
+#content-container > *:last-child {
   margin-bottom: 0 !important;
 }
 
@@ -347,7 +347,6 @@ code {
 }
 
 #navigation {
-  margin-top: 120px;
   margin-right: 10px;
   float: right;
   width: 26%;
@@ -365,6 +364,7 @@ code {
 }
 
 #container {
+  padding-top: 10px;
   width: 100%;
 }
 
@@ -398,3 +398,31 @@ code {
 .to_top:hover {
   color: black;
 }
+
+#scala-logo {
+  float: left;
+  width: 168px;
+  height: 48px;
+  margin-right: 25px;
+}
+
+#header {
+  padding-top: 16px;
+  padding-bottom: 10px;
+  margin-bottom: 10px;
+  height: 64px;
+  border-bottom: 1px solid #cccccc;
+}
+
+#header a {
+  height: 100%;
+  display: block;
+  text-decoration: none;
+}
+
+#header h1 {
+  cursor: pointer;
+  padding-top: 6px;
+  margin-bottom: 0px;
+  font-size: 30px;
+}