Add CSS code for (info) labels

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 338c5017e6146cc3bca5bf9784622a690bf0ed55..f8e0c63db4abbe4f8197091c9e24fb21183a8064 100644 (file)
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -29,10 +29,11 @@
 
 @font-face {
        /* Copyright: Copyright 2011 Google Inc. All Rights Reserved. */
-       font-family: 'Roboto';
-       font-style: normal;
-       font-weight: 300;
-       src: local('Roboto Light'), local('Roboto-Light'),  url("roboto-300.woff2") format('woff2');
+    /* Copyright: Copyright 2011 Google Inc. All Rights Reserved. */
+    font-family: 'Roboto';
+    font-style: normal;
+    font-weight: 300;
+    src: local('Roboto Light'), local('Roboto-Light'),  url("roboto-300.woff2") format('woff2');
 }
 
 /* Font Family: Roboto Mono
@@ -86,3 +87,19 @@ code, kbd, pre {
 .md-header-nav__title {
     padding-left: 0;
 }
+
+.label {
+    display: inline;
+    padding: .1rem .3rem;
+    font-size: 75%;
+    font-weight: bold;
+    line-height: 1;
+    white-space: nowrap;
+    vertical-align: baseline;
+    border-radius: .25rem;
+}
+
+.label-info {
+    border-left: .2rem solid #448aff;
+    background-color: rgba(0,184,212,.1);
+}