diff --git a/docs/sources/reference/commandline/cli.md b/docs/sources/reference/commandline/cli.md
index 286ba4a7a8..4fc63040c2 100644
--- a/docs/sources/reference/commandline/cli.md
+++ b/docs/sources/reference/commandline/cli.md
@@ -208,8 +208,8 @@ When a single Dockerfile is given as `URL` or is piped through `STDIN`
 (`docker build - < Dockerfile`), then no context is set.
 
 When a Git repository is set as `URL`, then the repository is used as
-the context. The Git repository is cloned with its submodules (`git
-clone -recursive`). A fresh `git clone` occurs in a temporary directory
+the context. The Git repository is cloned with its submodules
+(`git clone -recursive`). A fresh `git clone` occurs in a temporary directory
 on your local host, and then this is sent to the Docker daemon as the
 context.  This way, your local user credentials and VPN's etc can be
 used to access private repositories.
diff --git a/docs/theme/mkdocs/base.html b/docs/theme/mkdocs/base.html
index 574825bb57..09de2b3511 100644
--- a/docs/theme/mkdocs/base.html
+++ b/docs/theme/mkdocs/base.html
@@ -16,9 +16,9 @@
   {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %}
   <link href="/css/bootstrap-custom.css" rel="stylesheet">
   <link href="/css/main.css" rel="stylesheet">
-  <link href="/css/docs.css" rel="stylesheet">
   <link href="/css/prettify-1.0.css" rel="stylesheet">
   <link href="/tipuesearch/tipuesearch.css" rel="stylesheet">
+  <link href="/css/docs.css" rel="stylesheet">
   <link rel="shortcut icon" href="{{ site_favicon }}">
   <title>{% if page_title != '**HIDDEN** - '+site_name %}{{ page_title }}{% else %}{{ site_name }}{% endif %}</title>
   <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
diff --git a/docs/theme/mkdocs/css/docs.css b/docs/theme/mkdocs/css/docs.css
index 6a3bdd4875..c7c1b9494b 100644
--- a/docs/theme/mkdocs/css/docs.css
+++ b/docs/theme/mkdocs/css/docs.css
@@ -335,3 +335,7 @@ table.table tr td img {
 #versionnav ul ul {
     padding: 0;
 }
+
+/* over-ride the prettyPrint colouring */
+
+.str, .atv { color: #48484C; }