diff options
author | Luciano Iam <lucianito@gmail.com> | 2020-04-11 10:08:54 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-04-11 22:30:41 +0200 |
commit | b7acaf1193f85a81ffafe33a867836917fcea4e6 (patch) | |
tree | 753949585932873c1e3c569f1b7f987ac95379ed /share/web_surfaces/index/main.css | |
parent | 9aef43181855256b7b6690aa2422769198c3aecf (diff) |
WebSockets: update web index to handle latest index.json format and show surface paths on disk
Diffstat (limited to 'share/web_surfaces/index/main.css')
-rw-r--r-- | share/web_surfaces/index/main.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/share/web_surfaces/index/main.css b/share/web_surfaces/index/main.css index 3b330fa36f..a10d9f84b9 100644 --- a/share/web_surfaces/index/main.css +++ b/share/web_surfaces/index/main.css @@ -78,4 +78,10 @@ h2 { .surface-list > ul > li { margin: 4ex 0; -}
\ No newline at end of file +} + +.disk-path { + font-family: Monaco, monospace; + font-size: 0.66em; + color: #bbb; +} |