Merge pull request #13094 from scalacenter/deprecate-website

Mark website content as outdated.

Author: julienrf

docs/_layouts/main.html

@@ -2,6 +2,11 @@
 layout: base
 ---
 <div id="content-wrapper">
+    {% if page.movedTo %}
+    <aside class="warning">
+      The content of this page is outdated. Click <a href="{{ page.movedTo }}">here</a> to find the up to date version of this page.
+    </aside>
+    {% endif %}
     {{ content }}
 </div>
 <script>

docs/css/dottydoc.css

@@ -193,8 +193,8 @@ aside {
 }
 
 aside.warning {
-  border-left: 3px solid #d62c2c;
-  background-color: #ffe4e4;
+  border-left: 3px solid var(--red500);
+  background-color: var(--aside-warning-bg);
 }
 
 aside.notice {