Fix warnings markdown (#498)

Author: MauroToscano

docs/guides/0_proving_systems.md

@@ -7,6 +7,7 @@ The following is the list of the verifiers currently supported by Aligned:
 - :white_check_mark: SP1
 
 The following proof systems are going to be added soon:
+
 - :black_square_button: Risc0
 - :black_square_button: Kimchi
 - :black_square_button: Halo2 - Plonk/KZG
@@ -35,7 +36,7 @@ aligned submit \
 --batch_inclusion_data_directory_path [batch_inclusion_data_directory_path]
 ```
 
-**Example**
+**example**:
 
 ```bash
 rm -rf ./aligned_verification_data/ &&
@@ -74,7 +75,6 @@ aligned submit \
 --conn wss://batcher.alignedlayer.com
 ```
 
-
 **Plonk BLS12-381 example**:
 
 ```bash