diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-02 17:24:45 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-02 17:27:22 -0700 |
| commit | 9ca2a5bdd7c2f0eec3bed43fccfce154879b9550 (patch) | |
| tree | 4822dc89b3559b0a3112317a6f7aebd682a25716 /contexts/data/fiveui/injected/injected.css | |
| parent | 65f2b4ee809a96adbb02b54256f83c170f6aed51 (diff) | |
Trac 55: set font-family is diaglog elements
Diffstat (limited to 'contexts/data/fiveui/injected/injected.css')
| -rw-r--r-- | contexts/data/fiveui/injected/injected.css | 10 |
1 files changed, 10 insertions, 0 deletions
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; */ |