added style sheet for fonts

recipe_system/doc/rs_ProgManual/_static/fonts.css

@@ -0,0 +1,27 @@
+.red {
+  color: red;
+}
+
+.blue {
+  color: blue;
+}
+
+.green {
+  color: green;
+}
+
+.yellow {
+  color: yellow;
+}
+
+.gray {
+  color: gray;
+}
+
+.small {
+  font-size: 80%;
+}
+
+.big {
+  font-size: 120%;
+}

recipe_system/doc/rs_ProgManual/_static/rtd_theme_overrides.css

@@ -0,0 +1,20 @@
+/* override RTD table width restrictions */
+
+@media screen and (min-width: 767px) {
+
+  .wy-table-responsive table td, .wy-table-responsive table th {
+      /* !important prevents the common CSS stylesheets from 
+         overriding this as on RTD the are loaded after this stylesheet */
+      white-space: normal !important;
+  } 
+
+  .wy-table-responsive {
+      /* margin-bottom: 24px; */ 
+      /* max-width: 100%; */
+      overflow: visible !important;
+  }
+
+  .wy-nav-content {
+      max-width: 1200px !important;
+  }
+}

recipe_system/doc/rs_ProgManual/conf.py

@@ -403,7 +403,9 @@ def setup(app):
 
     # Adding style in order to have the todos show up in a red box.
     app.add_stylesheet('todo-styles.css')
+    app.add_stylesheet('rtd_theme_overrides.css')
     app.add_stylesheet('css/custom_code.css')
+    app.add_stylesheet('fonts.css')
 
     # Automatic API generation
     app.connect('builder-inited', run_api_doc)