[gnome-builder] doc: tweak CSS naming for better reuse

[Christian Hergert <chergert src gnome org>]

commit 519b87175c5828e9b51a11354d033f702a602754
Author: Christian Hergert <chergert redhat com>
Date:   Fri Oct 27 17:49:49 2017 -0700

    doc: tweak CSS naming for better reuse

 doc/_static/theme_overrides.css |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/doc/_static/theme_overrides.css b/doc/_static/theme_overrides.css
index 0c0f045..a86b584 100644
--- a/doc/_static/theme_overrides.css
+++ b/doc/_static/theme_overrides.css
@@ -56,7 +56,12 @@ p {
   line-height: 1.2em !important;
 }
 
-table.align-row0-right tr td:first-child {
+table.column1-code tr td:first-child,
+table.column2-code tr td:nth-child(2) {
+  font-family: "Source Code Pro", monospace;
+  font-size: 9pt;
+}
+table.column1-right tr td:first-child {
   text-align: right;
 }