diff options
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 { |