Remove no longer necessary CSS

jhkolb · Dec 28, 2024 · eca2b69 · eca2b69
1 parent 3406c07
commit eca2b69
Showing 1 changed file with 0 additions and 54 deletions.
diff --git a/style.css b/style.css
@@ -69,56 +69,6 @@ a:hover {
     font-weight: bold;
 }
 
-ul {
-    font-family: 'Lora', serif;
-}
-
-ul.navbar {
-    list-style-type: none;
-    margin: 0;
-    padding: 0;
-    margin-top: 10px;
-    overflow: hidden;
-    border: 2px solid black;
-    font-size: 120%;
-    font-weight: bold;
-}
-
-ul.navbar li {
-    float: left;
-}
-
-ul.navbar a {
-    display: block;
-    text-align: center;
-    text-decoration: none;
-    color: black;
-    padding: 5px 20px;
-}
-
-ul.navbar a:hover {
-    background-color: #cccccc;
-}
-
-#pages {
-    margin-left: 24px;
-    margin-top: -15px;
-    padding: 0;
-    font-size: 115%;
-}
-
-#pages li {
-    margin-bottom: 3px;
-}
-
-.title {
-    font-weight: bold;
-}
-
-.venue {
-    font-style: italic;
-}
-
 h3.section {
     margin-top: 32pt;
 }
@@ -131,7 +81,3 @@ h3.section {
 .courseList li {
     margin-bottom: 10px;
 }
-
-code {
-    font-size: 115%;
-}