From 5aadb780755d21be9f1c2050c841a18a2a6ff9b6 Mon Sep 17 00:00:00 2001
From: Andrew Yu <andrew@andrewyu.org>
Date: Tue, 26 Jul 2022 01:10:16 +0800
Subject: bug

---
 index.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/index.html b/index.html
index 1467ca0..28bb0c5 100644
--- a/index.html
+++ b/index.html
@@ -22,7 +22,7 @@
 					<li><a href="https://lib.andrewyu.org">Private file library</a></li>
 				</ul>
 			</div>
-		<hr />
+			<hr />
 			<div id="rnd-nav">
 				<h2>Random pages</h2>
 				<ul>
@@ -30,33 +30,33 @@
 					<li><a href="eax.txt">32-bit Linux syscall eax register list</a></li>
 				</ul>
 			</div>
-		<hr />
+			<hr />
 			<div id="campaign">
 				<p>It is our responsibility to spread <a href="https://fsf.org">free software</a>, <a href="https://fcm.andrewyu.org">free computing (one of the websites started by me :D)</a> and advocate for user freedom.  Please don't waste any chances to do so.</p>
 			</div>
-		<hr />
+			<hr />
 			<div id="majornote">
 				<p>Most of my new articles are available at the Request for Discussions Website.  Older ones will be republished there.</p>
 				<p>As there's a lot of stuff with school, etc. going around, I'm currently inactive on writing articles and stuff.  I have many recent ideas, and I'll turn them into RFDs when I have time.  (Secondary school in China is some work, really, compared with many other places.)</p>
 			</div>
-		<hr />
 			<!--
+			<hr />
 			<div id="ponder">
 				<h2>Help me ponder upon these questions</h2>
 				<p>These are questions that interest me.  Maybe you have ideas?</p>
 			</div>
 			-->
-		<hr />
+			<hr />
 			<div id="quotes">
 				<h2>Quotes</h2>
 				<blockquote><p>Arguing that you don't care about the right to privacy because you have nothing to hide is no different from saying you don't care about free speech because you have nothing to say. &mdash;Edward Snowden</p></blockquote>
 			</div>
-		<hr />
+			<hr />
 			<div id="me">
 				<h2>About me</h2>
 				<p>I am Andrew Yu.  My main fields of interest are philosophy (especially moral philosophy, and especially especially moral philosophy in technology), metamathematics, programming fundamentals and molecular biology.  I'm also a free software activist.</p>
 			</div>
-		<hr />
+			<hr />
 			<div id="contact">
 				<h2>Contact</h2>
 				<p>There are many ways to contact me.  None of these require proprietary software.</p>
-- 
cgit 1.4.1-2-gfad0