From 1b0e2daa3050e135ae44c23b6924e305bd59a873 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 28 Aug 2018 16:34:28 +0200
Subject: Add index for focusing braces.

And fix wrong indentation.
---
 doc/sphinx/proof-engine/proof-handling.rst | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/sphinx/proof-engine/proof-handling.rst b/doc/sphinx/proof-engine/proof-handling.rst
index b49d0f0504..fe2124502a 100644
--- a/doc/sphinx/proof-engine/proof-handling.rst
+++ b/doc/sphinx/proof-engine/proof-handling.rst
@@ -315,6 +315,9 @@ Navigation in the proof tree
 
 .. _curly-braces:
 
+.. index:: {
+           }
+
 .. cmd:: %{ %| %}
 
    The command ``{`` (without a terminating period) focuses on the first
@@ -369,7 +372,7 @@ Navigation in the proof tree
       Brackets are used to focus on a single goal given either by its position
       or by its name if it has one.
 
-    .. seealso:: The error messages about bullets below.
+  .. seealso:: The error messages about bullets below.
 
 .. _bullets:
 
-- 
cgit v1.2.3