From 885e701f0bbe821e525c5fe69fd5f9acf38e2b25 Mon Sep 17 00:00:00 2001 From: Andreas Tolfsen Date: Sun, 5 Jul 2015 20:17:43 +0100 Subject: [PATCH] librustdoc: sharpen help dialogue edges Sharpens the help dialogues edges by removing border-padding, which matches better with the rest of the document. Also increases somewhat the rounded edges of the key symbols to make it clear they are symbols. Also introduces closing apostrophes and ellipsis for search field placeholder. --- src/librustdoc/html/layout.rs | 6 +++--- src/librustdoc/html/static/main.css | 3 +-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 798cc6a612c..2c6f62060b2 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -72,7 +72,7 @@ r##"
@@ -85,7 +85,7 @@ r##"