Merge branch 'develop' into menu-tabs

2019-09-04 20:16:37 +10:00
parent f0a6743238 968d0a01aa
commit db377ff7b2
15 changed files with 398 additions and 56 deletions
@@ -60,6 +60,22 @@
    height: 1em;
 }

+.instance .info figure {
+    display: inline;
+    height: 0.5em;
+
+    svg {
+        margin-right: 0.5em;
+    }
+}
+
+.instance .info figcaption {
+    font-size: 1em;
+    display: inline-block;
+    vertical-align: middle;
+}
+
+
 .instance .constructs {
    grid-area: constructs;
 }