home *** CD-ROM | disk | FTP | other *** search
- /* $Id: search.css,v 1.3 2007/10/31 18:06:38 dries Exp $ */
-
- .search-form {
- margin-bottom: 1em;
- }
- .search-form input {
- margin-top: 0;
- margin-bottom: 0;
- }
- .search-results p {
- margin-top: 0;
- }
- .search-results dt {
- font-size: 1.1em;
- }
- .search-results dd {
- margin-bottom: 1em;
- }
- .search-results .search-info {
- font-size: 0.85em;
- }
- .search-advanced .criterion {
- float: left; /* LTR */
- margin-right: 2em; /* LTR */
- }
- .search-advanced .action {
- float: left; /* LTR */
- clear: left; /* LTR */
- }
-