1 files changed, 80 insertions, 17 deletions

diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css
index a756ec9b..8bcec8f8 100644
--- a/userContent/reproducible/static/style.css
+++ b/userContent/reproducible/static/style.css
@@ -11,9 +11,9 @@ body {
 	font-size: 14px;
 	line-height: 20px;
 	color: #333333;
-	padding: 0em 1em 0em 1em;
 	margin: 0;
 	height: 93%;
+	padding: 0 1em;
 }
 
 pre {
@@ -68,10 +68,68 @@ a.package:visited, a.noted:visited {
 	color:green;
 }
 
+.notification, .notification a {
+	color: red;
+	float: right;
+}
+
+.package-name {
+	display: block;
+	padding: 0.25em
+}
+
+.build-time {
+	font-size: 0.9em;
+}
+
+ul.menu {
+	margin-bottom: 1em;
+}
+
+.head li {
+	list-style: none;
+	display: block !important;
+}
+
+.head ul.children {
+	margin-left: 5px;
+}
+
+.head ul.children li {
+	margin: 0;
+}
+
+.suite {
+	display: inline-block;
+	clear: left;
+}
+
+ul.reproducible-links {
+	margin-top: 1em;
+	border-top: 1px solid #eee;
+	padding-top: 0.5em;
+}
+
+ul.reproducible-links li {
+	display: inline;
+	font-size: 0.9em;
+}
+
+ul.reproducible-links li a {
+	background: transparent;
+	border: none;
+	margin: 0 0.5em 0 0;
+	padding: 0;
+}
+
 header {
 	border-bottom: 1px solid #d70a53;
 }
 
+header.head {
+	background: #fafafa;
+}
+
 footer {
 	text-align: center;
 	margin-top: 1em;
@@ -86,27 +144,13 @@ ul, li {
 }
 
 ul li {
-	display: inline-block;
-}
-
-ul li a {
 	background: #fafafa;
 	border: 1px solid #ddd;
 	margin: 0 0.5em 0.3em 0;
 	border-radius: 0.5em;
 	padding: 0.15em 0.5em;
 	line-height: 1.5em;
-	display: block;
-}
-
-nav ul li {
-	display: block;
-}
-
-nav ul li a {
-	background: none;
-	border: none;
-	padding: 0;
+	display: inline-block;
 }
 
 h1 {
@@ -334,7 +378,6 @@ span.red { color: #d70a53; }
 span.purple { color: purple; }
 span.green { color: green; }
 span.dangerous { color: orange; }
-span.avoidwrap { display: inline-block; }
 
 @media all and (max-width: 641px) {
 	body {
@@ -347,6 +390,26 @@ span.avoidwrap { display: inline-block; }
 		overflow: hidden;
 	}
 }
+@media all and (min-width: 640px) {
+	body.wrapper {
+		padding: 0;
+	}
+
+	.head {
+		padding: 1em;
+		float: left;
+		box-sizing: border-box;
+		width: 20%;
+		border: none;
+		border-right: 1px solid #eee;
+		height: 100%;
+		padding-top: 0px;
+	}
+	iframe#main {
+		width: 80%;
+		float: right;
+	}
+}
 
 /*
  * @media all and (min-width: 841px) {