css

cmip-ipo-internal · Jan 10, 2024 · 7ecd382 · 7ecd382
1 parent 963a209
commit 7ecd382
Show file tree

Hide file tree

Showing 21 changed files with 23 additions and 21 deletions.
diff --git a/site/404.html b/site/404.html
@@ -48,7 +48,7 @@
 
       <link rel="stylesheet" href="/stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("/",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Airtable/prefilled_form/index.html b/site/Airtable/prefilled_form/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Airtable/script_fetchapi/index.html b/site/Airtable/script_fetchapi/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Airtable/script_gitissue/index.html b/site/Airtable/script_gitissue/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Airtable/script_replacetable/index.html b/site/Airtable/script_replacetable/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Installations/new conda mipcvs/index.html b/site/Installations/new conda mipcvs/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/MIPCV_Site/jinja2/index.html b/site/MIPCV_Site/jinja2/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/MKDocs/markdown/index.html b/site/MKDocs/markdown/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/MKDocs/setup/index.html b/site/MKDocs/setup/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/CREODIAS/2FA management/index.html b/site/Server_Config/CREODIAS/2FA management/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/CREODIAS/credoias_ports/index.html b/site/Server_Config/CREODIAS/credoias_ports/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/CREODIAS/floating_ip/index.html b/site/Server_Config/CREODIAS/floating_ip/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/FASTAPI/index.html b/site/Server_Config/FASTAPI/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/nginx/index.html b/site/Server_Config/nginx/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/permissions/index.html b/site/Server_Config/permissions/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/ports/index.html b/site/Server_Config/ports/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/Server_Config/ssh/index.html b/site/Server_Config/ssh/index.html
@@ -52,7 +52,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/index.html b/site/index.html
@@ -50,7 +50,7 @@
 
       <link rel="stylesheet" href="stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL(".",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/scripts/update_repos/index.html b/site/scripts/update_repos/index.html
@@ -50,7 +50,7 @@
 
       <link rel="stylesheet" href="../../stylesheets/extra.css">
 
-      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&display=swap">
+      <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Akshar&family=Plus+Jakarta+Sans&family=family=IBM+Plex+Mono&display=swap">
 
     <script>__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
 

diff --git a/site/sitemap.xml.gz b/site/sitemap.xml.gz
diff --git a/site/stylesheets/extra.css b/site/stylesheets/extra.css
@@ -6,9 +6,11 @@
 
 .md-header__title{
     /* color: red; */
-    font-family: 'Plus Jakarta Sans', sans-serif;
+    font-family: 'IBM Plex Mono', monospace;
+
 }
 .md-nav__title{
     /* color: red; */
-    font-family: 'Plus Jakarta Sans', sans-serif;
+    font-family: 'IBM Plex Mono', monospace;
+
 }