Add support for git-pull requests

[patchwork] / htdocs / css / style.css

diff --git a/htdocs/css/style.css b/htdocs/css/style.css
index 9d03418a8d678c43e5e5611f8af400efc63a4e7e..75e300001b8937f71bbc9e5d6932dba86de378fa 100644 (file)
--- a/htdocs/css/style.css
+++ b/htdocs/css/style.css
@@ -272,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;
 }