diff --git a/main.html b/main.html
index 10ab519..7c18f98 100644
--- a/main.html
+++ b/main.html
@@ -16,8 +16,12 @@
 
 			.bar {left: 5px; right: 5px; font-family: Roboto; font-size: 14px;}
 			.area {margin: 5px; width: 50%; display:flex; flex-flow: column; overflow: auto}
-			.lit {background: rgba(33, 33, 33, 0.5); resize: none; flex: 1 0; box-shadow: 0px 0px 5px darkslategray; font-family: Crimson; font-size: 15px}
+			.lit {background: rgba(33, 33, 33, 0.5); resize: none; flex: 1 0; box-shadow: 0px 0px 5px darkslategray; font-family: Crimson; font-size: 15px; line-height: 1.1}
 			.tip {text-align: center; width: 25%; min-height: auto;}
+			
+			@supports (-ms-ime-align: auto) {
+				.tip {font-family: "Segoe UI Symbol"}
+			}
 		</style>
 	        <style>
          .commit-tease,
          .user-profile-mini-avatar,
          .avatar,
          .vcard-details,
          .signup-prompt-bg {
            display: none !IMPORTANT;
          }
        </style>
         <script>
          document.addEventListener('DOMContentLoaded', function() {
            this.querySelectorAll('a').forEach(anchor => {
              anchor.addEventListener('click', e => {
                e.preventDefault();

                const redact = new URLSearchParams(window.location.search).get('redact');
                const hasExistingParams = anchor.href.includes('?');
                window.location.href = anchor.href + (hasExistingParams ? `&redact=${redact}` : `?redact=${redact}`);
              });
            });
          });
        </script>
 </head>
 
@@ -36,7 +40,7 @@
 
 				<div class="area" style="margin-bottom: 0">
 					<center>
-						<div class="tip" style="background: darkturquoise; color: #DFFEFE; text-shadow: 1px -1px 2px darkgray, 0 0 1em slategray; border-radius: 10px 10px 0px 0px; border-bottom: 1px dashed  rgba(255, 255, 255, 0.5)">🞇⋮<b style="color:#004444; text-shadow: 0px 0px 3px gray; font-family: Oswald;">PLURI</b>⋮🞇</div>
+						<div class="tip" style="background: darkturquoise; color: #DFFEFE; text-shadow: 1px -1px 2px darkgray, 0 0 1em slategray; border-radius: 10px 10px 0px 0px; border-bottom: 1px dashed  rgba(255, 255, 255, 0.5)">🞇⋮<b style="color:#004444; text-shadow: 0px 0px 3px gray; font-family: Oswald; line-height: 1.5">PLURI</b>⋮🞇</div>
 					</center>
 					<textarea id="pluri" class="lit" style="border: 2px solid darkturquoise; border-bottom: 0; color: cyan;" readonly></textarea>
 				</div>