diff options
author | Daniel Friesel <derf@finalrewind.org> | 2015-04-28 11:59:54 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2015-04-28 11:59:54 +0200 |
commit | f692717e7148365813d3f65b7b350e6090159293 (patch) | |
tree | 53f7aa851187efc6fe37af1f8b22bf255a6c8b50 /public/default.css | |
parent | 2813f25668ba9844d00d3f40181f839ecebf38e4 (diff) |
add replacement infos to clean display0.06
Diffstat (limited to 'public/default.css')
-rw-r--r-- | public/default.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/public/default.css b/public/default.css index 0f98d63..6d59b03 100644 --- a/public/default.css +++ b/public/default.css @@ -42,6 +42,22 @@ div.displayclean li .line { left:2px; } +div.displayclean li .lineinfo { + color:#000000; + font-size: 2em; + position:absolute; + bottom:2px; + left:2px; +} + +div.displayclean li .lineinfo .replacement { + color: #006600; +} + +div.displayclean li .lineinfo .replaced { + color: #660000; +} + div.displayclean li .tram { background-color: #CC0000; } |