Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / WWW / style / jigsaw2.css

diff --git a/JMCR-Stable/mcr-test/WWW/style/jigsaw2.css b/JMCR-Stable/mcr-test/WWW/style/jigsaw2.css
new file mode 100644 (file)
index 0000000..cc6e9d8
--- /dev/null
+++ b/JMCR-Stable/mcr-test/WWW/style/jigsaw2.css
@@ -0,0 +1,187 @@
+/**\r
+ * Jigsaw css for homepage\r
+ * Author: Benoit Mahe (bmahe@w3.org)\r
+ */\r
+\r
+/********** BODY ***********/\r
+\r
+body           { background-color: white;\r
+                 color: black;\r
+                 background-image: url(background.gif);\r
+                 background-repeat: repeat-y;\r
+                 font-family: Helvetica;\r
+                 margin-left: 0;\r
+                 margin-right: 20pt; }\r
+\r
+/********** H1 H2 H3 H4 ***********/\r
+\r
+h1.title       { font-family: Helvetica;\r
+                 margin-left: 50pt;\r
+                 margin-bottom: 20pt;\r
+                 font-size: 24pt;\r
+                 font-weight: bold;\r
+                 color: #666699; }\r
+\r
+h1             { font-family: geneva, arial, monospace;\r
+                 font-size: large; }\r
+\r
+h2             { font-family: Helvetica;\r
+                 font-size: 16pt;\r
+                 font-weight: bold;\r
+                 color: #888888;\r
+                 margin-top: 10pt; }\r
+\r
+h3             { font-family: Helvetica;\r
+                 font-size: medium;\r
+                 margin-top: 20pt; }\r
+\r
+h4             { font-family: Helvetica; }\r
+\r
+/********** DIV ***********/\r
+\r
+DIV.box        { font-family: Helvetica;\r
+                 color: #477979;\r
+                 margin: 2.0%; \r
+                 margin-top: 1.0%;\r
+                 padding: 1.0%; \r
+                 border: thin solid silver; \r
+                 width: 100.0%;\r
+                 background-color: #F0F0E0; }\r
+\r
+DIV.border     { font-family: Helvetica;\r
+                 border: thin solid; \r
+                 padding: 1.0%; \r
+                 margin: 2.0% }\r
+\r
+DIV.body       { margin-left: 125px;\r
+                 margin-right: 20pt;\r
+                 margin-top: 2%;\r
+                 margin-bottom: 2%;\r
+                 text-align: justify;\r
+                 padding: 2%; }\r
+\r
+DIV.icons-w3c    { position: absolute;\r
+                   left: 23px; }\r
+\r
+DIV.icons-jigsaw { position: absolute;\r
+                   left: 155px; }\r
+\r
+DIV.icons-arch   { float:right; \r
+                   position: absolute;\r
+                   margin-top: 0px; }\r
+\r
+DIV.title        { margin-top: 100px;\r
+                   margin-left: 140px; }\r
+\r
+DIV.footer       { position: absolute;\r
+                   left: 140px; }\r
+\r
+DIV.left         { position: absolute;\r
+                   left: 10px;\r
+                   padding : 0; \r
+                   padding-top: 20pt; }\r
+\r
+/********** misc ***********/\r
+\r
+ul             { font-family: Helvetica; }\r
+\r
+adress         { font-family: Helvetica;\r
+                 font-size: 8pt; }\r
+\r
+td             { font-family: Helvetica; }\r
+\r
+DL             { font-family: Helvetica; }\r
+\r
+DD             { font-family: Helvetica; }\r
+\r
+DT             { font-family: Helvetica; }\r
+\r
+PRE            { font-family: Monospace; }\r
+\r
+\r
+/********** A ***********/\r
+\r
+a              { font-family: Helvetica; }\r
+\r
+a.local:link   { font-family: Helvetica;\r
+                 font-size: 10pt;\r
+                 text-decoration: none;\r
+                 color: white; }\r
+\r
+a.local:visited { font-family: Helvetica;\r
+                  font-size: 10pt;\r
+                  text-decoration: none;\r
+                  color: white; }\r
+\r
+a.local:active { font-family: Helvetica;\r
+                 font-size: 10pt;                 \r
+                 text-decoration: none;\r
+                 color: white; }\r
+\r
+/********** SPANS ***********/\r
+\r
+.subtitle      { margin-top: 0pt;\r
+                 font-size: 12pt; }\r
+\r
+.mini          { font-family: Helvetica;\r
+                 font-size: 8pt;\r
+                 color: #888888; }\r
+\r
+.sample        { white-space: pre;\r
+                 font-family: Helvetica;\r
+                 background-color:  #F0F0E0;\r
+                 color: rgb(0, 0, 0);\r
+                 padding: 1%;\r
+                 width: 100%;\r
+                 border-style: solid ;\r
+                 border-width: 1px; }\r
+\r
+.linktitle     { color: #666699;\r
+                 font-size: 10pt;\r
+                 font-family: helvetica;\r
+                 font-weight: bold; }\r
+\r
+.redtitle      { margin-top: 20pt;\r
+                 text-decoration: underline;\r
+                 color: red; \r
+                 font-size: large; }\r
+\r
+.press-citation { font-family: Times;\r
+                  font-style: italic;\r
+                  margin-top: 2pt;\r
+                  text-align: justify; }\r
+\r
+.indent         { margin-left: 20pt;\r
+                  font-family: Helvetica; }\r
+\r
+.jigsaw         { font-weight: bold;\r
+                  font-family: Helvetica; }\r
+\r
+.dt             { font-weight: bold;\r
+                  margin-bottom: 5pt;\r
+                  margin-top: 5pt; }\r
+\r
+\r
+/******** P *********/\r
+\r
+P.space-line   { clear: both; \r
+                 font-size: 0.1em; \r
+                 margin: 0; \r
+                 padding: 0; \r
+                 text-align: left;\r
+                 width: auto; }\r
+p              { font-family: Helvetica;\r
+                 text-align: justify; }\r
+\r
+p.indent       { text-indent: 20pt; }\r
+\r
+p.policyfooter { font-family: Helvetica; }\r
+\r
+p.link         { font-family: Times;\r
+                 text-align: left;\r
+                 line-height: 15pt; }\r
+\r
+p.pintro       { text-indent: 20pt;\r
+                 margin-left: 30pt;\r
+                 margin-right: 30pt;\r
+                 text-align: justify; }\r