Ignore-this: 37aa9ff60160480bfd2557e26daaefc2
@@ -3,4 +3,8 @@
/* Put your custom style modifications here: */
-#userbox { text-align: right; font-weight: bold; margin: 0em 0em -3.4em 0em; }
+#userbox { text-align: right; font-weight: bold;
+ margin: 0em 0em -3.4em 0em;
+ height: 10.2em;
+ }
+