Fix docs page titles

62 files changed, 62 insertions, 186 deletions

diff --git a/docs/archive_old.md b/docs/archive_old.md
index bec83a59..c9c42416 100644
--- a/docs/archive_old.md
+++ b/docs/archive_old.md
@@ -1,6 +1,4 @@
-
-Libreboot release information (old) 
-===================================
+% Libreboot release information (old) 
 
 Information for this release can be found at
 [release.html](release.html). Updated versions of libreboot can be found
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index 6b03a81d..fa7c8167 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -1,6 +1,4 @@
-
-How to install FreeBSD on a libreboot system
-============================================
+% How to install FreeBSD on a libreboot system
 
 This section relates to preparing, booting and installing FreeBSD on
 your libreboot system, using nothing more than a USB flash drive (and
diff --git a/docs/bsd/index.md b/docs/bsd/index.md
index c767bf18..8f0aad75 100644
--- a/docs/bsd/index.md
+++ b/docs/bsd/index.md
@@ -1,6 +1,4 @@
-
-BSD projects 
-============
+% BSD projects 
 
 This section relates to dealing with BSD projects: preparing bootable
 USB drives, changing the default GRUB menu and so on.
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 682746cc..286d9495 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -1,6 +1,4 @@
-
-How to install NetBSD on a libreboot system
-===========================================
+% How to install NetBSD on a libreboot system
 
 This section relates to preparing, booting and installing NetBSD on your
 libreboot system, using nothing more than a USB flash drive (and *dd*).
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 14467e4b..53086ed1 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -1,6 +1,4 @@
-
-How to install LibertyBSD or OpenBSD on a libreboot system
-==========================================================
+% How to install LibertyBSD or OpenBSD on a libreboot system
 
 NOTE: This guide was written for OpenBSD by the person who contributed
 it, but the libreboot project recommends LibertyBSD. LibertyBSD is a
diff --git a/docs/depthcharge/index.md b/docs/depthcharge/index.md
index c9682847..745b5e8b 100644
--- a/docs/depthcharge/index.md
+++ b/docs/depthcharge/index.md
@@ -1,6 +1,4 @@
-
-Depthcharge payload 
-===================
+% Depthcharge payload 
 
 This section relates to the depthcharge payload used in libreboot.
 
diff --git a/docs/distros/index.md b/docs/distros/index.md
index 5c839162..744eb2fc 100644
--- a/docs/distros/index.md
+++ b/docs/distros/index.md
@@ -1,6 +1,4 @@
-
-List of recommended GNU+Linux distributions for libreboot 
-=========================================================
+% List of recommended GNU+Linux distributions for libreboot 
 
 Any distribution should work, so long as it uses kernel mode setting for
 graphics. We recommend using distributions that are entirely free
diff --git a/docs/fsf-distros/index.md b/docs/fsf-distros/index.md
index a72c35ae..665b1412 100644
--- a/docs/fsf-distros/index.md
+++ b/docs/fsf-distros/index.md
@@ -1,6 +1,4 @@
-
-Explaining Why We Don't Endorse FSF-endorsed Systems 
-=====================================================
+% Explaining Why We Don't Endorse FSF-endorsed Systems 
 
 We are asked why we don't endorse most FSF-endorsed distributions,
 usually well-known within the FSF community.
diff --git a/docs/future/index.md b/docs/future/index.md
index 1336478e..7b5d2659 100644
--- a/docs/future/index.md
+++ b/docs/future/index.md
@@ -1,6 +1,4 @@
-
-Development notes 
-=================
+% Development notes 
 
 These are development notes, for future use. For old (obselete) notes,
 see [old.html](old.html).
diff --git a/docs/future/old.md b/docs/future/old.md
index dc3b5dbd..71107fba 100644
--- a/docs/future/old.md
+++ b/docs/future/old.md
@@ -1,6 +1,4 @@
-
-Development notes (old/obsolete notes) 
-======================================
+% Development notes (old/obsolete notes) 
 
 For current notes, see [](./).
 
diff --git a/docs/gnulinux/configuring_parabola.md b/docs/gnulinux/configuring_parabola.md
index 0162aa0c..9d167bce 100644
--- a/docs/gnulinux/configuring_parabola.md
+++ b/docs/gnulinux/configuring_parabola.md
@@ -1,6 +1,4 @@
-
-Configuring Parabola (post-install) 
-===================================
+% Configuring Parabola (post-install) 
 
 Post-installation configuration steps for Parabola GNU+Linux-libre.
 Parabola is extremely flexible; this is just an example. This example
diff --git a/docs/gnulinux/encrypted_debian.md b/docs/gnulinux/encrypted_debian.md
index 499f4fbd..b0f0b586 100644
--- a/docs/gnulinux/encrypted_debian.md
+++ b/docs/gnulinux/encrypted_debian.md
@@ -1,6 +1,4 @@
-
-Installing Debian or Devuan GNU+Linux with full disk encryption (including /boot)
-=================================================================================
+% Installing Debian or Devuan GNU+Linux with full disk encryption (including /boot)
 
 This guide is written for the Debian distribution, but it should also
 work for Devuan with the net installer.
diff --git a/docs/gnulinux/encrypted_parabola.md b/docs/gnulinux/encrypted_parabola.md
index 99be254a..2ac5a5ec 100644
--- a/docs/gnulinux/encrypted_parabola.md
+++ b/docs/gnulinux/encrypted_parabola.md
@@ -1,6 +1,4 @@
-
-Installing Parabola or Arch GNU+Linux with full disk encryption (including /boot)
-=================================================================================
+% Installing Parabola or Arch GNU+Linux with full disk encryption (including /boot)
 
 Libreboot on x86 uses the GRUB
 [payload](http://www.coreboot.org/Payloads#GRUB_2) by default, which
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 5f34a6ab..08a1c83e 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -1,6 +1,4 @@
-
-How to install GNU+Linux on a libreboot system
-==============================================
+% How to install GNU+Linux on a libreboot system
 
 This section relates to preparing, booting and installing a GNU+Linux
 distribution on your libreboot system, using nothing more than a USB
diff --git a/docs/gnulinux/grub_cbfs.md b/docs/gnulinux/grub_cbfs.md
index 43857984..538a04fd 100644
--- a/docs/gnulinux/grub_cbfs.md
+++ b/docs/gnulinux/grub_cbfs.md
@@ -1,6 +1,4 @@
-
-How to replace the default GRUB configuration file on a libreboot system 
-========================================================================
+% How to replace the default GRUB configuration file on a libreboot system 
 
 Libreboot on x86 uses the GRUB
 [payload](http://www.coreboot.org/Payloads#GRUB_2) by default, which
diff --git a/docs/gnulinux/grub_hardening.md b/docs/gnulinux/grub_hardening.md
index 26de1399..cf0ef67f 100644
--- a/docs/gnulinux/grub_hardening.md
+++ b/docs/gnulinux/grub_hardening.md
@@ -1,6 +1,4 @@
-
-GRUB hardening
-==============
+% GRUB hardening
 
 This guide deals with various ways in which you can harden your GRUB
 configuration, for security purposes. These steps are optional, but
diff --git a/docs/gnulinux/index.md b/docs/gnulinux/index.md
index b423bfbb..79983797 100644
--- a/docs/gnulinux/index.md
+++ b/docs/gnulinux/index.md
@@ -1,6 +1,4 @@
-
-GNU+Linux distributions 
-=======================
+% GNU+Linux distributions 
 
 This section relates to dealing with GNU+Linux distributions: preparing
 bootable USB drives, changing the default GRUB menu and so on.
diff --git a/docs/grub/index.md b/docs/grub/index.md
index 51dbdf00..56cbf470 100644
--- a/docs/grub/index.md
+++ b/docs/grub/index.md
@@ -1,6 +1,4 @@
-
-GRUB payload 
-============
+% GRUB payload 
 
 This section relates to the GRUB payload used in libreboot.
 
diff --git a/docs/hardware/dock.md b/docs/hardware/dock.md
index 480495c5..f1e86226 100644
--- a/docs/hardware/dock.md
+++ b/docs/hardware/dock.md
@@ -1,6 +1,4 @@
-
-Notes about DMA and the docking station (X60/T60)
-=================================================
+% Notes about DMA and the docking station (X60/T60)
 
 
 
diff --git a/docs/hardware/index.md b/docs/hardware/index.md
index bccd6088..d7262669 100644
--- a/docs/hardware/index.md
+++ b/docs/hardware/index.md
@@ -1,6 +1,4 @@
-
-Hardware modifications 
-======================
+% Hardware modifications 
 
 This section relates to hardware maintenance on supported targets.
 
diff --git a/docs/hardware/t60_heatsink.md b/docs/hardware/t60_heatsink.md
index 824fb8b1..f9fbde2b 100644
--- a/docs/hardware/t60_heatsink.md
+++ b/docs/hardware/t60_heatsink.md
@@ -1,6 +1,4 @@
-
-Changing heatsink (or CPU) on the ThinkPad T60
-==============================================
+% Changing heatsink (or CPU) on the ThinkPad T60
 
 Using this guide you can also change/upgrade the CPU.
 
diff --git a/docs/hardware/t60_lcd_15.md b/docs/hardware/t60_lcd_15.md
index 4d97eb4d..cf6611ad 100644
--- a/docs/hardware/t60_lcd_15.md
+++ b/docs/hardware/t60_lcd_15.md
@@ -1,6 +1,4 @@
-
-Changing the LCD panel on a 15.1" T60
-======================================
+% Changing the LCD panel on a 15.1" T60
 
 This is for the 15.1" T60. If you have another size then the procedure
 will differ; for example, on 14.1" you have to remove the hinges and
diff --git a/docs/hardware/t60_security.md b/docs/hardware/t60_security.md
index 399d73be..6103c42d 100644
--- a/docs/hardware/t60_security.md
+++ b/docs/hardware/t60_security.md
@@ -1,6 +1,4 @@
-
-Security on the ThinkPad T60
-============================
+% Security on the ThinkPad T60
 
 Hardware modifications to enhance security on the ThinkPad T60. This
 tutorial is **incomplete** at the time of writing.
diff --git a/docs/hardware/x60_heatsink.md b/docs/hardware/x60_heatsink.md
index 1234d067..35a9c48b 100644
--- a/docs/hardware/x60_heatsink.md
+++ b/docs/hardware/x60_heatsink.md
@@ -1,6 +1,4 @@
-
-Changing the fan/heatsink on the ThinkPad X60
-=============================================
+% Changing the fan/heatsink on the ThinkPad X60
 
 This guide will teach you how to replace the fan and heatsink on your
 ThinkPad X60.
diff --git a/docs/hardware/x60_keyboard.md b/docs/hardware/x60_keyboard.md
index 03c3e205..27a3f80b 100644
--- a/docs/hardware/x60_keyboard.md
+++ b/docs/hardware/x60_keyboard.md
@@ -1,6 +1,4 @@
-
-Thinkpad X60/X60s/X60t: Change keyboard
-=======================================
+% Thinkpad X60/X60s/X60t: Change keyboard
 
 Use this guide to replace the keyboard on your ThinkPad X60. Also works
 for X60s and X60 Tablet.
diff --git a/docs/hardware/x60_lcd_change.md b/docs/hardware/x60_lcd_change.md
index 2caf1903..727f74d4 100644
--- a/docs/hardware/x60_lcd_change.md
+++ b/docs/hardware/x60_lcd_change.md
@@ -1,6 +1,4 @@
-
-Changing the LCD panel on X60
-=============================
+% Changing the LCD panel on X60
 
 This tutorial is incomplete, and only pictures for now.
 
diff --git a/docs/hardware/x60_security.md b/docs/hardware/x60_security.md
index 44d5fb4a..1e9479ac 100644
--- a/docs/hardware/x60_security.md
+++ b/docs/hardware/x60_security.md
@@ -1,6 +1,4 @@
-
-Security on the ThinkPad X60
-============================
+% Security on the ThinkPad X60
 
 Hardware modifications to enhance security on the ThinkPad X60. This
 tutorial is **incomplete** at the time of writing.
diff --git a/docs/hcl/c201.md b/docs/hcl/c201.md
index afc97bf0..b04fb525 100644
--- a/docs/hcl/c201.md
+++ b/docs/hcl/c201.md
@@ -1,6 +1,4 @@
-
-ASUS Chromebook C201 
-====================
+% ASUS Chromebook C201 
 
 This is a Chromebook, using the Rockchip RK3288 SoC. It uses an ARM CPU,
 and has free EC firmware (unlike some other laptops). More RK3288-based
diff --git a/docs/hcl/d510mo.md b/docs/hcl/d510mo.md
index f8d950d7..d69f2bff 100644
--- a/docs/hcl/d510mo.md
+++ b/docs/hcl/d510mo.md
@@ -1,6 +1,4 @@
-
-Intel D510MO desktop board 
-==========================
+% Intel D510MO desktop board 
 
 This is a desktop board using intel hardware (circa \~2009, ICH7
 southbridge, similar performance-wise to the Libreboot X200. It can make
diff --git a/docs/hcl/d945gclf.md b/docs/hcl/d945gclf.md
index a537996c..b2ef3cd0 100644
--- a/docs/hcl/d945gclf.md
+++ b/docs/hcl/d945gclf.md
@@ -1,6 +1,4 @@
-
-Intel D945GCLF desktop board 
-============================
+% Intel D945GCLF desktop board 
 
 [Back to previous index](https://libreboot.org/docs/hcl/)
 
diff --git a/docs/hcl/ga-g41m-es2l.md b/docs/hcl/ga-g41m-es2l.md
index ef3b7bd3..c522b43c 100644
--- a/docs/hcl/ga-g41m-es2l.md
+++ b/docs/hcl/ga-g41m-es2l.md
@@ -1,6 +1,4 @@
-
-Gigabyte GA-G41M-ES2L desktop board 
-===================================
+% Gigabyte GA-G41M-ES2L desktop board 
 
 This is a desktop board using intel hardware (circa \~2009, ICH7
 southbridge, similar performance-wise to the Libreboot X200. It can make
diff --git a/docs/hcl/gm45_remove_me.md b/docs/hcl/gm45_remove_me.md
index 58a4638e..659a878f 100644
--- a/docs/hcl/gm45_remove_me.md
+++ b/docs/hcl/gm45_remove_me.md
@@ -1,6 +1,4 @@
-
-GM45 chipsets: remove the ME (manageability engine) 
-===================================================
+% GM45 chipsets: remove the ME (manageability engine) 
 
 This sections relates to disabling and removing the ME (Intel
 **M**anagement **E**ngine) on GM45. This was originally done on the
diff --git a/docs/hcl/imac52.md b/docs/hcl/imac52.md
index 5ce29929..bd7c87ac 100644
--- a/docs/hcl/imac52.md
+++ b/docs/hcl/imac52.md
@@ -1,6 +1,4 @@
-
-Apple iMac 5,2 
-==============
+% Apple iMac 5,2 
 
 Information to be written soon, but this board is merged in libreboot.
 
diff --git a/docs/hcl/index.md b/docs/hcl/index.md
index 57ad4238..80590568 100644
--- a/docs/hcl/index.md
+++ b/docs/hcl/index.md
@@ -1,6 +1,4 @@
-
-Hardware compatibility list 
-===========================
+% Hardware compatibility list 
 
 This sections relates to known hardware compatibility in libreboot.
 
diff --git a/docs/hcl/kcma-d8.md b/docs/hcl/kcma-d8.md
index a3283f20..901f190e 100644
--- a/docs/hcl/kcma-d8.md
+++ b/docs/hcl/kcma-d8.md
@@ -1,6 +1,4 @@
-
-ASUS KCMA-D8 desktop/workstation board 
-======================================
+% ASUS KCMA-D8 desktop/workstation board 
 
 This is a desktop board using AMD hardware (Fam10h **and Fam15h** CPUs
 available). It can also be used for building a high-powered workstation.
diff --git a/docs/hcl/kfsn4-dre.md b/docs/hcl/kfsn4-dre.md
index 70d5a789..34804c0f 100644
--- a/docs/hcl/kfsn4-dre.md
+++ b/docs/hcl/kfsn4-dre.md
@@ -1,6 +1,4 @@
-
-ASUS KFSN4-DRE server/workstation board 
-=======================================
+% ASUS KFSN4-DRE server/workstation board 
 
 This is a server board using AMD hardware (Fam10h). It can also be used
 for building a high-powered workstation. Powered by libreboot.
diff --git a/docs/hcl/kgpe-d16.md b/docs/hcl/kgpe-d16.md
index 5caf8976..97a87a4b 100644
--- a/docs/hcl/kgpe-d16.md
+++ b/docs/hcl/kgpe-d16.md
@@ -1,6 +1,4 @@
-
-ASUS KGPE-D16 server/workstation board 
-======================================
+% ASUS KGPE-D16 server/workstation board 
 
 This is a server board using AMD hardware (Fam10h **and Fam15h** CPUs
 available). It can also be used for building a high-powered workstation.
diff --git a/docs/hcl/r400.md b/docs/hcl/r400.md
index d3fc8b10..75163742 100644
--- a/docs/hcl/r400.md
+++ b/docs/hcl/r400.md
@@ -1,6 +1,4 @@
-
-ThinkPad R400 
-=============
+% ThinkPad R400 
 
 It is believed that all or most R400 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/t400.md b/docs/hcl/t400.md
index 9b5f3395..c3e0d9d3 100644
--- a/docs/hcl/t400.md
+++ b/docs/hcl/t400.md
@@ -1,6 +1,4 @@
-
-ThinkPad T400 
-=============
+% ThinkPad T400 
 
 It is believed that all or most T400 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/t500.md b/docs/hcl/t500.md
index 1005abfe..866baaa7 100644
--- a/docs/hcl/t500.md
+++ b/docs/hcl/t500.md
@@ -1,6 +1,4 @@
-
-ThinkPad T500 
-=============
+% ThinkPad T500 
 
 It is believed that all or most T500 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/x200.md b/docs/hcl/x200.md
index d16081ec..deb212a9 100644
--- a/docs/hcl/x200.md
+++ b/docs/hcl/x200.md
@@ -1,6 +1,4 @@
-
-ThinkPad X200 
-=============
+% ThinkPad X200 
 
 It is believed that all X200 laptops are compatible. X200S and X200
 Tablet will also work, [depending on the configuration](#x200s).
diff --git a/docs/index.md b/docs/index.md
index a0714e8d..749f67d6 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -1,6 +1,4 @@
-
-Libreboot documentation 
-=======================
+% Libreboot documentation 
 
 Information about this release can be found at
 [release.html](release.html). Always check
diff --git a/docs/install/bbb_setup.md b/docs/install/bbb_setup.md
index 03882956..408972e2 100644
--- a/docs/install/bbb_setup.md
+++ b/docs/install/bbb_setup.md
@@ -1,6 +1,4 @@
-
-How to program an SPI flash chip with the BeagleBone Black or Teensy 3.1 
-========================================================================
+% How to program an SPI flash chip with the BeagleBone Black or Teensy 3.1 
 
 This document exists as a guide for reading from or writing to an SPI
 flash chip with the BeagleBone Black, using the
diff --git a/docs/install/c201.md b/docs/install/c201.md
index d04ba2b0..62812986 100644
--- a/docs/install/c201.md
+++ b/docs/install/c201.md
@@ -1,6 +1,4 @@
-
-ASUS Chromebook C201 installation guide 
-=======================================
+% ASUS Chromebook C201 installation guide 
 
 These instructions are for installing Libreboot to the ASUS Chromebook
 C201. Since the device ships with Coreboot, the installation
diff --git a/docs/install/d510mo.md b/docs/install/d510mo.md
index 056b90cf..39604c89 100644
--- a/docs/install/d510mo.md
+++ b/docs/install/d510mo.md
@@ -1,6 +1,4 @@
-
-D510MO flashing tutorial 
-========================
+% D510MO flashing tutorial 
 
 This guide is for those who want libreboot on their Intel D510MO
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/d945gclf.md b/docs/install/d945gclf.md
index 95178304..91a0f6f1 100644
--- a/docs/install/d945gclf.md
+++ b/docs/install/d945gclf.md
@@ -1,6 +1,4 @@
-
-Intel D945GCLF flashing tutorial 
-================================
+% Intel D945GCLF flashing tutorial 
 
 This guide is for those who want libreboot on their Intel D945GCLF
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/ga-g41m-es2l.md b/docs/install/ga-g41m-es2l.md
index ef7bb97e..75ec3dbd 100644
--- a/docs/install/ga-g41m-es2l.md
+++ b/docs/install/ga-g41m-es2l.md
@@ -1,6 +1,4 @@
-
-GA-G41M-ES2L flashing tutorial 
-==============================
+% GA-G41M-ES2L flashing tutorial 
 
 This guide is for those who want libreboot on their Intel GA-G41M-ES2L
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/index.md b/docs/install/index.md
index 0e8b7ea9..25a3ad96 100644
--- a/docs/install/index.md
+++ b/docs/install/index.md
@@ -1,6 +1,4 @@
-
-Installing libreboot 
-====================
+% Installing libreboot 
 
 This section relates to installing libreboot on supported targets.
 
diff --git a/docs/install/kcma-d8.md b/docs/install/kcma-d8.md
index 5f5c7f96..7789c1c8 100644
--- a/docs/install/kcma-d8.md
+++ b/docs/install/kcma-d8.md
@@ -1,6 +1,4 @@
-
-KCMA-D8 external flashing instructions 
-======================================
+% KCMA-D8 external flashing instructions 
 
 Initial flashing instructions for kcma-d8.
 
diff --git a/docs/install/kgpe-d16.md b/docs/install/kgpe-d16.md
index 3110c804..f9751f14 100644
--- a/docs/install/kgpe-d16.md
+++ b/docs/install/kgpe-d16.md
@@ -1,6 +1,4 @@
-
-KGPE-D16 external flashing instructions 
-=======================================
+% KGPE-D16 external flashing instructions 
 
 Initial flashing instructions for KGPE-D16.
 
diff --git a/docs/install/r400_external.md b/docs/install/r400_external.md
index 1c8e9c83..00c8e3d4 100644
--- a/docs/install/r400_external.md
+++ b/docs/install/r400_external.md
@@ -1,6 +1,4 @@
-
-Flashing the R400 with a BeagleBone Black 
-=========================================
+% Flashing the R400 with a BeagleBone Black 
 
 Initial flashing instructions for R400.
 
diff --git a/docs/install/rpi_setup.md b/docs/install/rpi_setup.md
index 4ee4d941..01cab733 100644
--- a/docs/install/rpi_setup.md
+++ b/docs/install/rpi_setup.md
@@ -1,6 +1,4 @@
-
-How to program an SPI flash chip with the Raspberry Pi 
-======================================================
+% How to program an SPI flash chip with the Raspberry Pi 
 
 This document exists as a guide for reading from or writing to an SPI
 flash chip with the Raspberry Pi, using the
diff --git a/docs/install/t400_external.md b/docs/install/t400_external.md
index e8576284..029acf0f 100644
--- a/docs/install/t400_external.md
+++ b/docs/install/t400_external.md
@@ -1,6 +1,4 @@
-
-Flashing the T400 with a BeagleBone Black 
-=========================================
+% Flashing the T400 with a BeagleBone Black 
 
 Initial flashing instructions for T400.
 
diff --git a/docs/install/t500_external.md b/docs/install/t500_external.md
index accaac32..5b07e6eb 100644
--- a/docs/install/t500_external.md
+++ b/docs/install/t500_external.md
@@ -1,6 +1,4 @@
-
-Flashing the T500 with a BeagleBone Black 
-=========================================
+% Flashing the T500 with a BeagleBone Black 
 
 Initial flashing instructions for T500.
 
diff --git a/docs/install/t60_unbrick.md b/docs/install/t60_unbrick.md
index 47bc3d06..fc7a557f 100644
--- a/docs/install/t60_unbrick.md
+++ b/docs/install/t60_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad T60: Recovery guide
-============================
+% ThinkPad T60: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad T60 from booting.
diff --git a/docs/install/x200_external.md b/docs/install/x200_external.md
index ccfab1ae..a09e0374 100644
--- a/docs/install/x200_external.md
+++ b/docs/install/x200_external.md
@@ -1,6 +1,4 @@
-
-Flashing the X200 with a BeagleBone Black 
-=========================================
+% Flashing the X200 with a BeagleBone Black 
 
 Initial flashing instructions for X200.
 
diff --git a/docs/install/x60_unbrick.md b/docs/install/x60_unbrick.md
index 19b1abb8..33a4fef3 100644
--- a/docs/install/x60_unbrick.md
+++ b/docs/install/x60_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad X60: Recovery guide
-============================
+% ThinkPad X60: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 from booting.
diff --git a/docs/install/x60tablet_unbrick.md b/docs/install/x60tablet_unbrick.md
index b91438a1..cc62ecaf 100644
--- a/docs/install/x60tablet_unbrick.md
+++ b/docs/install/x60tablet_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad X60 Tablet: Recovery guide
-===================================
+% ThinkPad X60 Tablet: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 Tablet from booting.
diff --git a/docs/misc/bbb_ehci.md b/docs/misc/bbb_ehci.md
index 0246a382..db2d1969 100644
--- a/docs/misc/bbb_ehci.md
+++ b/docs/misc/bbb_ehci.md
@@ -1,6 +1,4 @@
-
-EHCI debugging on the BeagleBone Black 
-======================================
+% EHCI debugging on the BeagleBone Black 
 
 [Back to previous index](./)
 
diff --git a/docs/misc/index.md b/docs/misc/index.md
index 44503755..05265091 100644
--- a/docs/misc/index.md
+++ b/docs/misc/index.md
@@ -1,6 +1,4 @@
-
-Miscellaneous 
-=============
+% Miscellaneous 
 
 
 -   [High Pitched Whining Noise on Idle (how to remove in Debian or
diff --git a/docs/misc/patch.md b/docs/misc/patch.md
index 9f6125c5..8359ecd6 100644
--- a/docs/misc/patch.md
+++ b/docs/misc/patch.md
@@ -1,6 +1,4 @@
-
-Diff and patch 
-==============
+% Diff and patch 
 
 This is just a quick guide for reference, use 'man' to know more.
 
diff --git a/docs/release.md b/docs/release.md
index a06c5d29..bb7266a0 100644
--- a/docs/release.md
+++ b/docs/release.md
@@ -1,6 +1,4 @@
-
-Libreboot release information 
-=============================
+% Libreboot release information 
 
 Updated versions of libreboot can be found at
 [libreboot.org](http://libreboot.org/).