Switch to using the new Link Doctor API.

chrome/renderer/resources/neterror.css

Index: chrome/renderer/resources/neterror.css
===================================================================
--- chrome/renderer/resources/neterror.css	(revision 248295)
+++ chrome/renderer/resources/neterror.css	(working copy)
@@ -46,7 +46,7 @@
 #content-top #buttons,
 #content-top h1 {
   color: #666;
-  margin: 10px 0px 25px 0px;
+  margin: 10px 0px 30px 0px;
   font-weight: normal;
   font-size: 1.5em;
   text-align: center;
@@ -85,7 +85,7 @@
 }
 
 #content-top {
-  margin: 20px 20px 20px 25px;
+  margin: 20px;
 }
 
 #help-box-outer {
@@ -97,14 +97,18 @@
   background-color: #f9f9f9;
   border-top: 1px solid #EEE;
   color: #444;
-  padding: 25px 20px;
+  padding: 20px;
   text-align: start;
 }
 
-#suggestions {
+#suggestion {
   margin-top: 15px;
 }
 
+#short-suggestion {
+  margin-top: 5px;
+}
+
 #sub-frame-error-details {
   color: #8F8F8F;
 <if expr="not is_android and not is_ios">
@@ -121,11 +125,7 @@
   border: 1px solid rgba(0, 0, 0, 0.25);
   border-radius: 2px;
   color: #444;
-  margin: 0px 5px;
-  min-height: 29px;
-  min-width: 65px;
   -webkit-user-select: none;
-  padding: 8px 13px;
 <if expr="not is_android">
   /* iOS does not support linear-gradient without a prefix. */
   background-image: -webkit-linear-gradient(#ededed, #ededed 38%, #dedede);
@@ -170,7 +170,14 @@
 </if>
 }
 
-#reload-button {
+.text-button {
+  margin: 0px 5px;
+  min-height: 29px;
+  min-width: 65px;
+  padding: 7px 13px;
+}
+
+.blue-button {
   color: #fff;
 <if expr="not is_android">
   background-image: -webkit-linear-gradient(#5d9aff, #5d9aff 38%, #5891f0);
@@ -186,7 +193,7 @@
 </if>
 }
 
-#reload-button:hover {
+.blue-button:hover {
 <if expr="not is_android">
   background-image: -webkit-linear-gradient(#659efd, #659efd 38%, #6097f1);
   border: 1px solid rgba(45, 102, 195, 1);
@@ -196,7 +203,7 @@
 </if>
 }
 
-#reload-button:active {
+.blue-button:active {
 <if expr="not is_android">
   background-image: -webkit-linear-gradient(#6095ed, #6095ed 38%, #6095ed);
   border: 1px solid rgb(38, 84, 160);
@@ -209,6 +216,46 @@
 </if>
 }
 
+#search-container {
+  /* Prevents a space between controls. */

[Nico, 2014/02/06 17:58:32]

You can probably get the same by setting margin padding border on the controls
to 0 (not that there's anything wrong with flex)

[mmenke, 2014/02/06 22:00:32]

Tried that, didn't work (Well, didn't set 0 margin on the button, because that
shrinks the button).

+  display: flex;
+  margin-top: 20px;
+}
+
+#search-box {
+  border: 1px solid #cdcdcd;
+  flex-grow: 1;
+  font-size: 16px;
+  height: 26px;
+  margin-right: 0;
+  padding: 1px 9px;
+}
+
+#search-box:focus {
+  border: 1px solid #5d9aff;
+  outline: none;
+}
+
+#search-button {
+  border: none;
+  border-top-left-radius: 0;
+  border-bottom-left-radius: 0;
+  box-shadow: none;
+  display: flex;
+  height: 30px;
+  margin: 0;
+  width: 60px;
+  padding: 0;
+}
+
+#search-image {
+  content:
+      -webkit-image-set(
+          url('../../app/theme/default_100_percent/common/omnibox_search_button_loupe.png') 1x,
+          url('../../app/theme/default_200_percent/common/omnibox_search_button_loupe.png') 2x);

[Nico, 2014/02/06 17:58:32]

Hm, is this how we do this these days? I thought the options were:

1. Load image from chrome-theme:// url if it's in the resource package (and then
there's some helper that adds the 1x 2x stuff automatically)

2. Use resources/foo.png and resources/2x/foo.png and then the 2x is added by
the grit inlining script

3. Add webkit-image-set via js, in which case there's a wrapper function
somewhere.

I _think_ we try to not hardcode the 1x 2x (since android has other scale
factors too, etc)

…hm, I was about to say 'this is documented at
http://dev.chromium.org/developers/design-documents/high-dpi-resources ', but
that only lists what you have. cs.chromium.org for "webkit-image-set
file:chrome" also finds lots of similar-looking stuff, so I suppose this is fine
as is.

[mmenke, 2014/02/06 22:00:32]

Since this is loaded in normal renderer processes, we don't have permissions to
access chrome-theme URLs, so have to embed the images.
I can't find any examples of this.
No permissions to access chrome-theme URLs.

+  margin: auto;
+}
+
 .hidden {
   display: none;
 }