Add support for git-pull requests

[patchwork] / htdocs / css / style.css

diff --git a/htdocs/css/style.css b/htdocs/css/style.css
index 1813c2014e49d5f67427228740f0abff23e195b4..75e300001b8937f71bbc9e5d6932dba86de378fa 100644 (file)
--- a/htdocs/css/style.css
+++ b/htdocs/css/style.css
@@ -3,6 +3,7 @@ body {
        color: black;
        margin: 0em;
        font-size: 9pt;
+       font-family: "DejaVu Sans", "Bitstream Vera Sans", "Verdana", sans-serif;
 }
 
 .floaty {
@@ -27,12 +28,6 @@ body {
        margin-bottom: 0;
 }
 
-.beta {
-       font-size: 60%;
-       vertical-align: sub;
-       line-height: 2em;
-}
-
 #auth {
        border-left: thin solid white;
        padding-top: 0em;
@@ -277,6 +272,10 @@ table.patchmeta tr th, table.patchmeta tr td {
        padding: 1em;
 }
 
+.patch-pull-url {
+       font-family: "DejaVu Sans Mono", fixed;
+}
+
 .quote {
        color: #007f00;
 }
@@ -293,6 +292,11 @@ span.p_mod { color: #0000ff; }
 
 }
 
+.nacked-by {
+       color: #2d4566;
+
+}
+
 .signed-off-by {
        color: #672d45;
        font-weight: bold;