+
+/* Setting the height needs to be fixed with javascript. */
+.dropdown-menu {
+ padding-right: 20px;
+ max-height: 440px;
+ width: 400px;
+ overflow-y: auto;
+}
+
+.row-fill-height, .row-fill-height>div[class*='col-'] {
+ display: flex;
+}
+.row-fill-height>div[class*='col-']>div {
+ width: 100%;
+}
+
+/* Show editable popover above side-nav */
+.editable-popup.popover {
+ z-index:1055;
+}
+
+/* Do not leave space for left-nav */
+div#wrapper {
+ padding-left: 0;
+}
+
+.arv-description-as-subtitle {
+ padding-bottom: 1em;
+}
+.arv-description-in-table {
+ height: 4em;
+ overflow-x: hidden;
+ overflow-y: hidden;
+}
+.arv-description-in-table:hover {
+ overflow-y: auto;
+}
+
+.btn.btn-nodecorate {
+ border: none;
+}
+svg text {
+ font-size: 6pt;
+}
+
+div.pane-content iframe {
+ width: 100%;
+ border: none;
+}