fix line-endings

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

diff --git a/static/css/style.css b/static/css/style.css
index 565f9a71a9f7c6ba3a18f277f89f78e68ef2f102..40c079bc2fb8b1214dac91940bfddfeaecff7f53 100644 (file)
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -192,8 +192,8 @@ img {
 }
 
 .tlogo {
-    height: 40px;
-    margin-bottom: -9px;
+    height: 2.4ex;
+    margin-bottom: -.47ex;
     margin-left: -10px;
     margin-right: -10px;
 }
@@ -440,6 +440,13 @@ h1 {
     margin-right: 2em;
 }
 
+.art-warning {
+    margin-bottom: 2em;
+    padding: .5em;
+    border: 1px solid var(--border-color);
+    color: red;
+}
+
 .art-body {
     margin-bottom: 1em;
 }
@@ -702,6 +709,5 @@ footer.copyright div {
 }
 
 .copyright img {
-    height: 1.5rem;
     width: auto;
 }