Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Moving forward #11

Merged
merged 9 commits into from
Oct 8, 2013
Merged

Moving forward #11

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2a7137b
css: moved to an individual folder for tidiness
adrientetar Oct 6, 2013
4b44d53
logo: add an improved version
adrientetar Oct 6, 2013
7eb0f58
Website redesign & cleanup, Bootstrap update
adrientetar Oct 6, 2013
1822d05
Losslessly compress all other logos
adrientetar Oct 6, 2013
1c58866
Proper font sizes and indent
adrientetar Oct 6, 2013
9bda6bc
Use 32x32 favicon
adrientetar Oct 6, 2013
eea0dbf
CSS: minor cleanups
adrientetar Oct 7, 2013
4cc2b25
CSS: add uncompressed Bootstrap CSS as a reference
adrientetar Oct 8, 2013
e2be847
Make it responsive (WIP)
adrientetar Oct 8, 2013
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
330 changes: 0 additions & 330 deletions bootstrap.min.css
View file
Open in desktop

This file was deleted.

1,866 changes: 1,866 additions & 0 deletions css/bootstrap.css
View file
Open in desktop

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions css/bootstrap.min.css
View file
Open in desktop

Large diffs are not rendered by default.

0 codemirror.css → css/codemirror.css
View file
Open in desktop
File renamed without changes.
65 changes: 65 additions & 0 deletions css/style.css
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
body {
margin: 0 auto;
margin-top: 30px;
padding: 0;
/*
* TODO: change this to max-width and work out
* a responsive design, Bootstrap 3 is there already!
*/
width: 820px;
}
h1 small {
color: #777;
}
p {
margin: 20px 0;
}

.col-md-2 {
/*
* TODO: use min-width: 992px media query or
* cleanup this when switching to resp. design.
*/
width: 20%;
}
.col-md-2 {
padding: 0px;
}

.col-md-3 h2 {
font-weight: bold;
font-size: 1.1em;
line-height: 24px;
margin-right: 10px;
text-align: right;
}
.table-features {
width: 100%;
margin-bottom: 18px;
border: 1px solid #ddd;
border-radius: 4px;
border-collapse: inherit;
}
.table-features td {
padding: 6px 12px;
border: none;
}

ul.menu {
font-size: 1em;
margin: 0;
padding: 0;
}
ul.menu li {
list-style-type: none;
}
ul.menu h2 {
font-size: 1.1em;
font-weight: bold;
margin: 0;
}
ul.menu li>ul {
margin-top: .5em;
padding-left: 0em;
line-height: 1.5em;
}
Binary file modified favicon.ico
View file
Open in desktop
Binary file not shown.
254 changes: 112 additions & 142 deletions index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,133 +1,111 @@
<!DOCTYPE html>

<html>

<head>
<meta charset='utf-8'>

<title>The Rust Programming Language</title>

<link rel="stylesheet" href="bootstrap.min.css">
<link rel="stylesheet" href="codemirror.css">
<link rel="stylesheet" href="style.css">
<link rel="shortcut icon" href="favicon.ico" />
</head>


<body>

<!-- GitHub banner -->
<!--<a href="https://github.com/mozilla/rust"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_red_aa0000.png" alt="Fork me on GitHub"></a>-->

<div class="container">
<div class="row">

<!-- Sidebar -->
<div class="span2 logo">
<img id="logo" src="logos/rust-logo-128x128-blk.png" alt="rust logo"/>
</div>
<div id="nav" class="span11">
<ul class="unstyled menu top">
<li class="menu-header"><span class="header-text">Getting Started</span>
<ul>
<li>
<ul class="docs">
<li><a href="http://doc.rust-lang.org/doc/0.8/tutorial.html">Tutorial</a> (0.8)</li>
<li><a href="http://doc.rust-lang.org/doc/0.8/rust.html">Manual</a> (0.8)</li>
<li><a href="http://doc.rust-lang.org/doc/master/tutorial.html">Tutorial</a> (master)</li>
<li><a href="http://doc.rust-lang.org/doc/master/rust.html">Manual</a> (master)</li>
</ul>
</li>
</ul>
</li>
<li class="menu-header"><span class="header-text">Documentation</span>
<ul>
<li>
<ul class="docs">
<li><a href="http://doc.rust-lang.org/doc/0.8/std/index.html">std</a> |
<a href="http://doc.rust-lang.org/doc/0.8/extra/index.html">extra</a> (0.8)</li>
</ul>
</li>
<li>
<ul class="docs">
<li><a href="http://doc.rust-lang.org/doc/master/std/index.html">std</a> |
<a href="http://doc.rust-lang.org/doc/master/extra/index.html">extra</a> (master)</li>
</ul>
</li>
<li><a href="http://github.com/mozilla/rust/wiki/Docs">Other docs</a></li>
</ul>
</li>
<li class="menu-header"><span class="header-text">Downloads</span>
<ul>
<li>0.8 - September 26 2013</li>
<li>
<a href="http://static.rust-lang.org/dist/rust-0.8.tar.gz">.tar.gz</a> |
<a href="http://static.rust-lang.org/dist/rust-0.8-install.exe">.exe</a>
</li>
<li><a href="https://github.com/mozilla/rust/blob/0.8/RELEASES.txt">Release notes</a></li>
<li><a href="https://github.com/mozilla/rust/wiki/Doc-releases">Previous releases</a></li>
</ul>
</li>
<li class="menu-header"><span class="header-text">Community</span>
<ul>
<li><a href="http://github.com/mozilla/rust">GitHub</a></li>
<li><a href="https://mail.mozilla.org/listinfo/rust-dev">rust-dev</a> mailing list</li>
<li><a href="https://mail.mozilla.org/listinfo/rust-commits">rust-commits</a> mailing list</li>
<li><a href="http://chat.mibbit.com/?server=irc.mozilla.org&amp;channel=%23rust">#rust on irc.mozilla.org</a></li>
<li><a href="http://twitter.com/rustlang">Twitter</a></li>
</ul>
</li>
</ul>
</div> <!-- #nav -->

<!-- Main content -->
<div id="main" class="span13">

<h1>Rust <small>a safe, concurrent, practical language</small></h1>

<p>
Rust is a curly-brace, block-structured expression
language. It visually resembles the C language family, but
differs significantly in syntactic and semantic details. Its
design is oriented toward concerns of “programming in the
large”, that is, of creating and
maintaining <em>boundaries</em> – both abstract and
operational – that preserve large-system
<em>integrity</em>, <em>availability</em>
and <em>concurrency</em>.
</p>

<p>
It supports a mixture of imperative procedural, concurrent
actor, object-oriented and pure functional styles. Rust also
supports generic programming and metaprogramming, in both
static and dynamic styles.
</p>


<div class="row">
<div class="span3"><h2>A short summary of features</h2></div>

<div class="span10">
<table id="features">
<tr><td>Type system</td><td>static, nominal, linear, algebraic, locally inferred</td></tr>
<tr><td>Memory safety</td><td>no null or dangling pointers, no buffer overflows</td></tr>
<tr><td>Concurrency</td><td>lightweight tasks with message passing, no shared memory</td></tr>
<tr><td>Generics</td><td>type parameterization with type classes</td></tr>
<tr><td>Exception handling</td><td>unrecoverable unwinding with task isolation</td></tr>
<tr><td>Memory model</td><td>optional task-local GC, safe pointer types with region analysis</td></tr>
<tr><td>Compilation model</td><td>ahead-of-time, C/C++ compatible</td></tr>
<tr><td>License</td><td>dual MIT / Apache 2</td></tr>
</table>
</div> <!-- .span10 -->
</div> <!-- .row -->


<div class="row">
<div class="span3"><h2>A very small taste of what it looks like</h2></div>

<div class="span10">

<html lang="en">
<head>
<meta charset="utf-8">
<title>The Rust Programming Language</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="keywords" content="Rust, Rust programming language, rustlang, Mozilla Rust">

<link rel="stylesheet" href="css/bootstrap.min.css">
<link rel="stylesheet" href="css/codemirror.css">
<link rel="stylesheet" href="css/style.css">
</head>

<body class="container">
<ul class="row menu">
<li class="col-xs-2 col-md-2">
<img class="img-responsive" src="logos/rust-logo-128x128-blk-v2.png" height="128" width="128" alt="Rust logo" />
</li>
<li class="col-xs-2 col-md-2"><h2>Getting Started</h2>
<ul>
<li><a href="http://doc.rust-lang.org/doc/0.8/tutorial.html">Tutorial</a> (0.8)</li>
<li><a href="http://doc.rust-lang.org/doc/0.8/rust.html">Manual</a> (0.8)</li>
<li><a href="http://doc.rust-lang.org/doc/master/tutorial.html">Tutorial</a> (master)</li>
<li><a href="http://doc.rust-lang.org/doc/master/rust.html">Manual</a> (master)</li>
</ul>
</li>
<li class="col-xs-2 col-md-2"><h2>Documentation</h2>
<ul>
<li>
<a href="http://doc.rust-lang.org/doc/0.8/std/index.html">std</a> |
<a href="http://doc.rust-lang.org/doc/0.8/extra/index.html">extra</a> (0.8)
</li>
<li>
<a href="http://doc.rust-lang.org/doc/master/std/index.html">std</a> |
<a href="http://doc.rust-lang.org/doc/master/extra/index.html">extra</a> (master)
</li>
<li>
<a href="http://github.com/mozilla/rust/wiki/Docs">Other docs</a>
</li>
</ul>
</li>
<li class="col-xs-2 col-md-2"><h2>Downloads</h2>
<ul>
<li>
0.8 - Sep. 26 2013
</li>
<li>
<a href="http://static.rust-lang.org/dist/rust-0.8.tar.gz">.tar.gz</a> |
<a href="http://static.rust-lang.org/dist/rust-0.8-install.exe">.exe</a>
</li>
<li>
<a href="https://github.com/mozilla/rust/blob/0.8/RELEASES.txt">Release notes</a>
</li>
<li>
<a href="https://github.com/mozilla/rust/wiki/Doc-releases">Previous releases</a>
</li>
</ul>
</li>
<li class="col-xs-2 col-md-2"><h2>Community</h2>
<ul>
<li><a href="http://github.com/mozilla/rust">GitHub</a> |
<a href="http://twitter.com/rustlang">Twitter</a></li>
<li><a href="https://mail.mozilla.org/listinfo/rust-dev">rust-dev</a> mailing list</li>
<li><a href="https://mail.mozilla.org/listinfo/rust-commits">rust-commits</a> mailing list</li>
<li><a href="http://chat.mibbit.com/?server=irc.mozilla.org&amp;channel=%23rust">#rust on irc.mozilla.org</a></li>
</ul>
</li>
</ul>
<div>
<h1>Rust <small>a safe, concurrent, practical language</small></h1>
<p>
Rust is a curly-brace, block-structured expression language.
It visually resembles the C language family, but differs
significantly in syntactic and semantic details.
Its design is oriented toward concerns of “programming in the
large”, that is, of creating and maintaining <em>boundaries</em>
– both abstract and operational – that preserve large-system <em>
integrity</em>, <em>availability</em> and <em>concurrency</em>.
</p>
<p>
It supports a mixture of imperative procedural, concurrent
actor, object-oriented and pure functional styles. Rust also
supports generic programming and metaprogramming, in both
static and dynamic styles.
</p>

<div class="row">
<div class="col-md-3">
<h2>A short summary of features</h2>
</div>
<div class="col-md-9">
<table class="table-features table-hover"><tbody>
<tr><td>Type system</td><td>static, nominal, linear, algebraic, locally inferred</td></tr>
<tr><td>Memory safety</td><td>no null or dangling pointers, no buffer overflows</td></tr>
<tr><td>Concurrency</td><td>lightweight tasks with message passing, no shared memory</td></tr>
<tr><td>Generics</td><td>type parametrization with type classes</td></tr>
<tr><td>Exception handling</td><td>unrecoverable unwinding with task isolation</td></tr>
<tr><td>Memory model</td><td>optional task-local GC, safe pointer types with region analysis</td></tr>
<tr><td>Compilation model</td><td>ahead-of-time, C/C++ compatible</td></tr>
<tr><td>License</td><td>dual MIT / Apache 2</td></tr>
</tbody></table>
</div>
</div>
<div class="row">
<div class="col-md-3">
<h2>A very small taste of what it looks like</h2>
</div>
<div class="col-md-9">
<pre class="cm-s-default">
<span class="cm-keyword">fn</span> <span class="cm-def">main</span>() {
<span class="cm-keyword">let</span> <span class="cm-def">nums</span> = [<span class="cm-number">1</span>, <span class="cm-number">2</span>];
Expand All @@ -142,16 +120,8 @@ <h1>Rust <small>a safe, concurrent, practical language</small></h1>
}
}
</pre>


</div> <!-- .span10 -->

</div> <!-- .row -->
</div> <!-- #main -->

</div> <!-- .row -->
</div> <!-- #container -->

</body>

</html>
</div>
</div>
</div>
</body>
</html>
Binary file added logos/rust-logo-128x128-blk-v2.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-128x128-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-128x128.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-16x16-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-16x16.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-256x256-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-256x256.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-32x32-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-32x32.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-512x512-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-512x512.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-64x64-blk.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified logos/rust-logo-64x64.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
68 changes: 0 additions & 68 deletions style.css
View file
Open in desktop

This file was deleted.