From 94c95ce310ce0d355e32794ec03746b35d73ceee Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Tue, 3 Dec 2024 14:40:18 -0800
Subject: [PATCH] Use h1 instead of h3.

Javadoc actually failed because it insists that you start from h1. Wow.
---
 src/main/javadoc/overview.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/javadoc/overview.html b/src/main/javadoc/overview.html
index a8f19e4..f67a640 100644
--- a/src/main/javadoc/overview.html
+++ b/src/main/javadoc/overview.html
@@ -6,7 +6,7 @@
     ORM library in Java, but has aims that are somewhat different from the
     popular "managed" persistence libraries like Hibernate and others.
 
-    <h3>Design Goals</h3>
+    <h1>Design Goals</h1>
 
     <ul>
     <li><p> Eliminate (as much as possible) the use of raw SQL (or any textual