1 files changed, 9 insertions, 0 deletions
diff --git a/docs/docs.css b/docs/docs.css
index 664328d0..766b6832 100644
--- a/docs/docs.css
+++ b/docs/docs.css
@@ -130,3 +130,12 @@ a {
   margin-left: 3em;
   font-family: monospace;
 }
+
+.deprecated {
+  border: 2px solid red;
+}
+
+.deprecated legend {
+  font-weight: bold;
+  color: red;
+}