urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 18:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

debug: improve log event details styling a bit

Browse Source
This commit is contained in:
fang 2024-04-08 16:29:00 +02:00
parent 5e6f2efa6e
commit 718a3fa00f
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkg/interface/dbug/src/css/logs.css
View File

@ -42,6 +42,7 @@
border-style: solid; border-style: solid;
} }
.details { .details {
padding: 0.3em;
display: none; display: none;
position: absolute; position: absolute;
top: 0.75em; top: 0.75em;
@ -62,4 +63,11 @@
} }
.event:hover, .event.focus { .event:hover, .event.focus {
box-shadow: 0 0 10px 0 #f30; box-shadow: 0 0 10px 0 #f30;
} }
.event details {
padding-left: 1em;
}
.event details summary {
position: relative;
left: -1em;
}