reenable logo

leanprover-community · Oct 24, 2023 · 8f05f02 · 8f05f02
1 parent 0a475a7
commit 8f05f02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/App.tsx b/client/src/App.tsx
@@ -123,7 +123,7 @@ const App: React.FC = () => {
   return (
     <div className={`app ${theme}-theme`}>
       <div className='nav'>
-        {/* <Logo className='logo' /> */}
+        <Logo className='logo' />
         <div className={'menu dropdown' + (navOpen ? '' : ' hidden')}>
           <Examples loadFromUrl={loadFromUrl} />
           <Settings closeNav={closeNav} theme={theme} setTheme={setTheme}/>