- New map option for inline system region names, closed #947

- Upgraded "[_jsPlumb_](http://jsplumb.github.io/jsplumb/home.html)" js lib `v2.9.3` → `v2.13.1`
- Moved endpoint `/api/universe/systems` into new REST structure 'GET /api/rest/SystemSearch'
This commit is contained in:
Mark Friedrich
2020-04-24 21:56:05 +02:00
parent 2ffb9ffc76
commit 7cc66f1591
35 changed files with 3004 additions and 1498 deletions

View File

@@ -509,12 +509,12 @@
&.active:not(.toggle-on):not(.toggle-off) {
color: $color;
background-color: lighten($background, 6%);
border-color: lighten($border, 10%);
border-color: lighten($border, 6%);
}
.open & { &.dropdown-toggle {
color: $color;
background-color: lighten($background, 6%);
border-color: lighten($border, 10%);
border-color: lighten($border, 6%);
} }
&:active,
&.active {