From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 7 Jan 2020 15:54:46 +0000 (-0700)
Subject: Mark 'Possibilities for extensions' as <h3>.
X-Git-Tag: v9.2.0-rc1~726^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9248%2Fhead;p=dealii.git

Mark 'Possibilities for extensions' as <h3>.

Otherwise, our scripts don't pick these headings up and it won't show
in the table of contents.
---

diff --git a/examples/step-3/doc/results.dox b/examples/step-3/doc/results.dox
index 9b04473491..4b6d2a2e3f 100644
--- a/examples/step-3/doc/results.dox
+++ b/examples/step-3/doc/results.dox
@@ -52,7 +52,7 @@ of the solution. Several video lectures show how to use these programs.
 
 
 <a name="extensions"></a>
-<h2>Possibilities for extensions</h2>
+<h3>Possibilities for extensions</h3>
 
 If you want to play around a little bit with this program, here are a few
 suggestions:
diff --git a/examples/step-36/doc/results.dox b/examples/step-36/doc/results.dox
index 7cbbc356da..f913ce46df 100644
--- a/examples/step-36/doc/results.dox
+++ b/examples/step-36/doc/results.dox
@@ -47,7 +47,7 @@ look like this:
 </tr>
 </table>
 
-<h2>Possibilities for extensions</h2>
+<h3>Possibilities for extensions</h3>
 
 It is always worth playing a few games in the playground! So here goes
 with a few suggestions: