diff options
author | Luciano Iam <lucianito@gmail.com> | 2020-04-12 10:33:04 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-04-13 16:29:38 +0200 |
commit | 17cbd6560315fe6c466635ae84f2dce18c488c9c (patch) | |
tree | 111d29f1228ddf06e5185501ef9b3c683f252ac6 /share/web_surfaces/index/main.css | |
parent | fef1ed81ed1c7cb9937625fef6bae73b40ef7072 (diff) |
WebSockets: rename all occurrences of 'disk path' to 'filesystem path'
Diffstat (limited to 'share/web_surfaces/index/main.css')
-rw-r--r-- | share/web_surfaces/index/main.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/web_surfaces/index/main.css b/share/web_surfaces/index/main.css index fb13d28401..5129f8ddd5 100644 --- a/share/web_surfaces/index/main.css +++ b/share/web_surfaces/index/main.css @@ -85,7 +85,7 @@ h2 { font-size: 0.75em; } -.disk-path { +.filesystem-path { font-family: Monaco, monospace; font-size: 0.9em; color: #444; |