1 files changed, 5 insertions, 1 deletions
diff --git a/static/styles.css b/static/styles.css
index 50ad7c0..56a470b 100644
--- a/static/styles.css
+++ b/static/styles.css
@@ -126,13 +126,17 @@ pre {
 
 .id-deemphasize {
   color: #67f;
-  font-size: smaller;
+  font-size: x-small;
 }
 
 .id-name {
   text-decoration: underline;
 }
 
+.id-inner {
+  letter-spacing: -1ex;
+}
+
 .msg-header {
   margin-bottom: .25ex;
 }