Article headers bigger and with added line

[irc/freenode/web-7.0.git] / static / css / style.css

diff --git a/static/css/style.css b/static/css/style.css
index e6dcbe0e30b2ec2a6c0d0bb05c0c2841073d38f2..b9430383eef18fd9f4ea5d36aadeeea9bdc1f19a 100644 (file)
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -106,23 +106,36 @@ a {
     margin-top: .75em;
     padding: 0 .75em;
     max-width: var(--max-width);
-    line-height: 140%;
+    line-height: 1.4;
 }
 
 .main h1,
 .main h2,
 .main h3,
+.main h4,
 .main li,
-.main p + p,
-.main ul + p {
+.main pre,
+.main p {
     margin-top: .7em;
 }
 
+.main h1 + p,
+.main h2 + p,
+.main h3 + p,
+.main h3 + p {
+    margin-top: 0;
+}
+
 .main ul {
     padding-left: 2em;
     list-style-type: disc;
 }
 
+hr {
+    margin-top: .8em;
+    margin-bottom: .8em;
+}
+
 /* jumbotron */
 .jumbotron {
     position: relative;
@@ -195,7 +208,6 @@ h1 {
 
 div.art {
     clear: right;
-    min-height: 3em;
     flex-grow: 1;
 }
 
@@ -217,9 +229,14 @@ b.art {
     margin-bottom: 0;
     font-size: 18px;
 }
+p.art-header {
+    border-bottom: 1px solid rgba(0,0,0, 0.09);
+    padding-bottom: 5px;
+}
 
-p.art {
-    margin: 0;
+p.art-header b.art {
+    margin-bottom: 0;
+    font-size: 36px;
 }
 
 p.art-ingress {
@@ -231,6 +248,7 @@ p.art-ingress {
     float: right;
     color: #ccc;
     margin: 0 .5em;
+    line-height: 24px;
 }
 
 p.heading {
@@ -403,10 +421,6 @@ a.hchild:hover,a.hchild:active {
         border-radius: calc(var(--box-round) / 2);
         margin: 5px 0;
     }
-
-    div.artlist {
-        padding: 0 .3em;
-    }
 }
 
 .footer h2,.footer h3 {