summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xupdate_jdn.sh2
-rw-r--r--userContent/theme/debian.css33
2 files changed, 1 insertions, 34 deletions
diff --git a/update_jdn.sh b/update_jdn.sh
index 5860d6d8..89d07c32 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -56,7 +56,7 @@ cp -r bin logparse job-cfg /srv/jenkins/
explain "Jenkins updated."
cp -r TODO userContent/* /var/lib/jenkins/userContent/
cd /var/lib/jenkins/userContent/
-asciidoc -a numbered -a data-uri -a iconsdir=/etc/asciidoc/images/icons -a scriptsdir=/etc/asciidoc/javascripts -a imagesdir=./ -b html5 -a toc -a toclevels=4 -a icons -a stylesheet=themes/debian.css -o about.html TODO
+asciidoc -a numbered -a data-uri -a iconsdir=/etc/asciidoc/images/icons -a scriptsdir=/etc/asciidoc/javascripts -a imagesdir=./ -b html5 -a toc -a toclevels=4 -a icons -a stylesheet=/var/lib/jenkins/userContent/theme/debian.css -o about.html TODO
rm TODO
explain "Updated about.html"
diff --git a/userContent/theme/debian.css b/userContent/theme/debian.css
index 8ea392c7..c192e636 100644
--- a/userContent/theme/debian.css
+++ b/userContent/theme/debian.css
@@ -25,17 +25,6 @@
-
-#main {
- border: none;
- padding-top: 10px;
- padding-bottom: 10px;
- padding-left: 10px;
- padding-right: 10px;
- vertical-align: top;
- background-color: #ddd;
-}
-
hr {
width: 100%;
color:#d70751;
@@ -78,19 +67,16 @@ body {
h1 {
font-size: 140%;
- text-align: center;
color: #000;
}
h2 {
font-size: 120%;
- text-align: center;
color: #000;
}
h3 {
font-size: 110%;
- text-align: center;
color: #000;
}
@@ -124,22 +110,3 @@ a:hover {
text-decoration: underline;
}
-#header {
- padding: 3px;
-}
-
-h1.header {
- font-size: 32px;
- text-align: left;
- margin-bottom: 0px;
- margin-top: 0px;
- padding-top: 0px;
- padding-bottom: 0px;
- padding-left: 15px;
-}
-
-#footer {
- padding: 15px;
- font-size: 90%;
- text-align: center;
-}