Index: chrome/browser/resources/dom_ui.css |
diff --git a/chrome/browser/resources/dom_ui.css b/chrome/browser/resources/dom_ui.css |
index 13e3756ac987644ff1ea3a0fbe6d9597fdb36d66..9eba4bcc5c737041ffeaf6d8b7c5f0fc770dac77 100644 |
--- a/chrome/browser/resources/dom_ui.css |
+++ b/chrome/browser/resources/dom_ui.css |
@@ -3,30 +3,37 @@ body { |
color:black; |
margin:10px; |
} |
+ |
.header { |
overflow:auto; |
clear:both; |
} |
+ |
.header .logo { |
float:left; |
} |
+ |
.header .form { |
float:left; |
margin-top:22px; |
margin-left:12px; |
} |
+ |
html[dir='rtl'] .logo { |
float:right; |
} |
+ |
html[dir='rtl'] .form { |
float:right; |
margin-right:12px; |
} |
+ |
.page-navigation { |
padding:8px; |
background-color:#ebeff9; |
margin-right:4px; |
} |
+ |
.footer { |
height:24px; |
-} |
+} |