From 3b83f8b7fef9978b79517aeda95fa89de071ba54 Mon Sep 17 00:00:00 2001 From: Alex Yatskov Date: Sun, 8 Jan 2017 19:03:48 -0800 Subject: styling --- ext/fg/css/frame.css | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'ext/fg/css/frame.css') 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 { -- cgit v1.2.3