[gnome-builder] doc: tweak style for cross-references

[Christian Hergert <chergert src gnome org>]

commit 6f644eebf7c1cbbbeb851e7d59aecf37a87e2580
Author: Christian Hergert <chergert redhat com>
Date:   Fri Oct 27 18:47:10 2017 -0700

    doc: tweak style for cross-references

 doc/_static/theme_overrides.css |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/doc/_static/theme_overrides.css b/doc/_static/theme_overrides.css
index a86b584..7b5d7fc 100644
--- a/doc/_static/theme_overrides.css
+++ b/doc/_static/theme_overrides.css
@@ -73,6 +73,11 @@ span.deprecated {
   color: #f57900;
 }
 
+span.std.std-ref {
+  font-family: "Source Code Pro", monospace;
+  font-size: 10pt;
+}
+
 div.admonition.note {
   background-color: #4a86cf33; }
 div.admonition.note .first {