900 to 850px width

inverseproblem · inverseproblem · commit d4d397c35a65 · 2025-01-11T18:47:00.000+01:00
diff --git a/.github/workflows/Deploy.yml b/.github/workflows/Deploy.yml
@@ -3,7 +3,6 @@ on:
   push:
     branches:
       - main
-      - master
 jobs:
   build-and-deploy:
     runs-on: ubuntu-latest
diff --git a/_css/basic.css b/_css/basic.css
@@ -82,11 +82,11 @@ header li a:hover {
 
 /* wide display: enforce maximum width of header to match content */
 @media (min-width: 940px) {
-  header {
-      width: 900px; /* 705px; */
-    margin-left: auto;
-    margin-right: auto;
-  }
+    header {
+	width: 850px; /* 705px; */
+	margin-left: auto;
+	margin-right: auto;
+    }
 }
 
 /*
diff --git a/_css/franklin.css b/_css/franklin.css
@@ -91,7 +91,7 @@ html {
 /* On wide screens, fix content width to a max value. */
 @media (min-width: 940px) {
     .franklin-content {
-	width: 900px; /* 705px; */
+	width: 850px; /* 705px; */
 	margin-left: auto;
 	margin-right: auto;
     }
diff --git a/_layout/header.html b/_layout/header.html
@@ -1,5 +1,5 @@
 <header>
-  <div class="blog-name"> <img src="/assets/ginvlab_header.png" style="width: 900px; min-width: 300px;" id="logo_ginvlab">
+  <div class="blog-name"> <img src="/assets/ginvlab_header.png" style="width: 850px; min-width: 300px;" id="header_logo_ginvlab">
     <!-- <a href="/">G⁻¹Lab</a> --></div>
 <nav>
   <ul>

Original file line number	Diff line number	Diff line change
`@@ -91,7 +91,7 @@ html {`
`91`	`91`	`/* On wide screens, fix content width to a max value. */`
`92`	`92`	`@media (min-width: 940px) {`
`93`	`93`	`.franklin-content {`
`94`		`- width: 900px; /* 705px; */`
	`94`	`+ width: 850px; /* 705px; */`
`95`	`95`	`margin-left: auto;`
`96`	`96`	`margin-right: auto;`
`97`	`97`	`}`