Merge pull request #596 from ARMmbed/AnotherButler-patch-3

Update RTOS.md

Author: jen3andruska

docs/reference/configuration/RTOS.md

@@ -11,6 +11,8 @@ By default, there are four threads running after boot: the ISR/scheduler thread,
 
 The following is the complete list of RTOS configuration parameters, as generated by `mbed compile --config -v`. Please see [the configuration system documentation](/docs/development/reference/configuration.html) for details on how you may use or override these settings.
 
+### RTOS configuration parameters
+
 ```
 Configuration parameters
 ------------------------
@@ -19,7 +21,11 @@ Name: rtos.present
     Defined by: library:rtos
     Macro name: MBED_CONF_RTOS_PRESENT
     Value: 1 (set by library:rtos)
+```
 
+### EventQueue configuration parameters
+
+```
 Name: events.present
     Defined by: library:events
     Macro name: MBED_CONF_EVENTS_PRESENT