From 9729302a5d157b0735ca59990af3f96fe5b4aee2 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Fri, 28 Jul 2023 11:49:05 +0200
Subject: [PATCH] cosmetic changes

---
 index.html                 | 12 ++++++------
 src/themes/materialDark.ts |  3 ++-
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/index.html b/index.html
index 57112d6..bfe5855 100644
--- a/index.html
+++ b/index.html
@@ -38,22 +38,22 @@
               <path stroke-linecap="round" stroke-linejoin="round" d="M12 6.042A8.967 8.967 0 006 3.75c-1.052 0-2.062.18-3 .512v14.25A8.987 8.987 0 016 18c2.305 0 4.408.867 6 2.292m0-14.25a8.966 8.966 0 016-2.292c1.052 0 2.062.18 3 .512v14.25A8.987 8.987 0 0018 18a8.967 8.967 0 00-6 2.292m0-14.25v14.25" />
             </svg>
           </svg>
-          <span id="universe-viewer" class="ml-4 text-xl text-white">Topos</span>
+          <span id="universe-viewer" class="ml-4 text-2xl text-white">Topos</span>
         </a>
         <nav class="py-0 flex flex-wrap items-center text-base absolute right-0">
-          <span id="clockviewer" class="mr-6 py-2 bg-white text-black rounded align-center text-xs px-2">Clock</span>
+          <span id="clockviewer" class="mr-6 py-1 bg-white text-black rounded align-center text-normal px-2">Clock</span>
           <a id="play-button-1" class="mr-5">
-            <svg class="w-6 h-6" fill="currentColor" viewBox="0 0 14 16">
+            <svg class="w-8 h-8" fill="currentColor" viewBox="0 0 14 16">
               <path d="M0 .984v14.032a1 1 0 0 0 1.506.845l12.006-7.016a.974.974 0 0 0 0-1.69L1.506.139A1 1 0 0 0 0 .984Z"/>
             </svg>
           </a>
           <a id="pause-button-1" class="mr-5 hover:text-gray-900">
-            <svg class="fill-orange-300 w-6 h-6 text-gray-800 dark:text-white" fill="currentColor" viewBox="0 0 20 20">
+            <svg class="fill-orange-300 w-8 h-8 text-gray-800 dark:text-white" fill="currentColor" viewBox="0 0 20 20">
               <path d="M10 .5a9.5 9.5 0 1 0 9.5 9.5A9.51 9.51 0 0 0 10 .5ZM9 13a1 1 0 0 1-2 0V7a1 1 0 0 1 2 0v6Zm4 0a1 1 0 0 1-2 0V7a1 1 0 0 1 2 0v6Z"/>
             </svg>
           </a>
           <a id="clear-button-1" class="mr-5 hover:text-gray-900">
-            <svg class="w-6 h-6 text-gray-800 dark:text-white" aria-hidden="true" xmlns="http://www.w3.org/2000/svg" fill="currentColor" viewBox="0 0 17 20">
+            <svg class="w-8 h-8 text-gray-800 dark:text-white" aria-hidden="true" xmlns="http://www.w3.org/2000/svg" fill="currentColor" viewBox="0 0 17 20">
               <path d="M7.958 19.393a7.7 7.7 0 0 1-6.715-3.439c-2.868-4.832 0-9.376.944-10.654l.091-.122a3.286 3.286 0 0 0 .765-3.288A1 1 0 0 1 4.6.8c.133.1.313.212.525.347A10.451 10.451 0 0 1 10.6 9.3c.5-1.06.772-2.213.8-3.385a1 1 0 0 1 1.592-.758c1.636 1.205 4.638 6.081 2.019 10.441a8.177 8.177 0 0 1-7.053 3.795Z"/>
             </svg>
           </a>
@@ -144,7 +144,7 @@
             </a>
         </aside>
         <div class="min-w-screen flex grow flex-col">
-          <ul id="local-script-tabs" class="flex text-sm font-medium text-center text-white dark:text-white bg-neutral-900 space-x-2 lg:space-x-8">
+          <ul id="local-script-tabs" class="text-xl flex text-sm font-medium text-center text-white dark:text-white bg-neutral-900 space-x-2 lg:space-x-8">
             <li class="pl-5">
                 <a id="tab-1" class="bg-orange-300 inline-block px-4 py-1 text-white hover:bg-gray-800">1</a>
             </li>
diff --git a/src/themes/materialDark.ts b/src/themes/materialDark.ts
index 14492c2..4dd8beb 100644
--- a/src/themes/materialDark.ts
+++ b/src/themes/materialDark.ts
@@ -27,7 +27,8 @@ export const materialDarkTheme = EditorView.theme(
   {
     '&': {
       color: base05,
-      backgroundColor: background
+      backgroundColor: background,
+      fontSize: '24px',
     },
 
     '.cm-content': {