summaryrefslogtreecommitdiffstats
path: root/userContent/reproducible
diff options
context:
space:
mode:
Diffstat (limited to 'userContent/reproducible')
-rw-r--r--userContent/reproducible/static/style.css97
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) {