diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/styles.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/static/styles.css b/static/styles.css index 9c64d48..e182ae5 100644 --- a/static/styles.css +++ b/static/styles.css @@ -120,6 +120,19 @@ pre { font-size: smaller; } +.id-copyable-link { + text-decoration: none; +} + +.id-deemphasize { + color: #67f; + font-size: smaller; +} + +.id-name { + text-decoration: underline; +} + .msg-header { margin-bottom: .25ex; } |