485: Ability to switch to previously loaded ids in UI (#583)

This commit is contained in:
Robinson Marquez 2020-01-30 16:39:37 -03:00 committed by GitHub
parent bd1c00014b
commit 4ad38e317e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
15 changed files with 1461 additions and 795 deletions

View file

@ -213,13 +213,13 @@ button,
}
}
.language-select {
.dropdown-select {
position: absolute;
margin-bottom: 0.5em;
margin-right: 0.5em;
height: 1.5rem;
right: 0;
bottom: 0;
height: 1.5rem;
margin-bottom: 0.5rem;
margin-right: 0.5rem;
padding: 0 1.5rem 0 0.5rem;
background-color: #e9ecef;
border-radius: var(--space-factor);
@ -245,6 +245,21 @@ button,
}
}
.language-select {
@extend .dropdown-select;
right: 0;
bottom: 0;
}
.stored-ids-select {
@extend .dropdown-select;
padding: 0 0.5em 0 1.7em;
bottom: 0;
left: 0;
background-position: left 0.7em top 50%, 0 0;
margin-left: 0.5em;
}
.visually-hidden {
position: absolute !important;
height: 1px;