Update Arrow TR link, add Phil's stylesheet locally

SimonJF · SimonJF · commit 84b2090bef6c · 2016-06-20T20:04:28.000+01:00
diff --git a/arrows/index.html b/arrows/index.html
@@ -17,14 +17,14 @@ <h3>Abstract</h3>
 
 <p>
 <h3>Paper</h3>
-<a href="/links/papers/arrow-calculus-jfp.pdf">The Arrow Calculus</a>.
+<a href="papers/arrow-calculus-jfp.pdf">The Arrow Calculus</a>.
 Sam Lindley, Philip Wadler, and Jeremy Yallop.
  Journal of Functional Programming, January 2010.
 </p>
 
 <p>
 <h3>Tech report</h3>
-<a href="/links/papers/arrow-calculus-tr2008.pdf">The Arrow Calculus</a>,
+<a href="papers/arrow-calculus-tr2008.pdf">The Arrow Calculus</a>,
 Sam Lindley, Philip Wadler, and Jeremy Yallop.
 Tech report, 2008.
 </p>
diff --git a/index.html b/index.html
@@ -3,7 +3,7 @@
   <head>
     <title>Links</title>
     <meta name="keywords" content="Philip Wadler, Phil Wadler, Links, XML, web programming languages, functional programming languages">
-    <link rel="stylesheet" type="text/css" href="http://homepages.inf.ed.ac.uk/wadler/style.css" />
+    <link rel="stylesheet" type="text/css" href="style.css" />
     <link rel="stylesheet" type="text/css" href="links.css"/>
   </head>
   <body>
diff --git a/style.css b/style.css
@@ -0,0 +1,26 @@
+body{padding:0px;background:#ffffff;color:#000000;font-family:"Trebuchet MS",Trebuchet,Verdana,Sans-Serif;}
+a{color:#DE7008;}
+a:hover{color:#E0AD12;}
+#logo{padding:0px;margin:0px;}
+div#mainClm{float:right;width:66%;padding:30px 7% 10px 3%;border-left:dotted 1px #E0AD12;}
+div#sideBar{margin:20px 0px 0px 1em;padding:0px;text-align:left;}
+#header{padding:0px 0px 0px 0px;margin:0px 0px 0px 0px;border-top:1px solid #eeeeee;border-bottom:dotted 1px #E0AD12;background:#F5E39E;color:white;}
+h1,h2,h3,h4,h5,h6{padding:0px;margin:0px;}
+h1 a:link {text-decoration:none;color:#F5DEB3}
+h1 a:visited {text-decoration:none;color:#F5DEB3}
+h1{padding:25px 0px 10px 5%;border-top:double 3px #BF5C00;border-bottom:solid 1px #E89E47;color:#F5DEB3;background:#DE7008;font:bold 300% Verdana,Sans-Serif;letter-spacing:-2px;}
+h2{color:#9E5205;font-weight:bold;font-family:Verdana,Sans-Serif;letter-spacing:-1px;}
+h3{margin:10px 0px 0px 0px;color:#777777;font-size:105%;}
+h4{color:#aa0033;}
+h6{color:#B8A80D;font-size:140%;}
+b.orange{color:#DE7008;}
+a.note {text-decoration:none;}
+a.note span {text-decoration:none;display:block;color:#FFFFFF;font-size:small;}
+a.note:hover span {text-decoration:none;display:block;color:#FFFFFF;font-size:small;color:#DE7008;}
+blockquote {
+  padding: 0 0 0 35px;
+  background: #fff url('http://homepages.inf.ed.ac.uk/wadler/blockquote.gif') 0 0 no-repeat;
+}
+
+/* a span#note {display:none;} */
+/* a:hover span#note {display:block;font-size:small;} */
