summaryrefslogtreecommitdiff
path: root/ext/fg
diff options
context:
space:
mode:
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 {