1 files changed, 17 insertions, 157 deletions

diff --git a/style.css b/style.css
index 6efceea..4019fa0 100644
--- a/style.css
+++ b/style.css
@@ -1,26 +1,11 @@
 :root {
-  /* --cyan: #00cece; */
   --cyan: #37abc8;
-  /* --pink: #d344e2; */
   --pink: #d35557;
   --black: #212121;
-  --light-black: #666666;
-  --white: #ffffff;
-  --dark-white: #eeeeee;
-  --inactive: #888;
-
-  --light-yellow: #F7B955;
-  --dark-yellow: #F49B0B;
+  --fg: #1a1a1a;
+  --bg: #ededed;
 }
 
-code{white-space: pre-wrap;}
-span.smallcaps{font-variant: small-caps;}
-span.underline{text-decoration: underline;}
-div.column{display: inline-block; vertical-align: top; width: 50%;}
-div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
-ul.task-list{list-style: none;}
-.display.math{display: block; text-align: center; margin: 0.5rem auto;}
-
 @font-face {
     font-family: 'LinuxLibertineDisplayRegular';
     src: url('resources/fonts/LinLibertine_DR.otf') format('opentype');
@@ -47,17 +32,12 @@ ul.task-list{list-style: none;}
 }
 
 html {
-  line-height: 1.2;
-  /* font-family: Georgia, serif; */
   font-family: 'LinuxLibertineDisplayRegular'; 
   font-weight: normal; 
   font-size: 20px;
-  color: #1a1a1a;
-  background-color: #ededed;
-}
-
-header {
-    
+  line-height: 1.2;
+  color: var(--fg);
+  background-color: var(--bg);
 }
 
 body {
@@ -66,78 +46,38 @@ body {
   padding-left: 50px;
   padding-right: 50px;
   padding-top: 50px;
-  padding-bottom: 15px;
+  padding-bottom: 25px;
   hyphens: auto;
   word-wrap: break-word;
   text-rendering: optimizeLegibility;
   font-kerning: normal;
 }
 
-@media (max-width: 600px) {
-  body {
-    font-size: 0.9em;
-    padding: 1em;
-  }
-}
-
-@media print {
-  body {
-    background-color: transparent;
-    color: black;
-    font-size: 12pt;
-  }
-  p, h2, h3 {
-    orphans: 3;
-    widows: 3;
-  }
-  h2, h3, h4 {
-    page-break-after: avoid;
-  }
-}
 p {
   margin: 1em 0;
 }
+
 a {
-  color: #1a1a1a;
+  color: var(--fg);
 }
 a:visited {
-  color: #1a1a1a;
+  color: var(--fg);
 }
+
 img {
   max-width: 100%;
 }
-h1, h2, h3, h4, h5, h6 {
-  /* margin-top: em; */
-}
+
 h1 {
     font-size: 150%;
 }
 
-h5, h6 {
-  font-size: 1em;
-  font-style: italic;
-}
-h6 {
-  font-weight: normal;
-}
-ol, ul {
-  padding-left: 1.7em;
-  margin-top: 1em;
-}
-li > ol, li > ul {
-  margin-top: 0;
-}
-blockquote {
-  margin: 1em 0 1em 1.7em;
-  padding-left: 1em;
-  border-left: 2px solid #e6e6e6;
-  color: #606060;
-}
 code {
   font-family: 'LinuxLibertineMono'; 
   font-size: 75%;
   margin: 0;
 }
+
 pre {
   margin: 1em 0;
   overflow: auto;
@@ -146,58 +86,11 @@ pre code {
   padding: 0;
   overflow: visible;
 }
-.sourceCode {
- background-color: transparent;
- overflow: visible;
-}
-hr {
-  background-color: #1a1a1a;
-  border: none;
-  height: 1px;
-  margin: 1em 0;
-}
-table {
-  margin: 1em 0;
-  border-collapse: collapse;
-  width: 100%;
-  overflow-x: auto;
-  display: block;
-  font-variant-numeric: lining-nums tabular-nums;
-}
-table caption {
-  margin-bottom: 0.75em;
-}
-tbody {
-  margin-top: 0.5em;
-  border-top: 1px solid #1a1a1a;
-  border-bottom: 1px solid #1a1a1a;
-}
-th {
-  border-top: 1px solid #1a1a1a;
-  padding: 0.25em 0.5em 0.25em 0.5em;
-}
-td {
-  padding: 0.125em 0.5em 0.25em 0.5em;
-}
+
 header {
   padding-bottom: 25px;
   text-align: center;
 }
-#TOC li {
-  list-style: none;
-}
-#TOC a:not(:hover) {
-  text-decoration: none;
-}
-code{white-space: pre-wrap;}
-span.smallcaps{font-variant: small-caps;}
-span.underline{text-decoration: underline;}
-div.column{display: inline-block; vertical-align: top; width: 50%;}
-div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
-ul.task-list{list-style: none;}
-.display.math{display: block; text-align: center; margin: 0.5rem auto;}
-
-
 
 .logo {
   margin: 0 auto;
@@ -229,6 +122,7 @@ ul.task-list{list-style: none;}
 a {
   text-decoration: none;
 }
+
 /* http://www.coding-dude.com/wp/css/highlight-text-css/ */
 .highlight{
   position:relative;
@@ -269,15 +163,16 @@ a {
   border-radius:0.25em;
 }
 
-
 footer {
   font-family: 'LinuxLibertineItalic'; 
   font-weight: normal;
   font-style: italic;
   font-size: 16px;
-  line-height: 1em;
   text-align: center;
+  padding-top: 5px;
 }
+footer p {
+  margin: 0.6em auto;
 
 a.hovering {
     position:relative
@@ -300,16 +195,6 @@ a.hovering:hover:before {
   opacity:0.5;
 }
 
-.copyright{
-  margin: 15px;
-}
-.icon {
-  height: 24px;
-  width: 24px;
-  margin: 0 5px;
-}
-
-
 .nav {
   font-family: 'LinuxLibertineItalic'; 
   font-weight: normal;
@@ -317,32 +202,7 @@ a.hovering:hover:before {
   font-size: 16px;
 }
 
-.topnav {
-  /* background-color: #333; */
-  overflow: hidden;
-  text-align: right;
-}
-
-/* Style the links inside the navigation bar */
-.topnav a {
-  /* float: left; */
-  /* color: #f2f2f2; */
-  /* text-align: center; */
-  /* padding: 14px 16px; */
-  /* text-decoration: none; */
-  /* font-size: 17px; */
-}
-
-/* Change the color of links on hover */
-.topnav a:hover {
-  /* background-color: #ddd; */
-  /* color: black; */
-}
-
 .nav a.active {
-  /* text-decoration: underline; */
-  /* background-color: #04AA6D; */
-  /* color: white; */
     position:relative;
 }