Convert the _text_ headers to ATX-style h3 markup

docs/ivanx/a2server_installer.md

@@ -11,7 +11,8 @@ itself, and their repositories contain the packages the scripts require. The
 user running the scripts needs a bash shell, sudo privileges, and a search
 path containing all the "bin" and "sbin" directories.
 
-_Debian or Ubuntu Linux_
+
+### Debian or Ubuntu Linux
 
 (Tested on Debian 7.8.0 and Ubuntu Server 12.04 LTS. Note that Ubuntu 14.04
 LTS includes kernel 3.13, which is *not* compatible with A2SERVER; you will
@@ -23,7 +24,8 @@ at this time.)
 2. [Install Debian](a2server_installubuntu.md) (or Ubuntu) on the virtual or
    real machine
 
-_Raspberry Pi_
+
+### Raspberry Pi
 
 1. [Download Raspbian][1]
 2. [Perform Raspberry Pi setup](a2server_raspberrypi.md)

docs/ivanx/a2server_raspberrypi.md

@@ -13,7 +13,8 @@ stopped working after a Raspbian update, see the
 
 
 
-_Starting fresh:_
+### Starting fresh:
+
 If you haven't already started working with a Raspberry Pi, then [download
 Raspple II][2], a distribution of the Raspbian operating system which includes
 A2SERVER, [A2CLOUD][3], and David Schmenk's [Apple II Pi][4].
@@ -39,10 +40,14 @@ you wish to change any configuration options, type `raspi-config`.
 For next steps, check out the links on the [A2SERVER home page](index.md).
 
 
-_Already using a Raspberry Pi?_ If you're already using Raspbian, you can
+### Already using a Raspberry Pi?
-install A2SERVER by typing at a Linux prompt:
 
-`wget appleii.ivanx.com/a2server/setup; source setup`
+If you're already using Raspbian, you can install A2SERVER by typing at a
+Linux prompt:
+
+~~~ bash
+wget appleii.ivanx.com/a2server/setup; source setup
+~~~
 
 The process is straightforward -- just respond to the prompts.
 

docs/ivanx/a2server_raspberrypi_login.md

@@ -7,7 +7,7 @@ The default username is "pi" and default password is "apple2". If you
 don't have a screen and keyboard attached, you can:
 
 
-_Log in via SSH from another computer_
+### Log in via SSH from another computer
 
 On a Mac, open Terminal (in the Utilities folder of the Applications folder),
 and type `ssh pi@raspberrypi.local` to connect. If you have Windows, you can
@@ -23,7 +23,8 @@ reserve an IP address in your router so the Pi gets the same IP address every
 time.
 
 
-_Log in from an Apple II_
+### Log in from an Apple II
+
 There are a few different options for logging in from an Apple II. They are:
 
 * Apple II serial: With the appropriate cables, you can use a terminal

docs/ivanx/a2server_recovery.md

@@ -17,7 +17,7 @@ this situation, you could [start over][1]. Or, if you want to keep your
 current installation, you have a few options, depending on your setup:
 
 
-_A2SERVER virtual machine, or on other non-Raspberry Pi Linux computer_
+### A2SERVER virtual machine, or on other non-Raspberry Pi Linux computer
 
 * Start up the virtual or real machine.
 
@@ -26,7 +26,7 @@ _A2SERVER virtual machine, or on other non-Raspberry Pi Linux computer_
 * At the Linux prompt, type `a2server-setup`
 
 
-_A2SERVER on Raspberry Pi with screen/keyboard/mouse attached_
+### A2SERVER on Raspberry Pi with screen/keyboard/mouse attached
 
 * Press the shift key rapidly and repeatedly while your Pi starts up. If you
   have an HDMI monitor, you can stop when you see the installer screen. If you
@@ -45,7 +45,7 @@ _A2SERVER on Raspberry Pi with screen/keyboard/mouse attached_
 * At the Linux prompt, type `a2server-setup`
 
 
-_A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Mac_
+### A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Mac
 
 * Remove the SD card from your Pi and insert it in your Mac.
 
@@ -60,7 +60,7 @@ _A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Mac_
 * [Log in to your Pi](a2server_raspberrypi_login.md) and type `a2server-setup`
 
 
-_A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Linux computer_
+### A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Linux computer
 
 * Remove the SD card from your Pi.
 
@@ -79,8 +79,7 @@ _A2SERVER on Raspberry Pi without screen/keyboard mouse, and a Linux computer_
   not appear as BOOT.)
 
 
-_A2SERVER on Raspberry Pi without screen/keyboard/mouse, and a Windows
+### A2SERVER on Raspberry Pi without screen/keyboard/mouse, and a Windows computer
-computer_
 
 * Remove the SD card from your Pi.
 

docs/ivanx/a2server_wifi.md

@@ -18,18 +18,21 @@ A2SERVER to use the Wi-Fi interface (if you get "command not found", type
 
 Setting up Wi-Fi on your A2SERVER machine:
 
-_Multiple AirPorts_
+### Multiple AirPorts
+
 As an alternative to using a Wi-Fi network adapter, any of the machine types
 below can work with Wi-Fi simply by connecting the wired Ethernet interface to
 another AirPort and setting up an [extended network][1] (if all AirPorts are
 802.11n models), or a [WDS][2] (if any AirPort is an 802.11g model).
 
 
-_Raspberry Pi_
+### Raspberry Pi
+
 [We got a whole page about that.][3]
 
 
-_Virtual machine_
+### Virtual machine
+
 On a virtual machine, A2SERVER won't work over Wi-Fi with the virtual network
 interface, but you may, or may not, be able to use a USB Wi-Fi adapter
 attached your VM's emulated USB port, and then follow the instructions below
@@ -39,7 +42,8 @@ VirtualBox][4] or VMWare Fusion, though they do work with Parallels Desktop;
 Realtek 81xx based adapters seem to work with VirtualBox (at minimum).
 
 
-_Real machine (Intel or compatible)_
+### Real machine (Intel or compatible)
+
 On a standard computer with a native Linux installation, if you can get a
 Wi-Fi adapter working, it will probably work with A2SERVER. Instructions will
 vary by distribution, but should be similar to [the guide for Raspberry