From 5438c20bc958210c62d8cda3c2c2c072e9995c3b Mon Sep 17 00:00:00 2001
From: Miguel Oliveira <miguel.oliveira4224@gmail.com>
Date: Tue, 13 Dec 2022 18:53:53 -0300
Subject: [PATCH] Change documentation styles

---
 web/styles.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/web/styles.css b/web/styles.css
index 2851458..c288d46 100644
--- a/web/styles.css
+++ b/web/styles.css
@@ -1,5 +1,9 @@
 /* Some misc styles */
 
+#main {
+    max-width: 71ch;
+}
+
 .big-image {
     display: block;
     margin: 0 auto;
@@ -14,7 +18,7 @@ table.pretty-table {
 
 table.pretty-table td, table.pretty-table th {
     border: 1px solid #cccccc;
-    padding: 2px 4px;
+    padding: 5px;
 }
 
 table.pretty-table th {