diff options
Diffstat (limited to 'xP/public/xP.css')
-rw-r--r-- | xP/public/xP.css | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/xP/public/xP.css b/xP/public/xP.css index 5c02d7e..87cfec2 100644 --- a/xP/public/xP.css +++ b/xP/public/xP.css @@ -30,11 +30,16 @@ body { display: flex; justify-content: space-between; align-items: baseline; + column-gap: .3em; position: relative; border-top: 3px solid #ccc; border-bottom: 2px solid #888; } +.title { + /* To approximate right-aligned space-between. */ + flex-direction: row-reverse; +} .title:before, .status:before { content: " "; position: absolute; @@ -57,7 +62,7 @@ body { .toolbar { display: flex; align-items: baseline; - gap: .3em; + column-gap: .3em; } button { font: inherit; @@ -129,11 +134,13 @@ button:hover:active { overflow-y: auto; } .log, .content { - padding: .1em .3em; /* Note: https://bugs.chromium.org/p/chromium/issues/detail?id=1261435 */ white-space: break-spaces; overflow-wrap: break-word; } +.log, .buffer .content { + padding: .1em .3em; +} .leaked { opacity: 50%; |