diff options
author | Max Magorsch <arzano@gentoo.org> | 2020-07-11 15:12:51 +0200 |
---|---|---|
committer | Max Magorsch <arzano@gentoo.org> | 2020-07-11 15:13:07 +0200 |
commit | 4bf91463052c41965ee7a9f79ab2187ea65d3d82 (patch) | |
tree | 9de09590c8d8144e7c7021a1228446cb9240c852 /public | |
parent | Add url paramter 'h' for further highlighting (diff) | |
download | frontend-4bf91463052c41965ee7a9f79ab2187ea65d3d82.tar.gz frontend-4bf91463052c41965ee7a9f79ab2187ea65d3d82.tar.bz2 frontend-4bf91463052c41965ee7a9f79ab2187ea65d3d82.zip |
Use a table for the message body instead of pre
This simplifies the highlighting of lines.
Signed-off-by: Max Magorsch <arzano@gentoo.org>
Diffstat (limited to 'public')
-rw-r--r-- | public/css/main.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/public/css/main.css b/public/css/main.css index 0acabf6..aa81004 100644 --- a/public/css/main.css +++ b/public/css/main.css @@ -100,6 +100,10 @@ .ag-date { } +.ag-line:target { + background-color:#FFF3CD; +} + .ag-line-number{ color: #c1c1c1!important; } |