Changing name to Caravel

This commit is contained in:
Maxime Beauchemin
2016-03-29 08:41:25 -07:00
parent f4f614d76b
commit 992bc4be22
34 changed files with 404 additions and 73 deletions

View File

@@ -5,7 +5,7 @@
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Search &mdash; dashed documentation</title>
<title>Search &mdash; caravel documentation</title>
<link rel="stylesheet" href="_static/basic.css" type="text/css" />
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
@@ -31,7 +31,7 @@
<script type="text/javascript" src="_static/js/jquery-fix.js"></script>
<script type="text/javascript" src="_static/bootstrap-3.3.4/js/bootstrap.min.js"></script>
<script type="text/javascript" src="_static/bootstrap-sphinx.js"></script>
<link rel="top" title="dashed documentation" href="index.html" />
<link rel="top" title="caravel documentation" href="index.html" />
<script type="text/javascript">
jQuery(function() { Search.loadIndex("searchindex.js"); });
</script>
@@ -57,7 +57,7 @@
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="index.html">
Dashed Documentation</a>
Caravel Documentation</a>
<span class="navbar-text navbar-version pull-left"><b></b></span>
</div>
@@ -70,7 +70,7 @@
id="dLabelGlobalToc"
data-toggle="dropdown"
data-target="#"
href="index.html">Site <b class="caret"></b></a>
href="index.html">Topics <b class="caret"></b></a>
<ul class="dropdown-menu globaltoc"
role="menu"
aria-labelledby="dLabelGlobalToc"><ul>
@@ -93,10 +93,6 @@