+ margin-bottom: -15px;
+}
+
+.infinite-scroller .fa-warning {
+ color: #800;
+}
+
+th[data-sort-order] {
+ cursor: pointer;
+}
+
+.inline-progress-container div.progress {
+ margin-bottom: 0;
+}
+
+.inline-progress-container {
+ width: 100%;
+ display:inline-block;
+}
+
+td.add-tag-button {
+ white-space: normal;
+}
+td.add-tag-button .add-tag-button {
+ margin-right: 4px;
+ opacity: 0.2;
+}
+td.add-tag-button .add-tag-button:hover {
+ opacity: 1;
+}
+span.removable-tag-container {
+ line-height: 1.6;
+}
+.label.removable-tag a {
+ color: #fff;
+ cursor: pointer;
+}
+
+li.notification {
+ padding: 10px;
+}
+
+// See HeaderRowFixer in application.js
+table.table-fixed-header-row {
+ width: 100%;
+ border-spacing: 0px;
+ margin:0;
+}
+table.table-fixed-header-row thead {
+ position:fixed;
+ background: #fff;
+}
+table.table-fixed-header-row tbody {
+ position:relative;
+ top:1.5em;
+}
+
+/* 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;
+}
+span.editable-textile {
+ display: inline-block;
+}
+.text-overflow-ellipsis {
+ white-space: nowrap;
+ overflow: hidden;
+ text-overflow: ellipsis;
+}
+.time-label-divider {
+ font-size: 80%;
+ min-width: 1em;
+ padding: 0px 2px 0px 0px;
+}
+.task-summary-status {
+ font-size: 80%;
+}
+#page-wrapper > div > h2 {
+ margin-top: 0px;
+}
+
+.compute-summary-numbers td {
+ font-size: 150%;
+}
+
+.arv-log-refresh-control {
+ display: none;
+}