Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / WWW / Doc / Programmer / api / stylesheet.css

diff --git a/JMCR-Stable/mcr-test/WWW/Doc/Programmer/api/stylesheet.css b/JMCR-Stable/mcr-test/WWW/Doc/Programmer/api/stylesheet.css
new file mode 100644 (file)
index 0000000..14c3737
--- /dev/null
+++ b/JMCR-Stable/mcr-test/WWW/Doc/Programmer/api/stylesheet.css
@@ -0,0 +1,29 @@
+/* Javadoc style sheet */\r
+\r
+/* Define colors, fonts and other style attributes here to override the defaults */\r
+\r
+/* Page background color */\r
+body { background-color: #FFFFFF }\r
+\r
+/* Headings */\r
+h1 { font-size: 145% }\r
+\r
+/* Table colors */\r
+.TableHeadingColor     { background: #CCCCFF } /* Dark mauve */\r
+.TableSubHeadingColor  { background: #EEEEFF } /* Light mauve */\r
+.TableRowColor         { background: #FFFFFF } /* White */\r
+\r
+/* Font used in left-hand frame lists */\r
+.FrameTitleFont   { font-size: 100%; font-family: Helvetica, Arial, sans-serif }\r
+.FrameHeadingFont { font-size:  90%; font-family: Helvetica, Arial, sans-serif }\r
+.FrameItemFont    { font-size:  90%; font-family: Helvetica, Arial, sans-serif }\r
+\r
+/* Navigation bar fonts and colors */\r
+.NavBarCell1    { background-color:#EEEEFF;} /* Light mauve */\r
+.NavBarCell1Rev { background-color:#00008B;} /* Dark Blue */\r
+.NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}\r
+.NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}\r
+\r
+.NavBarCell2    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}\r
+.NavBarCell3    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}\r
+\r