Add 'gendoc' tool to generate overall documentation of all OpenLMI subprojects.

1 files changed, 13 insertions, 1 deletions

diff --git a/tools/openlmitheme/static/openlmi.css b/tools/openlmitheme/static/openlmi.css
index a61c777..ace2d3e 100644
--- a/tools/openlmitheme/static/openlmi.css
+++ b/tools/openlmitheme/static/openlmi.css
@@ -1,5 +1,7 @@
 @import url("default.css");
 
+/* Most of this file is taken from openlmi.org CSS */
+
 p.caption {
     font-size: 90%;
     font-style: italic;
@@ -61,6 +63,16 @@ div.sphinxsidebarwrapper {
     word-wrap: break-word; /* don't overflow with large items like LMI_SoftwareInstallationServiceAffectsElement*/
 } 
 
+div.sphinxsidebar {
+    width: 280px; /* make the sidebar a bit wider */
+}
+div.bodywrapper {
+    margin: 0 0 0 280px; /* make the sidebar a bit wider */
+}
+div.sphinxsidebar #searchbox input[type="submit"] {
+    word-wrap: normal; /* don't wrap the search button */
+}
+
 div.sphinxsidebar ul {
    margin: 10px 0px 10px 0px;
-}
\ No newline at end of file
+}