diff --git a/experiment/images/Screen11.png b/experiment/images/Screen11.png
index 53b5d39..03f8bc3 100644
Binary files a/experiment/images/Screen11.png and b/experiment/images/Screen11.png differ
diff --git a/experiment/images/next2.png b/experiment/images/next2.png
index 00e3a72..f2d46e5 100644
Binary files a/experiment/images/next2.png and b/experiment/images/next2.png differ
diff --git a/experiment/images/pause.png b/experiment/images/pause.png
index a719bd1..481c65a 100644
Binary files a/experiment/images/pause.png and b/experiment/images/pause.png differ
diff --git a/experiment/images/play1.png b/experiment/images/play1.png
index 831d415..0c1b2c1 100644
Binary files a/experiment/images/play1.png and b/experiment/images/play1.png differ
diff --git a/experiment/images/prenex.png b/experiment/images/prenex.png
index b2f29d6..da7e038 100644
Binary files a/experiment/images/prenex.png and b/experiment/images/prenex.png differ
diff --git a/experiment/images/prev.png b/experiment/images/prev.png
index 305f172..a9a7b33 100644
Binary files a/experiment/images/prev.png and b/experiment/images/prev.png differ
diff --git a/experiment/images/result.png b/experiment/images/result.png
index f67524d..79822fe 100644
Binary files a/experiment/images/result.png and b/experiment/images/result.png differ
diff --git a/experiment/images/result11.png b/experiment/images/result11.png
index 73d614e..f95c90c 100644
Binary files a/experiment/images/result11.png and b/experiment/images/result11.png differ
diff --git a/experiment/images/screen21.png b/experiment/images/screen21.png
index 5833396..5764812 100644
Binary files a/experiment/images/screen21.png and b/experiment/images/screen21.png differ
diff --git a/experiment/images/simulation.png b/experiment/images/simulation.png
index ec517a2..aacb8c6 100644
Binary files a/experiment/images/simulation.png and b/experiment/images/simulation.png differ
diff --git a/experiment/images/var1.png b/experiment/images/var1.png
index 6de0980..64860a4 100644
Binary files a/experiment/images/var1.png and b/experiment/images/var1.png differ
diff --git a/experiment/images/variable11.png b/experiment/images/variable11.png
index 046bda6..0b54071 100644
Binary files a/experiment/images/variable11.png and b/experiment/images/variable11.png differ
diff --git a/experiment/procedure.md b/experiment/procedure.md
index 3cc27ca..39094dc 100644
--- a/experiment/procedure.md
+++ b/experiment/procedure.md
@@ -1,24 +1,22 @@
 ### Procedure
 
-<div style="text-align:left">
-  Click on the Simulation icon <img src="images/simulation.png" alt="Alt text" style="height:80px; width:80px;">  to view the simulation. 
+1. Click on the Simulation icon <img src="images/simulation.png" alt="Alt text" > to view the simulation.
 
    ![Alt text](images/Screen11.png)
-   
-   In order to view the variable section click on the Variable icon. <img src="images/var1.png" alt="Alt text" style="height:80px; width:80px;">
+
+2. In order to view the variable section click on the Variable icon. <img src="images/var1.png" alt="Alt text" >
 
    ![Alt text](images/variable11.png)
 
-   Click on Play icon <img src="images/play1.png" alt="Alt text" style="height:80px; width:80px;"> to run the simulation and click on Pause icon <img src="images/pause.png" alt="Alt text" style="height:80px; width:80px;"> to stop it.
+3. Click on Play icon <img src="images/play1.png" alt="Alt text" > to run the simulation and click on Pause icon <img src="images/pause.png" alt="Alt text" > to stop it.
 
-   <!-- Click on the Next icon  <img src="images/next2.png" alt="Alt text" style="height:80px; width:80px;"> to go further.  
+   <!-- Click on the Next icon  <img src="images/next2.png" alt="Alt text" > to go further.
 
    ![Alt text](images/screen2.png) -->
 
-   Click on the Next or Prev icon<img src="images/prenex.png" alt="Alt text" style="height:80px; width:80px;"> to cycle through different pages. 
+4. Click on the Next or Prev icon<img src="images/prenex.png" alt="Alt text" > to cycle through different pages.
 
    ![Alt text](images/screen21.png)
-   
-click on the result icon to view the result.<img src="images/result.png" alt="Alt text" style="height:80px; width:80px;"> 
-![Alt text](images/result11.png)
-</div>
\ No newline at end of file
+
+5. click on the result icon to view the result.<img src="images/result.png" alt="Alt text" >
+   ![Alt text](images/result11.png)