open.source/stylus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Tabs are bad

Browse Source
This commit is contained in:
narcolepticinsomniac 2018-07-03 04:30:28 -04:00 committed by GitHub
parent 9b2b459adc
commit d63d22eeaf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 26 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
manage/manage.css
View File

@ -306,8 +306,13 @@ select {
margin: 0 0 -2px -13px; margin: 0 0 -2px -13px;
} }
#header #filters summary h2 {
margin-left: -4px;
}
#header summary h2 { #header summary h2 {
display: inline-block; display: inline-flex;
flex-wrap: wrap;
border-bottom: 1px dotted transparent; border-bottom: 1px dotted transparent;
margin-top: .1em; margin-top: .1em;
margin-bottom: .1em; margin-bottom: .1em;
@ -848,10 +853,6 @@ input[id^="manage.newUI"] {
border: 1px solid transparent; border: 1px solid transparent;
} }
#filters summary h2 {
margin-left: -4px;
}
.active #filters-stats { .active #filters-stats {
background-color: darkcyan; background-color: darkcyan;
border-color: darkcyan; border-color: darkcyan;
@ -860,13 +861,21 @@ input[id^="manage.newUI"] {
font-weight: normal; font-weight: normal;
padding: 2px 5px; padding: 2px 5px;
position: relative; position: relative;
top: -2px; white-space: nowrap;
} }
#reset-filters { .filter-stats-wrapper {
position: absolute; display: flex;
margin-top: 2px; align-items: center;
display: inline-block; margin-left: .2rem;
}
#header #filters summary {
white-space: nowrap;
}
#header #filters summary ::-webkit-details-marker {
margin-top: 4px
} }
#reset-filters svg { #reset-filters svg {
@ -1012,11 +1021,11 @@ input[id^="manage.newUI"] {
} }
#message-box details:not(:last-child) { #message-box details:not(:last-child) {
margin-bottom: 1em; margin-bottom: 1em;
} }
#message-box details small div { #message-box details small div {
margin-left: 1.5em; margin-left: 1.5em;
} }
.update-history-log { .update-history-log {
@ -1099,8 +1108,8 @@ input[id^="manage.newUI"] {
} }
#message-box > div { #message-box > div {
left: 0; left: 0;
right: 0!important; right: 0!important;
margin-left: auto; margin-left: auto;
margin-right: auto; margin-right: auto;
} }
@ -1110,10 +1119,10 @@ input[id^="manage.newUI"] {
} }
#header { #header {
display: table-header-group; display: table-header-group;
height: auto; height: auto;
padding: 0; padding: 0;
width: 100%; width: 100%;
position: static; position: static;
border-right: none; border-right: none;
border-bottom: 1px dashed #AAA; border-bottom: 1px dashed #AAA;