Merge branch 'master' into debian-master

[deb/packages.git] / static / debpkg.css

diff --git a/static/debpkg.css b/static/debpkg.css
index cac12529667e8992d3777c5c692de65b0adeec32..aa484e534d224c66b8d2e6d2df427dad48fe5adb 100644 (file)
--- a/static/debpkg.css
+++ b/static/debpkg.css
@@ -24,6 +24,7 @@
 #footer {
        padding-right: 10px;
        margin-left: 52px;
+       clear: both; /* added because right sidebar overlaps footer */
 }
 #pnavbar {
        font-size: 0.75em;
@@ -130,7 +131,8 @@ div.warning {
 #pcontentsres {
        margin-bottom: 1.5em;
        }
-#psearchres h3{
+#psearchres ul{
+       margin-top:0;
 }
 #psearchres ul li{
 }
@@ -217,6 +219,7 @@ div#pothers {
        border-bottom: 1px solid #a9abb3;
        border-top: 1px solid #a9abb3;
        width: 100%;
+       font-size: 0.75em;
 }
 #pdeplegend td li {
        padding-left:0;
@@ -302,3 +305,12 @@ td {
 }
 th {
 }
+.vcurrent {
+       background-color: #bfb;
+}
+.volder {
+       background-color: #ffb;
+}
+.vold {
+       background-color: #fbb;
+}