===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/amd64.html,v
retrieving revision 1.258
retrieving revision 1.259
diff -c -r1.258 -r1.259
*** www/amd64.html	2016/03/22 10:54:42	1.258
--- www/amd64.html	2016/03/28 16:46:17	1.259
***************
*** 16,46 ****
  
  <hr>
  
- <p>
  OpenBSD/amd64 runs on AMD's Athlon-64 family of processors in 64-bit mode.
  It also runs on processors made by other manufacturers which have cloned
  the AMD64 extensions.  (Some Intel processors lack support for important
  PAE NX bit, which means those machines will run without any W^X support --
  it is thus safer to run those machines in i386 mode).
  <p>
  Note that <a href="i386.html">OpenBSD/i386</a> also runs on these
  processors, but in 32-bit mode.
- 
  <p>
  X Window System support is available for most graphics cards, using
  the X.Org server.  As with other free operating systems it is highly recommended
  that Nvidia cards are avoided since this vendor continues to show tremendous
  resistance towards releasing information that would allow X.Org to support their
  hardware properly.
  
! <h3 id="toc"><font color="#0000e0"><i>Table of contents</i></font></h3>
! 
! <ul>
!   <li><a href="#status">Current status</a>
!   <li><a href="#hardware">Supported hardware</a>
!   <li><a href="#install">Getting and installing OpenBSD/amd64</a>
! </ul>
! 
  <hr>
  
  <h3 id="status"><font color="#0000e0"><strong>Current status:</strong></font></h3>
--- 16,39 ----
  
  <hr>
  
  OpenBSD/amd64 runs on AMD's Athlon-64 family of processors in 64-bit mode.
  It also runs on processors made by other manufacturers which have cloned
  the AMD64 extensions.  (Some Intel processors lack support for important
  PAE NX bit, which means those machines will run without any W^X support --
  it is thus safer to run those machines in i386 mode).
  <p>
+ 
  Note that <a href="i386.html">OpenBSD/i386</a> also runs on these
  processors, but in 32-bit mode.
  <p>
+ 
  X Window System support is available for most graphics cards, using
  the X.Org server.  As with other free operating systems it is highly recommended
  that Nvidia cards are avoided since this vendor continues to show tremendous
  resistance towards releasing information that would allow X.Org to support their
  hardware properly.
  
! <br clear=all>
  <hr>
  
  <h3 id="status"><font color="#0000e0"><strong>Current status:</strong></font></h3>