diff options
| author | dubroy@chromium.org <dubroy@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-12-05 23:22:52 +0000 |
|---|---|---|
| committer | dubroy@chromium.org <dubroy@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-12-05 23:22:52 +0000 |
| commit | bdce7a041da23d4696c54e22d6d1d39107728ad6 (patch) | |
| tree | 9efff2826be21a4b1a7416121b6a21a7db84d55a /chrome/browser/resources/history.css | |
| parent | b8b62135086af8424ce09b0ef59053f67341567a (diff) | |
| download | chromium_src-bdce7a041da23d4696c54e22d6d1d39107728ad6.zip chromium_src-bdce7a041da23d4696c54e22d6d1d39107728ad6.tar.gz chromium_src-bdce7a041da23d4696c54e22d6d1d39107728ad6.tar.bz2 | |
Make input boxes on history and downloads look nice.
Also clean up some unnecessary complexity in history HTML, and
move history-specific CSS from old_webui.css to history.css.
BUG=None.
TEST=Manual test of functionality on history and downloads pages.
Review URL: http://codereview.chromium.org/8772046
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@113056 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'chrome/browser/resources/history.css')
| -rw-r--r-- | chrome/browser/resources/history.css | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/chrome/browser/resources/history.css b/chrome/browser/resources/history.css index 3fd0c37..bd4e9c6 100644 --- a/chrome/browser/resources/history.css +++ b/chrome/browser/resources/history.css @@ -3,24 +3,16 @@ * found in the LICENSE file. */ -#results-separator { +#results-summary { border-top: 1px solid rgb(156, 194, 239); background-color: rgb(235, 239, 249); font-weight: bold; padding: 3px; margin-bottom: -8px; margin-top: 12px; -} - -#results-separator table { - width: 100%; -} - -#results-summary { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; - width: 50%; } #editing-controls button { @@ -230,3 +222,9 @@ html[dir='rtl'] .entry .title { -webkit-transition: opacity 200ms; opacity: 0; } + +.page-navigation { + -webkit-margin-end: 4px; + background-color: rgb(235, 239, 249); + padding: 8px; +} |