Index: chrome/browser/resources/options2/chromeos/internet_detail.css |
diff --git a/chrome/browser/resources/options2/chromeos/internet_detail.css b/chrome/browser/resources/options2/chromeos/internet_detail.css |
index 88bc6657cebf574fb483eb8632c552e56879d09f..7e3777671bf1f98f0819e3f5418801dc56ec6d6b 100644 |
--- a/chrome/browser/resources/options2/chromeos/internet_detail.css |
+++ b/chrome/browser/resources/options2/chromeos/internet_detail.css |
@@ -31,7 +31,7 @@ |
-webkit-box-flex: 1; |
-webkit-box-sizing: border-box; |
-webkit-padding-end: 10px; |
- height: 350px; |
+ height: 380px; |
min-width: 480px; |
overflow-y: auto; |
} |
@@ -55,3 +55,29 @@ |
margin-top: 8px; |
} |
+#ipconfig-section { |
+ border-top: 1px solid #EEE; |
Dan Beam
2012/08/11 01:38:02
nit: I think we tend to prefer lowercase (e.g. #ee
Greg Spencer (Chromium)
2012/08/13 19:20:04
Fixed here and below.
|
+ margin-bottom: 10px; |
+ padding-top: 10px; |
+} |
+ |
+#ipconfig-dns-section { |
+ border-top: 1px solid #EEE; |
+ padding-top: 10px; |
+} |
+ |
+#user-dns-settings:not([selected]) { |
+ display: none; |
+} |
+ |
+.dns-display { |
+ -webkit-margin-start: 24px; |
+ -webkit-transition: opacity 150ms ease-in-out; |
+ color: #BBB; |
+ font-style: italic; |
+} |
+ |
+.dns-display:not([selected]) { |
+ -webkit-transition: opacity 150ms ease-in-out; |
+ display: none; |
+} |