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 c0d22215444efc0fd73fee407b424092744ef681..40c079bc2fb8b1214dac91940bfddfeaecff7f53 100644 (file)
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -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;
 }