equal
deleted
inserted
replaced
6 <head> |
6 <head> |
7 <title>Documentation</title> |
7 <title>Documentation</title> |
8 <?include file="//include/htmlheader.include.html"?> |
8 <?include file="//include/htmlheader.include.html"?> |
9 </head> |
9 </head> |
10 |
10 |
11 <body class="dist"> |
11 <body> |
12 <?include file="//include/header.include.html"?> |
12 <?include file="//include/header.include.html"?> |
13 <div class="hr"><hr/></div> |
13 <div class="hr"><hr/></div> |
14 <?include file="//include/navigation.include.html"?> |
14 <?include file="//include/navigation.include.html"?> |
15 <div class="hr"><hr/></div> |
15 <div class="hr"><hr/></div> |
16 |
16 |
17 <div id="content"> |
17 <div id="content"> |
18 <?include file="//include/mirrorlist.include.html"?> |
18 |
19 <div class="hr"><hr/></div> |
|
20 <h2>Getting started</h2> |
19 <h2>Getting started</h2> |
21 |
20 |
22 <a href="//dist/img/tutorial_cover_big.gif"> |
21 <a href="//dist/img/tutorial_cover_big.gif"> |
23 <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " |
22 <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " |
24 width="83" height="125"/> |
23 width="83" height="125"/> |