-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
24 changed files
with
9,767 additions
and
835 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
_site/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
# To run locally | ||
|
||
0. Have ruby installed | ||
1. gem install bundler | ||
2. bundle install | ||
3. bundle exec jekyll serve --watch | ||
|
||
http://jekyllrb.com/docs/usage/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
source: . | ||
destination: ./_site | ||
plugins: ./_plugins | ||
layouts: ./_layouts | ||
include: ['.htaccess'] | ||
exclude: ['README.md'] | ||
keep_files: ['.git', '.svn'] | ||
timezone: Europe/Brussels | ||
|
||
# github overrides some values as follows | ||
safe: true | ||
lsi: false | ||
pygments: true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,91 @@ | ||
|
||
<!DOCTYPE html> | ||
<html lang="en"> | ||
<head> | ||
<meta charset="utf-8"> | ||
<title>{{ page.title }}</title> | ||
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | ||
<meta name="description" content="mozart oz programming language system"> | ||
<meta name="author" content="Mozart Consortium"> | ||
|
||
|
||
<!-- Le styles --> | ||
<link href="css/bootstrap.css" rel="stylesheet"> | ||
<style type="text/css"> | ||
body { | ||
padding-top: 60px; | ||
padding-bottom: 40px; | ||
} | ||
.sidebar-nav { | ||
padding: 9px 0; | ||
} | ||
|
||
@media (max-width: 980px) { | ||
/* Enable use of floated navbar text */ | ||
.navbar-text.pull-right { | ||
float: none; | ||
padding-left: 5px; | ||
padding-right: 5px; | ||
} | ||
} | ||
</style> | ||
<link href="css/bootstrap-responsive.css" rel="stylesheet"> | ||
|
||
<!-- HTML5 shim, for IE6-8 support of HTML5 elements --> | ||
<!--[if lt IE 9]> | ||
<script src="js/html5shiv.js"></script> | ||
<![endif]--> | ||
|
||
<!-- Fav and touch icons --> | ||
<!-- <link rel="apple-touch-icon-precomposed" sizes="144x144" href="../assets/ico/apple-touch-icon-144-precomposed.png"> | ||
<link rel="apple-touch-icon-precomposed" sizes="114x114" href="../assets/ico/apple-touch-icon-114-precomposed.png"> | ||
<link rel="apple-touch-icon-precomposed" sizes="72x72" href="../assets/ico/apple-touch-icon-72-precomposed.png"> | ||
<link rel="apple-touch-icon-precomposed" href="../assets/ico/apple-touch-icon-57-precomposed.png"> | ||
<link rel="shortcut icon" href="../assets/ico/favicon.png"> --> | ||
</head> | ||
|
||
<body> | ||
|
||
<div class="navbar navbar-inverse navbar-fixed-top"> | ||
<div class="navbar-inner"> | ||
<div class="container-fluid"> | ||
<button type="button" class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> | ||
<span class="icon-bar"></span> | ||
<span class="icon-bar"></span> | ||
<span class="icon-bar"></span> | ||
</button> | ||
<a class="brand" href="#">The Mozart Programming System</a> | ||
<div class="nav-collapse collapse"> | ||
<!-- <p class="navbar-text pull-right"> | ||
Logged in as <a href="#" class="navbar-link">Username</a> | ||
</p> --> | ||
<ul class="nav"> | ||
<li class="active"><a href="#">About</a></li> | ||
<li><a href="#download">Download</a></li> | ||
<li><a href="#documentation">Documentation</a></li> | ||
<li><a href="#contact">Report a bug</a></li> | ||
</ul> | ||
</div><!--/.nav-collapse --> | ||
</div> | ||
</div> | ||
</div> | ||
|
||
<div class="container-fluid"> | ||
|
||
{{ content }} | ||
|
||
</div><!--/.fluid-container--> | ||
|
||
<hr> | ||
|
||
<footer> | ||
<p>© Mozart Consortium 2013</p> | ||
</footer> | ||
|
||
<!-- Le javascript | ||
================================================== --> | ||
<!-- Placed at the end of the document so the pages load faster --> | ||
<script src="http://code.jquery.com/jquery.js"></script> | ||
<script src="js/bootstrap.min.js"></script> | ||
</body> | ||
</html> |
Oops, something went wrong.