add my POPL20 papers
[web.git] / ralf / _sass / _base.scss
index 74f495a..765e459 100644 (file)
@@ -33,20 +33,16 @@ h2 {
 }
 h3 {
     margin-top: 0.5em;
-    font-size: 135%;
+    font-size: 130%;
     margin-bottom: 0.1em;
 }
 h4 {
     margin-top: 0.5em;
-    font-size: 120%;
+    font-size: 110%;
     margin-bottom: 0.0em;
 }
 
 /* Content styling */
-.side {
-    float: right;
-}
-
 .side, .comment {
     color: $light-text-color;
 
@@ -55,28 +51,6 @@ h4 {
     }
 }
 
-
-.pretitle, .subtitle {
-    h1 {
-        display: inline-block;
-        font-size: 165%;
-    }
-    .side {
-        margin-left: 0.5em;
-        margin-top: 0.8em;
-    }
-}
-.pretitle {
-    margin-bottom: 1em;
-}
-.subtitle {
-    margin-top: 2em;
-}
-.title {
-    clear: both;
-    margin-bottom: 1em;
-}
-
 figure {
     margin: 0;
 }
@@ -100,7 +74,16 @@ p {
     margin: 0.5em 0;
     line-height: 1.3;
 }
+li > p {
+    margin: 0;
+}
 
 .comment {
     margin-top: 1.5em;
 }
+
+table td, table th {
+    border: 1px solid $light-text-color;
+    padding: 6px 13px;
+    font-weight: normal;
+}