fix github cat pic

math-comp · Jan 17, 2024 · a1fde90 · a1fde90
1 parent 6bcee15
commit a1fde90
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 24 deletions.
diff --git a/github-mark.png b/github-mark.png
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -10,9 +10,9 @@
 #+HTML_HEAD: <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style>
 #+HTML_HEAD: <style type="text/css"> body { max-width: 1100px; width: 100% - 30px; margin-left: 30px; }</style>
 
-@@html: <div style="text-align:right"><img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px">@@
+@@html: <div style="text-align:right"><img src="github-mark.png" height="25" style="border:0px">@@
 [[https://github.com/math-comp/math-comp][View the Project on GitHub]]
-@@html: <img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px"></div>@@
+@@html: <img src="github-mark.png" height="25" style="border:0px"></div>@@
 
 * About