summaryrefslogtreecommitdiff
path: root/ext/fg
diff options
context:
space:
mode:
authorAlex Yatskov <alex@foosoft.net>2017-01-08 19:03:48 -0800
committerAlex Yatskov <alex@foosoft.net>2017-01-08 19:03:48 -0800
commit3b83f8b7fef9978b79517aeda95fa89de071ba54 (patch)
tree39ee9396b1d305ec794d7069a97211d0aa534ede /ext/fg
parent67ca7adc4cabb79a87b51ebd9b112e641de31af9 (diff)
styling
Diffstat (limited to 'ext/fg')
-rw-r--r--ext/fg/css/frame.css9
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 {