diff options
Diffstat (limited to 'htdocs')
-rw-r--r-- | htdocs/css/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/htdocs/css/style.css b/htdocs/css/style.css index 9d03418..75e3000 100644 --- 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; } |