More CSS tweaks for the project list dropdown

This commit is contained in:
Thomas Keller 2010-10-16 01:42:34 +02:00
parent 972df3b231
commit 0af51d90ba

View File

@ -764,26 +764,30 @@ div.deprecated-page {
background: #A5E26A; background: #A5E26A;
border-top: 0; border-top: 0;
position: absolute; position: absolute;
padding: 5px 5px 5px 20px;
margin: 0; margin: 0;
z-index: 1000; z-index: 1000;
top: 1.1em; top: 1.1em;
-moz-border-radius: 0 3px 3px 3px; -moz-border-radius: 0 0 3px 3px;
border-radius: 0 3px 3px 3px; border-radius: 0 0 3px 3px;
-moz-box-shadow: 0 10px 20px #333; -moz-box-shadow: 0 10px 20px #333;
-webkit-box-shadow: 0 10px 20px #333; -webkit-box-shadow: 0 10px 20px #333;
box-shadow: 0 10px 20px #333; box-shadow: 0 10px 20px #333;
max-height: 400px; max-height: 400px;
min-width: 100%;
overflow-x: hidden; overflow-x: hidden;
overflow-y: auto; overflow-y: auto;
} }
#project-list ul li { #project-list ul li {
padding: 5px; margin: 7px;
padding-left: 0;
white-space: nowrap; white-space: nowrap;
font-size: 0.95em; font-size: 0.95em;
list-style-type: square; list-style-type: square;
list-style-position: inside;
}
#project-list ul li:first-child {
margin-top: 10px;
} }
#project-list ul li a { #project-list ul li a {