diff --git a/README.md b/README.md
index 114b9ceb17a7f003e652023160389f84b91b49ea..82b12e8f785be57813347f901bb6358dbeea7abd 100644
--- a/README.md
+++ b/README.md
@@ -49,8 +49,8 @@ By default, the development server will run on http://localhost:8080. You can op
 Our proof assistant incorporates predefined inference rules of classical logic in Sequent Natural Deduction. 
 
 The following rules were included in our proof assistant:
-<img src="./src/assets/rules1.jpg" alt="rules1" title="rules1" width="300"/>
-<img src="./src/assets/rules2.jpg" alt="rules2" title="rules2" width="300"/>
+<img src="./src/assets/rules1.jpg" alt="rules1" title="rules1" width="900"/>
+<img src="./src/assets/rules2.jpg" alt="rules2" title="rules2" width="900"/>
 
 ## Flowchart
 **Step 1:** Type a sequent you want to prove in the input line, and click submit.