updated style

diff --git a/css/style.css b/css/style.css
index 615662cf2e1f32fbe0f2719dfb8f63cea9f08e29..746758f3e18c47685280b313b39d88f03f0bf691 100644 (file)
--- a/css/style.css
+++ b/css/style.css
@@ -172,8 +172,9 @@ div.art:last-child {
   border-bottom: none;
 }
 
-h3.art {
+b.art {
   margin-bottom: 0;
+  font-size: 18px;
 }
 
 p.art {
@@ -190,6 +191,10 @@ p.art-ingress {
   margin: 0;
 }
 
+p.heading {
+  white-space: nowrap;
+}
+
 p.art-link {
   margin-top: 0;
 }