Stylesheet for orm

src/doc/orm/src/os_linux/hw_x86/makefile

@@ -47,7 +47,8 @@ all : init copy lib exe
 
 init :
 
-copy : $(export_gif)
+copy : $(export_gif) \
+       $(doc_dir)/orm/orm.css
 
 lib :
 
@@ -61,4 +62,7 @@ realclean : clean $(clean_gif) $(clean_c)
 $(clean_gif) : clean_%.gif : %.gif
 	@ $(rm) $(rmflags) $(doc_dir)/orm/$*.gif
 
+$(doc_dir)/orm/orm.css : ../../orm.css
+	@ echo "copy $(source) $(target)"
+	@ cp $(source) $(target)
 

src/doc/web/src/orm.html

@@ -26,7 +26,15 @@
       <tr><td><a href="orm/pwrs_group_classdefinition_index.html" target="_self">ClassDefinition</a></td></tr>
       </table> 
     </td>
+    <td valign="top">
+      <table id="mainmenu" border="1" cellspacing="0" width="25%">
+      <tr><td><a href="orm/pwrs_group_types_index.html" target="_self"><font size=3>Types</font></a></td></tr>
+      <tr><td><a href="orm/pwrs_group_basictypes_index.html" target="_self">Basic Types</a></td></tr>
+      <tr><td><a href="orm/pwrs_group_derivedtypes_index.html" target="_self">Derived Types</a></td></tr>
+      </table> 
+    </td>
     </table>
+    </tr>
     </table>
     <hr>