[Docs] Another round of stylistic fixes.

docs/linux_proxy_config.md

Index: docs/linux_proxy_config.md
diff --git a/docs/linux_proxy_config.md b/docs/linux_proxy_config.md
index fed3d80723523f19a97c492e1ba632fef8068b3c..5b8d01d6e1fc707b58d3a320b3d0d64f33949018 100644
--- a/docs/linux_proxy_config.md
+++ b/docs/linux_proxy_config.md
@@ -1,11 +1,18 @@
-# Introduction
+# Linux Proxy Config
 
-Chromium on Linux has several possible sources of proxy info: GNOME/KDE settings, command-line flags, and environment variables.
-
-# Details
+Chromium on Linux has several possible sources of proxy info: GNOME/KDE
+settings, command-line flags, and environment variables.
 
 ## GNOME and KDE
-When Chromium detects that it is running in GNOME or KDE, it will automatically use the appropriate standard proxy settings. You can configure these proxy settings from the options dialog (the "Change proxy settings" button in the "Under the Hood" tab), which will launch the GNOME or KDE proxy settings applications, or by launching those applications directly.
+
+When Chromium detects that it is running in GNOME or KDE, it will automatically
+use the appropriate standard proxy settings. You can configure these proxy
+settings from the options dialog (the "Change proxy settings" button in the
+"Under the Hood" tab), which will launch the GNOME or KDE proxy settings
+applications, or by launching those applications directly.
 
 ## Flags and environment variables
-For other desktop environments, Chromium's proxy settings can be configured using command-line flags or environment variables.  These are documented on the man page (`man google-chrome` or `man chromium-browser`).
+
+For other desktop environments, Chromium's proxy settings can be configured
+using command-line flags or environment variables. These are documented on the
+man page (`man google-chrome` or `man chromium-browser`).