From 9ca2a5bdd7c2f0eec3bed43fccfce154879b9550 Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Tue, 2 Oct 2012 17:24:45 -0700
Subject: Trac 55: set font-family is diaglog elements

---
 contexts/data/fiveui/injected/injected.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'contexts/data/fiveui/injected/injected.css')

diff --git a/contexts/data/fiveui/injected/injected.css b/contexts/data/fiveui/injected/injected.css
index 4cb6b85..100963e 100644
--- a/contexts/data/fiveui/injected/injected.css
+++ b/contexts/data/fiveui/injected/injected.css
@@ -34,6 +34,11 @@
 /* Reduce the JQuery UI spacing on the left of the dialog content. */
 #uic-dialog {
     padding-left: 3px;
+    font-family: Courier;
+}
+
+#uic-top {
+  font-family: Courier;
 }
 
 .ui-dialog .ui-dialog-content {
@@ -41,6 +46,11 @@
     position: relative;
 }
 
+#breakButton, #clearButton {
+  font-family: Courier;
+}
+
+
 
 /* #listWrapper { */
 /*     overflow: auto; */
-- 
cgit v1.2.3