diff options
Diffstat (limited to 'tools/gui/resources/web/styles.css')
-rw-r--r-- | tools/gui/resources/web/styles.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/gui/resources/web/styles.css b/tools/gui/resources/web/styles.css index 124b63f..e9d6626 100644 --- a/tools/gui/resources/web/styles.css +++ b/tools/gui/resources/web/styles.css @@ -149,6 +149,19 @@ button, .entry { cursor: pointer; } +#notifications { + position: absolute; + top: 1em; + left: 1em; + width: 20%; + max-height: 30%; + background: rgba(0, 0, 0, 0.1); + padding: 0 0.2em; + font-size: 0.5em; + overflow-y: auto; + word-wrap: break-word; +} + #popup { position: fixed; left: 0; |