[jenkins] 14/22: ubuntu-font

[James Downing Page]

This is an automated email from the git hooks/post-receive script.

jamespage pushed a commit to branch patch-queue/master
in repository jenkins.

commit 43bafae05ee17c0341dd9956893b6d00ab6bdc4b
Author: Debian Java Maintainers <pkg-java-maintainers at lists.alioth.debian.org>
Date:   Sun Aug 11 10:41:39 2013 +0100

    ubuntu-font
    
    
    Gbp-Pq-Topic: ubuntu
---
 war/src/main/webapp/css/style.css |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/war/src/main/webapp/css/style.css b/war/src/main/webapp/css/style.css
index eff6d3e..0b33301 100644
--- a/war/src/main/webapp/css/style.css
+++ b/war/src/main/webapp/css/style.css
@@ -29,7 +29,7 @@ body {
 
 body, table, form, input, td, th, p, textarea, select
 {
-  font-family: Verdana, Helvetica, sans serif;
+  font-family: Ubuntu, Verdana, Helvetica, sans serif;
   font-size: 11px;
 }
 
@@ -357,7 +357,7 @@ th.pane {
   padding: 4px 0;
   margin-left: 0;
   border-bottom: 1px solid #090;
-  font: bold 12px Verdana, sans-serif;
+  font: bold 12px Ubuntu, Verdana, sans-serif;
 }
 
 #foldertab li {

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jenkins.git