Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
johnvanbreda committed Sep 25, 2024
2 parents d4ae139 + 8201dd3 commit 153dbe6
Show file tree
Hide file tree
Showing 19 changed files with 827 additions and 449 deletions.
36 changes: 0 additions & 36 deletions css/report-filters.css
Original file line number Diff line number Diff line change
Expand Up @@ -89,42 +89,6 @@ fieldset.inline fieldset label {
width: auto;
}

div.filter-popup-columns {
width: 250px;
border-right: solid silver 1px;
}
div.filter-popup-columns:last-child {
border: none;
}
div.filter-popup-columns li {
background: none;
border-bottom: 1px solid #F0F0F0;
padding: 0.2em 0;
}
div.filter-popup-columns li:last-child {
border: none;
}
div.filter-popup-columns ul * {
vertical-align: middle;
margin: 0 6px;
}

#controls-filter_source {
width: 800px;
}

#controls-filter_source .filter-popup-columns ul {
overflow: auto;
height: 450px;
padding: 0;
}

/* Source search and operation controls */
#controls-filter_source .filter-popup-columns .ctrl-wrap {
font-size: 90%;
margin-bottom: 4px;
}

#ctrl-wrap-taxon_rank_sort_order_op {
display: inline-block;
}
Expand Down
198 changes: 129 additions & 69 deletions css/theme-bootstrap-3.css

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion css/theme-bootstrap-3.css.map

Large diffs are not rendered by default.

Loading

0 comments on commit 153dbe6

Please sign in to comment.