diff options
| author | Alex Yatskov <alex@foosoft.net> | 2017-01-08 19:03:48 -0800 |
|---|---|---|
| committer | Alex Yatskov <alex@foosoft.net> | 2017-01-08 19:03:48 -0800 |
| commit | 3b83f8b7fef9978b79517aeda95fa89de071ba54 (patch) | |
| tree | 39ee9396b1d305ec794d7069a97211d0aa534ede /ext/fg | |
| parent | 67ca7adc4cabb79a87b51ebd9b112e641de31af9 (diff) | |
styling
Diffstat (limited to 'ext/fg')
| -rw-r--r-- | ext/fg/css/frame.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ext/fg/css/frame.css b/ext/fg/css/frame.css index bb3596dc..d1c3b405 100644 --- a/ext/fg/css/frame.css +++ b/ext/fg/css/frame.css @@ -110,6 +110,15 @@ body { right: 5px; } +hr { + background-color: #fff; + border: none; + border-top: 1px dotted #ccc; + margin-top: 0.8em; + margin-bottom: 0.8em; + height: 1px; +} + /* term styles */ .term-expression { |