[PATCH htdocs] use <h3> under <h2>

[PATCH htdocs] use <h3> under <h2>

[Mike Frysinger]

We use <h1> for the site's title, <h2> for the page title, and <h3>
for sections under that.  These two pages were using <h2> for page
sections lower down, so fix them up.
---
 committee/index.html     | 2 +-
 mailing-lists/index.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/committee/index.html b/committee/index.html
index bcf51df2e3ac..710344a2d7c6 100644
--- a/committee/index.html
+++ b/committee/index.html
@@ -61,7 +61,7 @@ not be generally involved in day-to-day development.
 The GDB Maintainers also appoint the <a href="release-manager.html">GDB
 Release Manager</a>.
 
-<h2>Appointed Maintainers</h2>
+<h3>Appointed Maintainers</h3>
 
 <p>
 The current official FSF-appointed GDB Maintainers are listed below,
diff --git a/mailing-lists/index.html b/mailing-lists/index.html
index 892bc72999f2..a14ff93f044f 100644
--- a/mailing-lists/index.html
+++ b/mailing-lists/index.html
@@ -115,7 +115,7 @@ name for historical reasons</dd>
 </dt> <dd> A read-only list for <tt>cron</tt> log
 messages and other dull boring stuff.</dd>
 
-<h2>Former Resources, No Longer Active Nor Monitored</h2>
+<h3>Former Resources, No Longer Active Nor Monitored</h3>
 
 <dt><a href="news:gnu.gdb.bug"> <b>gnu.gdb.bug</b></a></dt>
 <dd> (mail relay <a href="https://lists.gnu.org/archive/html/bug-gdb/"
-- 
2.43.0

Re: [PATCH htdocs] use <h3> under <h2>

[Tom Tromey]

>>>>> "Mike" == Mike Frysinger <vapier@gentoo.org> writes:

Mike> We use <h1> for the site's title, <h2> for the page title, and <h3>
Mike> for sections under that.  These two pages were using <h2> for page
Mike> sections lower down, so fix them up.

Makes sense to me.

Tom