]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Mark 'Possibilities for extensions' as <h3>. 9248/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 7 Jan 2020 15:54:46 +0000 (08:54 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 7 Jan 2020 15:54:46 +0000 (08:54 -0700)
Otherwise, our scripts don't pick these headings up and it won't show
in the table of contents.

examples/step-3/doc/results.dox
examples/step-36/doc/results.dox

index 9b044734915e164950821da46bc1ba7303702dad..4b6d2a2e3f1a362de6d4fcfa70afb5915f175315 100644 (file)
@@ -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:
index 7cbbc356da7f0d8f2f433e142b294d3a5e83433f..f913ce46df712a88da5a2a216e2387df19decb02 100644 (file)
@@ -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:

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.