summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-12-15 00:45:11 +0100
committerHolger Levsen <holger@layer-acht.org>2015-12-15 00:45:11 +0100
commitfbdd851af01b9cbff2ad73135e98b466bf5b1c69 (patch)
tree8b2563bbedbb9c7e9749fbe1790fa976848be32f
parentab5317ede876c4115bd58fa02ba1081aefe0afcb (diff)
downloadjenkins.debian.net-fbdd851af01b9cbff2ad73135e98b466bf5b1c69.tar.xz
reproducible fedora rpms: improve css
-rwxr-xr-xbin/reproducible_html_rpms.sh2
-rw-r--r--userContent/reproducible/rpms/fedora-23.css28
2 files changed, 29 insertions, 1 deletions
diff --git a/bin/reproducible_html_rpms.sh b/bin/reproducible_html_rpms.sh
index 32d6c121..d9c197e4 100755
--- a/bin/reproducible_html_rpms.sh
+++ b/bin/reproducible_html_rpms.sh
@@ -125,7 +125,7 @@ cat > $PAGE <<- EOF
</head>
<body>
<div id="logo">
- <p><img src="${RELEASE}_logo.png" alt="$RELEASE logo" height="50%" /></p>
+ <p><img src="${RELEASE}_logo.png" alt="$RELEASE logo" class="logo" /></p>
</div>
<div class="content">
<h1>Reproducible $RELEASE ($ARCH) ?!</h1>
diff --git a/userContent/reproducible/rpms/fedora-23.css b/userContent/reproducible/rpms/fedora-23.css
index 45b06157..c6164b24 100644
--- a/userContent/reproducible/rpms/fedora-23.css
+++ b/userContent/reproducible/rpms/fedora-23.css
@@ -9,6 +9,13 @@ dl, dd, ol, ul, figure {
margin: 0;
padding: 0; }
+img.logo {
+ max-width: 50%;
+ height: auto;
+ padding: 1em;
+ margin: 0.5em;
+}
+
/**
* Basic styling
*/
@@ -21,6 +28,27 @@ body {
background-color: #fdfdfd;
-webkit-text-size-adjust: 100%; }
+table {
+ background: #ececf5 none repeat scroll 0 0;
+ border: 1px solid #bcd;
+ margin-bottom: 1.5em;
+ padding: 0.65em;
+ width: 100%;
+ font-size: 0.80em;
+ border-collapse: collapse;
+}
+
+table tr td {
+ border-top: 1px dotted #bcd;
+}
+
+table tr td, table th {
+ padding: 0.15em 0.75em;
+}
+
+#variation th:first-child {
+ width: 23%;
+}
/**
* Set `margin-bottom` to maintain vertical rhythm
*/