summaryrefslogtreecommitdiffstats
path: root/userContent/theme
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2012-11-09 21:17:12 +0100
committerHolger Levsen <holger@layer-acht.org>2012-11-09 21:17:12 +0100
commit41eae8d77b5587ebb8474ab8f536098e9e49a7f5 (patch)
treec636cf1ed230c827f8097a18e611743da6bfae2d /userContent/theme
parent899087f087a83db60287a4c9a1fa2ff670e76a55 (diff)
downloadjenkins.debian.net-41eae8d77b5587ebb8474ab8f536098e9e49a7f5.tar.xz
fixup: fixup: fixup: try to use debian.css the lazy way
Diffstat (limited to 'userContent/theme')
-rw-r--r--userContent/theme/debian.css18
1 files changed, 2 insertions, 16 deletions
diff --git a/userContent/theme/debian.css b/userContent/theme/debian.css
index c192e636..ed819f94 100644
--- a/userContent/theme/debian.css
+++ b/userContent/theme/debian.css
@@ -30,34 +30,20 @@ hr {
color:#d70751;
background-color:#d70751;
height:2px;
- margin: 0px;
- padding: 0px;
+ margin: 3px;
+ padding: 3px;
}
em {
font-weight: bold;
}
-p.note {
- font-family: sans-serif;
- color: #900;
- text-align: center;
- padding: 5px;
- font-size: 11px;
- font-weight: normal;
-}
-
-div.c1 {text-align: center}
-
p.text {
font-family: sans-serif;
- padding: 5px;
font-weight: normal;
}
body {
- padding: 0px;
- margin: 0px;
font-family: sans-serif;
font-size: 90%;
color: #000000;