diff --git a/browser/themes/gnomestripe/browser/places/places.css b/browser/themes/gnomestripe/browser/places/places.css index 0a8642ec205b..b90bc13de01f 100755 --- a/browser/themes/gnomestripe/browser/places/places.css +++ b/browser/themes/gnomestripe/browser/places/places.css @@ -114,7 +114,7 @@ treechildren::-moz-tree-cell-text(title, separator, selected, focus) { margin: 6px -4px 0px 2px; } -.small { +.small, .small[disabled="true"] { font-size: x-small; min-width: 0px; padding: 0px 4px 0px 4px; @@ -170,60 +170,66 @@ treechildren::-moz-tree-cell-text(title, separator, selected, focus) { .calendar-box { -moz-appearance: listbox; - border:1px solid black; - background-color:white; + border: 1px solid black; + background-color: white; } .calendar-header { - background-color:#EEE; + background-color: #EEE; } .calendar-month-jump { - cursor:pointer; - padding-left:6px; - padding-right:6px; + cursor: pointer; + padding-left: 6px; + padding-right: 6px; } .calendar-month-jump:hover { - background-color:#DDD; + background-color: #DDD; } .calendar-grid { - padding-left:8px; - padding-right:8px; - padding-bottom:4px; + padding-left: 8px; + padding-right: 8px; + padding-bottom: 4px; } .calendar-grid label { /* everything in the calendar grid */ - padding:4px; - margin:0px; - text-align:center; - font-size:80%; + padding: 4px; + margin: 0px; + text-align: center; + font-size: 80%; } .calendar-month-title { - text-align:center; + text-align: center; } .calendar-day-header { - border-bottom:1px solid #888; + border-bottom: 1px solid #888; } .calendar-day { /* just days (excluding the day headers) */ - cursor:w-resize; - color:white; + cursor: w-resize; + color: white; background-color:white; } .calendar-day:hover { - background-color:#DDD; + background-color: #DDD; } .calendar-day[selected="true"] { - cursor:w-resize; - background-color:#8C8; + cursor: w-resize; + background-color: #8C8; } .calendar-day[selected="true"]:hover { - background-color:#6A6; + background-color: #6A6; } .calendar-day[month="this"] { - color:black; + color: black; } .calendar-day[month="other"] { - color:#888; + color: #888; } -.no-margin-button { - min-width:0em; +#advancedSearchRows { + border-bottom: 2px solid; + -moz-border-bottom-colors: ThreeDHighlight ThreeDShadow; + padding: 3px 3px 3px 0px; +} + +#searchModifiers { + padding-right: 3px; }