Initial commit

7bf90289 · Thomas Wood · 7bf90289 · 7bf90289 · 7bf90289 · 7bf90289
Commit 7bf90289 authored 9 years ago by Thomas Wood
--- a/ci/.htaccess
+++ b/ci/.htaccess
+BrowserMatch ^GitHub-Hookshot github_bot
+Order deny,allow
+Deny from all
+Allow from 146.169
+Allow from 146.179
+Allow from 155.198
+Allow from 131.254
+Allow from env=github_bot
+RewriteEngine On
+RewriteBase /ci/
+# Append missing directory slashes for top-level paths
+RewriteRule ^([^/]+)$ $1/ [R,L]
+# Force to HTTPS
+RewriteCond %{HTTPS} =off
+RewriteRule ^(.*)$ https://www-rw.doc.ic.ac.uk/ci/$1 [R=301,L]
+# Proxy through to the internal server
+RewriteRule ^(.*)$ https://146.169.46.217/ci/$1 [P]
--- a/favicon.ico
+++ b/favicon.ico
--- a/images/wrs.png
+++ b/images/wrs.png
--- a/index.html
+++ b/index.html
+<?xml version="1.0" encoding="utf-8" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+	<head>
+		<title>Reliable Web</title>
+		<link type="text/css" href="styles.css" rel="stylesheet" />
+		<link rel="shortcut icon" href="favicon.ico" />
+	</head>
+	<body>
+		<div id="main">
+			<div>
+				<a href="http://www.imperial.ac.uk/" id="logo"><img src="http://www3.imperial.ac.uk/2007templates/images/logo_imperial_college_london.png" alt="Imperial College London"/></a>
+				<a href="index.html">
+					<img id="header" src="images/wrs.png" alt="Local Resource Reasoning"/>
+				</a>
+				<div>
+				<!--<ul id="nav">
+					<li class="navi">[<a href="index.html" class="navbutton">Home</a>]</li>
+					<li class="navi">[<a href="news.html" class="navbutton">News</a>]</li>
+					<li class="navi">[<a href="people.html" class="navbutton">People</a>]</li>
+					<li class="navi">[<a href="papers.html" class="navbutton">Papers</a>]</li>
+				</ul>-->
+				</div>
+			</div>
+			<div id="content">
+				<p>
+					The world-wide web is a nearly-ubiquitous and continuously-growing application platform.
+					As users increasingly come to depend on web applications, it is more important than ever to be able to make guarantees about these programs.
+					Yet these applications are built on a melange of technologies that have evolved in response to the demands of developers and users, which present a daunting task for formal analysis.
+				</p>
+				<p>
+					The purpose of the Reliable Web group is to develop formal techniques for making guarantees about web applications.
+					Particular successes include formalising the semantics of JavaScript, the dynamic language that underpins client-side web applications, and developing local reasoning about the W3C Document Object Model, the data model that web applications use to represent and manipulate web documents.
+				</p>
+				<h1>People</h1>
+				<p>The Reliable Web group is made up of the following people.</p>
+				<div id="people">
+					<ul id="ppl">
+						<li><a href="http://www.doc.ic.ac.uk/%7Epg">Philippa Gardner</a></li>
+						<li><a href="http://www.doc.ic.ac.uk/%7Emaffeis">Sergio Maffeis</a></li>
+						<li><a href="http://www.doc.ic.ac.uk/%7Egds">Gareth Smith</a></li>
+						<li><a href="http://www.doc.ic.ac.uk/%7Emjw03">Mark Wheelhouse</a></li>
+						<li><a href="http://www.doc.ic.ac.uk/%7Eadw07">Adam Wright</a></li>
+					</ul>
+				</div>
+			</div>
+		</div>
+	</body>
+</html>
--- a/styles.css
+++ b/styles.css
+img {
+	border-style : none
+}
+body {
+	background-color : #D0D0F5 ;
+	font-family : "Verdana", "Franklin Gothic Book", "Trebuchet MS", "Helvetica", "Arial", sans-serif;
+	font-size : medium;
+}
+a:link {color:#00015F;}      /* unvisited link */
+a:visited {color:#1416CC;}  /* visited link */
+a:hover {color:#CC2991;}  /* mouse over link */
+a:active {color:#8C3B1C;}  /* selected link */
+td, th {
+	padding:0.5em
+}
+h1 {color:#00015F;}
+#main {
+	width : 800px;
+	min-height : 600px;
+	background-color : #FFFFFF;
+	margin-left : auto;
+	margin-right : auto;
+}
+#nav {
+	list-style-type:none;
+	margin-top : 0.1em;
+}
+.navbutton {
+	width : 6em;
+	padding: 0.5em;
+	border-color : #D0E0E5;
+}
+.navi {
+	display : inline;
+	color : #D0D0F5
+}
+#content {
+	padding-left : 1em;
+	padding-right : 1em;
+	padding-bottom : 2em;
+}
+#logo {
+	display: block;
+	margin: 1.4em 0em 0em 1.7em;
+	width: 16.8em;	 
+	height: 4.4em;
+	float: left
+}
+#header {
+	margin-left:3em;
+	margin-right:200px;
+}