adjust updater styles

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 4e2a1c8..e6df9fd 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -1515,4 +1515,7 @@ div#alternatives_shortcuts {
         padding-left: .2em;
         padding-right: .2em;
 }
+#filesDiv{
+width:95%;
 
+}