Warn when viewing an outdated example, and offer a redirect to latest

2016-05-11 15:21:36 +02:00
parent e94939d01b
commit 19692ed60a
2 changed files with 35 additions and 0 deletions
@@ -122,3 +122,7 @@ pre {
 #api-links ul {
  display: inline;
 }
+#latest-check {
+  margin-top: -10px;
+  margin-bottom: 10px;
+}