From 836b777448879d47c28e7b5b5ec848a95ba9dbb1 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 16 2015 09:05:11 +0000
Subject: [PATCH 1/3] Make the filehex and the commitid classes use a monospace font


---

diff --git a/pagure/static/pagure.css b/pagure/static/pagure.css
index 58d064c..4917a24 100644
--- a/pagure/static/pagure.css
+++ b/pagure/static/pagure.css
@@ -385,6 +385,10 @@ pre {
     text-align: right;
 }
 
+.filehex, .commitid {
+    font-family: courier new;
+}
+
 .tree_list li:nth-child(odd),
 .commit_list li:nth-child(odd),
 .tag_list li:nth-child(odd),
@@ -434,6 +438,7 @@ table.list tr:hover td > a
 {
     color:white;
 }
+
 .commit_list li > a:first-child,
 .tree_list li > a:first-child,
 .tag_list li > a:first-child,

From fda4c331485a7c5cef520902cc2494e2aebcbece Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 16 2015 09:05:42 +0000
Subject: [PATCH 2/3] Be more specific about what is a commitid


---

diff --git a/pagure/templates/commit.html b/pagure/templates/commit.html
index 70365e5..d8fa3d8 100644
--- a/pagure/templates/commit.html
+++ b/pagure/templates/commit.html
@@ -9,7 +9,7 @@
 <div class="header">
 <h3>
     {{ splitted_message[0] }}
-    (<span class="commitid" title="{{ commitid }}">commit: {{ commitid|short }}
+    (commit: <span class="commitid" title="{{ commitid }}">{{ commitid|short }}
     </span> - <a href="{{ url_for('view_tree', username=username,
         repo=repo.name, identifier=commitid) }}">tree</a>)
     {% if splitted_message|length > 1 %}
@@ -53,7 +53,7 @@
     <td>
       {% for parent in commit.parents %}
         <a href="{{ url_for('view_commit', username=username,
-                  repo=repo.name, commitid=parent.oid.hex) }}">
+                  repo=repo.name, commitid=parent.oid.hex) }}" class="commitid">
           {{ parent.oid.hex }}
         </a> <br />
       {% endfor %}

From 597a6055f3182ff91a0856f6750e7a17b008e70a Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 16 2015 09:08:55 +0000
Subject: [PATCH 3/3] A police with a name containing space(s) should be between quotes


---

diff --git a/pagure/static/pagure.css b/pagure/static/pagure.css
index 4917a24..851a266 100644
--- a/pagure/static/pagure.css
+++ b/pagure/static/pagure.css
@@ -386,7 +386,7 @@ pre {
 }
 
 .filehex, .commitid {
-    font-family: courier new;
+    font-family: "courier new";
 }
 
 .tree_list li:nth-child(odd),