css/tabs: waste less space for dropdown

Dropdown arrow is smaller right now and is slightly rounded like the
other tabs are.
This commit is contained in:
Thomas Gelf 2014-05-20 14:01:14 +00:00
parent cff577fb83
commit 800fe6c18d
1 changed files with 10 additions and 3 deletions

View File

@ -46,7 +46,11 @@ ul.tabs > li.active > a:focus {
color: #555; color: #555;
} }
ul.tabs li.active a, ul.tabs li.dropdown:hover, ul.tabs li.dropdown.hover { ul.tabs li.dropdown > a{
padding: 0 0.4em;
}
ul.tabs li.active a, ul.tabs li.dropdown:hover a, ul.tabs li.dropdown.hover a {
background-color: white; background-color: white;
color: #333; color: #333;
} }
@ -74,13 +78,16 @@ ul.dropdown-menu {
/* Dropdown tabs after the fourth title should be right-aligned */ /* Dropdown tabs after the fourth title should be right-aligned */
ul.tabs li:nth-child(n+5) ul.dropdown-menu { ul.tabs li:nth-child(n+5) ul.dropdown-menu {
width: 13em; width: 13em;
margin-left: -9em; margin-left: -11em;
} }
ul.dropdown-menu { ul.dropdown-menu {
box-shadow: 0.2em 0.2em 0.3em -0.2em #555;
-moz-box-shadow: 0.2em 0.2em 0.3em -0.2em #555; -moz-box-shadow: 0.2em 0.2em 0.3em -0.2em #555;
-webkit-box-shadow: 0.2em 0.2em 0.3em -0.2em #555; -webkit-box-shadow: 0.2em 0.2em 0.3em -0.2em #555;
box-shadow: 0.2em 0.2em 0.3em -0.2em #555; border-radius: 0 0 3px 3px;
-moz-border-radius: 0 0 3px 3px;
-webkit-border-radius: 0 0 3px 3px;
} }
ul.dropdown-menu li { ul.dropdown-menu li {