From 0c57abe8e57966f4d2c1f115a453d0054df9e704 Mon Sep 17 00:00:00 2001
From: Johannes Lange <johannes.lange@rwth-aachen.de>
Date: Wed, 3 Feb 2016 19:32:52 +0100
Subject: [PATCH] "hiding vertical borders" -> "hiding outer borders"

This option can be used to hide horizontal or horizontal+vertical
borders since 57effd6
---
 docs/userguide | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/userguide b/docs/userguide
index 55568b65..2b4491ac 100644
--- a/docs/userguide
+++ b/docs/userguide
@@ -605,9 +605,10 @@ new_window pixel 3
 ---------------------
 
 
-=== Hiding vertical borders
+[[_hiding_vertical_borders]]
+=== Hiding borders adjacent to the screen edges
 
-You can hide vertical borders adjacent to the screen edges using
+You can hide container borders adjacent to the screen edges using
 +hide_edge_borders+. This is useful if you are using scrollbars, or do not want
 to waste even two pixels in displayspace. Default is none.