From bd3b4e7d8a436685f8b676da8f6ffe9498ab2e3f Mon Sep 17 00:00:00 2001
From: Yuchen Pei <me@ypei.me>
Date: Thu, 1 Jul 2021 15:16:19 +1000
Subject: Added copyright notices and license headers to website content.

also removed more unused files.
---
 css/default.css | 23 +++--------------------
 css/page.css    |  4 ++++
 2 files changed, 7 insertions(+), 20 deletions(-)

(limited to 'css')

diff --git a/css/default.css b/css/default.css
index 705e792..5f51f6f 100644
--- a/css/default.css
+++ b/css/default.css
@@ -1,29 +1,12 @@
-/*
-*{
-    background-color: #faebbc;
-}
+/* 
+   This file is released into the public domain.
 */
+
 nav {
     display: inline;
     float: right;
 }
 
-/* #TOC:before { */
-/*     content: "Table of Contents"; */
-/* } */
-
-/* #TOC{ */
-/*     display: inline; */
-/*     float: right; */
-/*     margin: 1rem; */
-/* } */
-
-/*
-nav#TOC li{
-    list-style-type: none;
-}
-*/
-
 span.logo {
     float: left;
 }
diff --git a/css/page.css b/css/page.css
index ed5323a..84be7b9 100644
--- a/css/page.css
+++ b/css/page.css
@@ -1,3 +1,7 @@
+/* 
+   This file is released into the public domain.
+*/
+
 h1.title {
     display: none;
 }
-- 
cgit v1.2.3