Merge pull request #1448 from ARMmbed/fix-standard-pin-names

Fix ToC resolution

Author: Donatien Garnier

docs/porting/standard_pin_names/pin_names_dev_guide.md

@@ -1,12 +1,12 @@
-## Standard Pin Names
+# Standard Pin Names
 
 In general, platform code should be portable across different Mbed supported boards with the same hardware capabilities or interfaces.
 
 This document provides general developer guidelines on pin names that apply to all boards but it's not specific to any type of connector.
 
 **_NOTE:_** there might be separate documents for pin names that apply to specific connectors.
 
-### LEDs
+## LEDs
 
 Available onboard LEDs are defined as `LEDx` e.g. `LED1`, `LED2`, ...
 
@@ -30,7 +30,7 @@ It's possible to define new names of LEDs related to its properties, like color
 
 However, these names do not apply to all boards and hence should not be used in official example applications.
 
-### Buttons
+## Buttons
 
 Buttons that are available on a board will be defined as `BUTTONx` e.g. `BUTTON1`, `BUTTON2`, ...
 
@@ -53,7 +53,7 @@ It's possible to define new names of buttons related to its properties. It's rec
 
 However, these names do not apply to all boards and hence should not be used in official example applications.
 
-### UART
+## UART
 
 Every Mbed board includes a serial interface to the host PC, which allows the console to print useful information about the application.
 

docs/porting/standard_pin_names/pin_names_dev_guide_arduino.md

@@ -1,4 +1,4 @@
-## Arduino Uno Pin Names
+# Arduino Uno Pin Names
 
 The Arduino Uno connector is a standardised connector in Mbed, which has a set amount of exposed functionality. To achieve meaningful portability of application code across various Mbed boards that are Arduino Uno compliant, the pin names used for the connector pins are common across these boards.