===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/socppc.html,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
--- www/socppc.html	2014/11/12 05:42:31	1.25
+++ www/socppc.html	2014/12/03 07:36:36	1.26
@@ -46,8 +46,7 @@
 (<a href="mailto:kettenis@openbsd.org">kettenis@openbsd.org</a>).
 Others are definitely welcome to contribute!
 
-<a name="toc"></a>
-<h3><font color="#0000e0"><i>Table of contents</i></font></h3>
+<h3 id="toc"><font color="#0000e0"><i>Table of contents</i></font></h3>
 <ul>
   <li><a href="#history">History of the port</a><br>
   <li><a href="#status">Current status</a><br>
@@ -58,24 +57,21 @@
 <br clear=all>
 <hr>
 
-<a name="history"></a>
-<h3><font color="#0000e0"><strong>History</strong></font></h3>
+<h3 id="history"><font color="#0000e0"><strong>History</strong></font></h3>
 <p>
 OpenBSD/socppc is heavily based on OpenBSD/macppc.  The e300 core
 found on the MPC8349E is a derivative of the MPC603e processor used in
 early PowerPC-based Apple Macintosh systems, so most of the low-level
 code is identical.
 
-<a name="status"></a>
-<h3><font color="#0000e0"><strong>Current status</strong></font></h3>
+<h3 id="status"><font color="#0000e0"><strong>Current status</strong></font></h3>
 
 <p>
 Hardware support is mostly complete and quite stable.  USB 1 devices
 are only supported behind a USB 2.0 hub, and support for the
 integrated switch on the Thecus N1200 is still missing.
 
-<a name="hardware"></a>
-<h3><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
+<h3 id="hardware"><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
 
 For a complete system component and device driver listing for this architecture, see <a href="http://www.openbsd.org/cgi-bin/man.cgi?query=intro&amp;arch=socppc&amp;sektion=4">intro(4/socppc)</a>.
 <p>
@@ -92,8 +88,7 @@
 <li><a href="http://www.openbsd.org/cgi-bin/man.cgi?query=ehci&amp;sektion=4">ehci(4)</a> USB controller supporting most <a href="http://www.openbsd.org/cgi-bin/man.cgi?query=usb&amp;sektion=4">usb(4)</a> devices.
 </ul>
 
-<a name="install"></a>
-<h3><font color="#0000e0">
+<h3 id="install"><font color="#0000e0">
 <strong>Getting and installing OpenBSD/socppc</strong>
 </font></h3>