fix bootstrap links in generated references

akkartik · akkartik · commit 6497006bd923 · 2013-10-12T22:08:23.000-07:00
diff --git a/_ref/docs/hdr2.html b/_ref/docs/hdr2.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: %%TITLE%%</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/_ref/docs/index.html b/_ref/docs/index.html
@@ -3,8 +3,8 @@
   <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
   <title>Arc: Table of Contents</title>
   <link rel="stylesheet" type="text/css" href="code.css">
-  <link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-  <link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+  <link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+  <link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/anaphoric.html b/ref/anaphoric.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Anaphoric operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/app.html b/ref/app.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: App server</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/assignment.html b/ref/assignment.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Assignment</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/assoc.html b/ref/assoc.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Association lists</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/atomic.html b/ref/atomic.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Atomic operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/combining.html b/ref/combining.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Boolean operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/conditionals.html b/ref/conditionals.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Conditionals</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/error.html b/ref/error.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Error handling and continuations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/evaluation.html b/ref/evaluation.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Evaluation</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/filesystem.html b/ref/filesystem.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: File system operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/fnindex.html b/ref/fnindex.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Index of Arc functions</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/foundation-doc.html b/ref/foundation-doc.html
diff --git a/ref/hdr2.html b/ref/hdr2.html
@@ -1,10 +1,10 @@
 <html dir="ltr">
 <head>
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
-<title>%%TITLE%%</title>
+<title>Arc: %%TITLE%%</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/html.html b/ref/html.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: HTML operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/index.html b/ref/index.html
@@ -3,8 +3,8 @@
   <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
   <title>Arc: Table of Contents</title>
   <link rel="stylesheet" type="text/css" href="code.css">
-  <link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-  <link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+  <link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+  <link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/io.html b/ref/io.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: I/O</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/iteration.html b/ref/iteration.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Iteration</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/list.html b/ref/list.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: List manipulation</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/macro.html b/ref/macro.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Macros</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/math.html b/ref/math.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Math operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/networking.html b/ref/networking.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Networking</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/os.html b/ref/os.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Other OS Operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/predicates.html b/ref/predicates.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Predicates</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/queue.html b/ref/queue.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Queue operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/setforms.html b/ref/setforms.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Internals of places and setforms</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/srv.html b/ref/srv.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Web server</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/string.html b/ref/string.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: String operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/table.html b/ref/table.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Table operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/template.html b/ref/template.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Template operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/threading.html b/ref/threading.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Threading</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/time.html b/ref/time.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Time</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/tree.html b/ref/tree.html
@@ -3,8 +3,8 @@
 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 <title>Arc: Tree operations</title>
 <link rel="stylesheet" type="text/css" href="code.css">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap.css" rel="stylesheet">
-<link href="http://twitter.github.io/bootstrap/assets/css/bootstrap-responsive.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap.css" rel="stylesheet">
+<link href="/assets/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
 </head>
 <body style='margin:12px 50px 0'>
   <div class="navbar navbar-inverse">
diff --git a/ref/type.html b/ref/type.html
diff --git a/ref/variables.html b/ref/variables.html
