website import

7 files changed, 550 insertions, 0 deletions

diff --git a/website/web/css/buildbox.css b/website/web/css/buildbox.css
new file mode 100644
index 00000000..56c9e67c
--- /dev/null
+++ b/website/web/css/buildbox.css
@@ -0,0 +1,88 @@
+div#banner {
+	background: white url(Insect.png) top left no-repeat;
+}
+
+div#banner h1 {
+	padding-left: 80px;
+	border-bottom: 1px solid #999;
+	min-height: 35px;
+}
+
+table td {
+	border: 1px solid black;
+	padding: 0 1ex;
+	text-align: center;
+}
+
+td.ok, td.ok295, td.success { background: #b5e42e; }
+td.missing, td.failure, td.error { background: #e42237; }
+td.gcc295, td.gcc295-failure, td.failure295 { background: #e4c02e; }
+
+tr.even {
+	background: #eee;
+}
+
+td.buildtime {
+	text-align: right;
+}
+
+th {
+	padding: 0 1ex;
+	vertical-align: top;
+}
+
+td.ok a:link, td.failure a:link {
+	color: black;
+}
+
+a:visited {
+	color: #800;
+}
+
+ul#system {
+	list-style: circle;
+	font-size: 80%;
+}
+
+span.file {
+    display: block;
+}
+
+td.test-description {
+	text-align: left;
+}
+
+tfoot {
+	font-weight: bold;
+}
+
+th[colspan] {
+	border: 1px solid black;
+	border-bottom: 0px;
+}
+
+tr#line2 th {
+	font-size: 90%;
+}
+
+pre {
+	white-space: -moz-pre-wrap;
+}
+
+pre span.stdin {
+	font-weight: bold;
+}
+
+pre span.warning {
+	color: #a00;
+}
+
+pre span.error {
+	color: #f00;
+	font-weight: bold;
+}
+
+td.test-description {
+	width: 50em;
+}
+
diff --git a/website/web/css/lasso.css b/website/web/css/lasso.css
new file mode 100644
index 00000000..0345676a
--- /dev/null
+++ b/website/web/css/lasso.css
@@ -0,0 +1,186 @@
+html, body {
+	font-family: sans-serif;
+	margin: 0;
+}
+
+div.note, div.warning {
+	padding: 0.3ex;
+	padding-left: 60px;
+	min-height: 50px;
+	margin: 1ex 1em;
+}
+
+div.note {
+	background: #ffd url(note.png) top left no-repeat;
+}
+
+div.warning {
+	background: #ffd url(warning.png) top left no-repeat;
+}
+
+div#head h1 {
+	text-indent: -9000px;
+	background: url(lasso.png);
+	width: 233px;
+	height: 66px;
+	margin: 0;
+}
+
+div#sidebar ul {
+	padding: 0;
+	margin: 0;
+	float: left;
+	width: 100%;
+	background: #b5e42e;
+	border: 1px solid black;
+	border-width: 1px 0px;
+	list-style: none;
+}
+
+div#sidebar ul li {
+	display: inline;
+}
+
+div#sidebar ul li a {
+	padding: 0.1em 1em;
+	float: left;
+	border-right: 1px solid black;
+	text-decoration: none;
+	color: black;
+	font-weight: bold;
+}
+
+div#sidebar ul li#current a {
+	background: #e42237;
+}
+
+div#sidebar ul li a:hover {
+	background: #e42237;
+	color: white;
+}
+
+div#sidebar {
+	margin-bottom: 1em;
+}
+
+div#content {
+	clear: both;
+	margin: 1em;
+	margin-top: 2em;
+}
+
+div#footer {
+	background: #b5e42e;
+	border: 1px solid black;
+	border-width: 1px 0px;
+	margin: 1em 0;
+	text-align: center;
+	font-size: 80%;
+}
+
+pre {
+	background: #eee;
+	border: 1px inset black;
+	padding: 2px;
+}
+
+/*
+table#matrix td {
+	border: 1px solid black;
+	padding: 0 1ex;
+}
+*/
+
+tr.even {
+	background: #eee;
+}
+
+
+table.matrix td, table.matrix th {
+	border: 1px solid #444;
+}
+
+table.matrix thead th {
+	background: #b5e42e;
+	font-style: italic;
+	padding: 0 2ex;
+}
+
+table.matrix {
+	caption-side: bottom;
+}
+
+table.matrix caption {
+	font-size: 90%;
+}
+
+table.matrix th {
+	padding: 0 1.5ex;
+}
+
+table.matrix td {
+	padding: 0 0.3ex;
+	text-align: center;
+}
+
+table.matrix td.prof {
+	text-align: left;
+	padding: 0 0.5ex;
+}
+
+table.benchs tr.labels td {
+        text-align: center;
+}
+
+table.benchs tr>th:first-child { padding-right: 2em; }
+
+table.benchs td { padding: 0 0.7em;  text-align: right; }
+
+table.benchs thead, table.benchs th {
+	background: #eee;
+}
+
+ol.test-machines > li {
+	margin-bottom: 1em;
+	border-left: 1px solid #888;
+}
+
+p.details-configuration {
+	margin-top: 3em;
+}
+
+div#news {
+	float: right;
+	margin: 1em 3em;
+	border: 1px solid #333;
+	padding: 2px;
+	width: 20em;
+}
+
+div#news p {
+	margin: 0.2em;
+	font-size: 90%;
+}
+
+div#news div {
+	margin-bottom: 0.5em;
+}
+
+div#news h2 {
+	margin: 0;
+	font-size: 110%;
+	background: #b5e42e;
+	padding: 0px 3px;
+	border: 1px solid black;
+	text-align: center;
+}
+
+div#news h2 a {
+	color: inherit;
+}
+
+div#content {
+	margin-top: 3em;
+	clear: none;
+}
+
diff --git a/website/web/css/lasso.png b/website/web/css/lasso.png
new file mode 100644
index 00000000..8ffc7223
--- /dev/null
+++ b/website/web/css/lasso.png
diff --git a/website/web/css/leaf-style.css b/website/web/css/leaf-style.css
new file mode 100644
index 00000000..0351fd23
--- /dev/null
+++ b/website/web/css/leaf-style.css
@@ -0,0 +1,276 @@
+/* adapted from Localize template published on oswd */
+
+body {
+	margin: 0;
+	padding: 0;
+	font-family: sans-serif;
+	color: #666;
+	text-align: center;
+	background-color: #ddd;
+}
+
+p {
+	margin: 0.2em 0 1.2em 0;
+	padding: 0.3em;
+}
+
+h1 {
+	padding: 0;
+	margin: 0;
+	font-size: 180%;
+	font-weight: normal;
+	font-style: italic; 
+	color: #8CD749;
+}
+
+h2, h3 {
+	background: #d0d0d0;
+	color: #3B4471;
+	font-size: 100%;
+	font-weight: normal;
+	margin: 0.2em;
+	padding: 0; 
+	font-style: italic;
+}
+
+h3 {
+	background: #dddddd;
+}
+
+a:link, a:visited {
+	color: #8CD749;
+	text-decoration: underline;
+}
+
+a:hover {
+	color: #3B4471;
+	text-decoration: none;
+}
+
+a:active {
+	color: #8CD749;
+	text-decoration: underline;
+}
+
+
+div#page {
+	background: white;
+	margin: 0 auto;
+	width: 70%;
+}
+
+div#header {
+	padding: 1em 2em;
+	text-align: right;
+	background: white url(my-leaf.jpeg) no-repeat left center;
+}
+
+#header span {
+	display: block;
+	color: #3B4471;
+	font-size: 80%;
+}
+
+
+div#navbar ul {
+	font-size: 80%;
+	list-style-type: none;
+	float: left;
+	display: block;
+	width: 100%;
+	line-height: 1.5em; 
+	clear: both;
+	margin: 0;
+	padding: 0;
+	background-color: #999999;
+}
+
+div#navbar ul li {
+	display: inline;
+}
+
+div#navbar a {
+	display: block;
+	float: left;
+	width: 24.5%;
+	padding: 1.2em 0 1em 0;
+	margin: 0; 
+	text-decoration: none;
+}
+
+div#navbar a:link, div#navbar a:visited, div#navbar a:active {
+	background: #999;
+	color: white;
+	border-bottom: 3px solid transparent;
+}
+
+div#navbar a:hover, div#navbar a.here {
+	background: #8CD749;
+}
+
+div#navbar a.here {
+	border-bottom: 3px solid #489302;
+}
+
+div#quicklinks {
+	float: right;
+	clear: both;
+	width: 13em;
+	margin-top: 1em;
+	padding: 0;
+	font-size: 90%;
+	text-align: center;
+}
+
+div#morelinks,
+div#news,
+div#download,
+div#documentation,
+div#contact {
+	background: white;
+	margin: 0.5em;
+	padding: 0.3em;
+	border: 1px solid #999999;
+}
+
+#quicklinks h2, #quicklinks h3 {
+	text-align: left;
+	padding-left: 1.5em;
+}
+
+#quicklinks ul {
+	margin: 0;
+	padding: 0;
+	list-style: none;
+}
+
+#content {
+	clear: left;
+	text-align: left;
+	margin: 1.2em 1em 0 0;
+	padding: 1em 1ex 1em 1.5ex;
+}
+
+#content.large {
+	margin-right: 1.2em;
+}
+
+#content h2, #content h3 {
+	text-indent: 2em;
+}
+
+#copyright {
+	color: #999;
+	font-size: 80%;
+	margin: 2.5em 0.2em 0.5em 0.5em;
+	padding: 0.8em; 
+	border-top: 1px solid #999;
+	text-align: left;
+	clear: both;
+}
+
+
+div#news a {
+    display: block;
+}
+
+div#news p.changes {
+	font-size: 80%;
+}
+
+
+table.matrix td, table.matrix th {
+	border: 1px solid #444;
+}
+
+table.matrix thead th {
+	background: #8CD749;
+	font-style: italic;
+	padding: 0 2ex;
+}
+
+table.matrix {
+	caption-side: bottom;
+}
+
+table.matrix caption {
+	font-size: 90%;
+}
+
+table.matrix th {
+	padding: 0 1.5ex;
+}
+
+table.matrix td {
+	padding: 0 0.3ex;
+	text-align: center;
+}
+
+table.matrix td.prof {
+	text-align: left;
+	padding: 0 0.5ex;
+}
+
+table.benchs tr.labels td {
+        text-align: center;
+}
+
+table.benchs tr>th:first-child { padding-right: 2em; }
+
+table.benchs td { padding: 0 0.7em;  text-align: right; }
+
+table.benchs thead, table.benchs th {
+	background: #eee;
+}
+
+ol.test-machines > li {
+	margin-bottom: 1em;
+	border-left: 1px solid #888;
+}
+
+p.details-configuration {
+	margin-top: 3em;
+}
+
+pre {
+	background: #eee;
+	border: 1px inset black;
+	padding: 2px;
+	overflow: auto;
+}
+
+div#page.buildbox {
+	width: 90%;
+}
+
+div#page.buildbox div#content {
+	margin: 1.2em 0.2em 0 0;
+}
+
+div#page.buildbox div#content h1 {
+	margin-bottom: 1em;
+}
+
+div#page.buildbox table {
+	font-size: 90%;
+}
+
+div#page.buildbox div#quicklinks {
+	display: none;
+}
+
+p.warning {
+	color: black;
+	font-weight: bold;
+	background: white url(warning.png) 2px 2px no-repeat;
+	padding-left: 55px;
+	min-height: 48px;
+	margin: 2em 0;
+	border: 1px solid #800;
+}
+
+ul.errornotes {
+	font-size: 90%;
+	margin-left: 2em;
+}
+
diff --git a/website/web/css/my-leaf.jpeg b/website/web/css/my-leaf.jpeg
new file mode 100644
index 00000000..4b3fa081
--- /dev/null
+++ b/website/web/css/my-leaf.jpeg
diff --git a/website/web/css/note.png b/website/web/css/note.png
new file mode 100644
index 00000000..df1e0a92
--- /dev/null
+++ b/website/web/css/note.png
diff --git a/website/web/css/warning.png b/website/web/css/warning.png
new file mode 100644
index 00000000..3c8a37df
--- /dev/null
+++ b/website/web/css/warning.png