git page: improve navigation

1 files changed, 46 insertions, 21 deletions

diff --git a/site/git/index.php b/site/git/index.php
index 8f6a1c7..7434ef2 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -34,7 +34,7 @@
 
 	<div>
 
-		<h1><?php echo gettext("Git repositories"); ?></h1>
+		<h1 id="pagetop"><?php echo gettext("Git repositories"); ?></h1>
 
 			<p>
 				<?php echo gettext("For a list of current tasks in libreboot, see:"); ?> <a href="../docs/tasks.html">../docs/tasks.html</a>.
@@ -45,25 +45,39 @@
 				<?php echo gettext("Maintenance guides can be found at <a href=\"../docs/maintain/index.html\">../docs/maintain/index.html</a> and <a href=\"../docs/git/index.html\">../docs/git/index.html</a>."); ?>
 			</p>
 
+				<ul class="c">
+					<li><a href="#download">How to download</a></li>
+					<li><a href="#guidelines">General guidelines for submitting patches</a></li>
+					<li><a href="#contrib">How to use git, for creating patches</a></li>
+					<li><a href="#gitbackup">Backup git repositories</a></li>
+				</ul>
+
 			<p><a href="../"><?php echo gettext("Back to home page"); ?></a></p>
 
-			<h2><?php echo gettext("How to download"); ?></h2>
-				<h3><?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?></h3>
-				<p>
-					<b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/>
-					<a href="<?php echo $lbFirmwareGitwebAddress; ?>">Browse repository via web</a>
-				</p>
-				<h3><?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?></h3>
-				<p>
-					<b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/>
-					<a href="<?php echo $lbWebsiteGitwebAddress; ?>">Browse repository via web</a>
-				</p>
+	</div>
 
-			</div>
+	<div>
 
-			<div>
+		<h2 id="download"><?php echo gettext("How to download"); ?>  <span class="r"><a href="#download">#download</a></span></h2>
+			<h3><?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?></h3>
+			<p>
+				<b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/>
+				<a href="<?php echo $lbFirmwareGitwebAddress; ?>">Browse repository via web</a>
+			</p>
+			<h3><?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?></h3>
+			<p>
+				<b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/>
+				<a href="<?php echo $lbWebsiteGitwebAddress; ?>">Browse repository via web</a>
+			</p>
+			<p>
+				<a href="#pagetop">Back to top of page</a>
+			</p>
+
+	</div>
+
+	<div>
 
-				<h2 id="guidelines">General guidelines for submitting patches</h2>
+				<h2 id="guidelines">General guidelines for submitting patches  <span class="r"><a href="#guidelines">#guidelines</a></span></h2>
 					<p>
 						Using your legal name is <b>not</b> required. For reasons why we have this policy, read <a href='http://geekfeminism.org/2012/09/29/quick-hit-how-git-shows-the-patriarchal-nature-of-the-software-industry/'>this article</a>. You can use an assumed name, or your company name (if you have a company), if you want. Also, read <a href='http://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/'>this article</a>. Unfortunately, git appears to be stuck with these problems, when an author changes their name, and we don't have a concrete answer to it.
 						As far as we know, publishing your legal name isn't even required for copyright purposes; in fact, &quot;pen names&quot; are common in literature.
@@ -86,10 +100,14 @@
 						libreboot development mailing list, linked to from the <a href="../">home page</a>.
 					</p>
 
-			</div>
+			<p>
+				<a href="#pagetop">Back to top of page</a>
+			</p>
+
+	</div>
 
-			<div>
-				<h2 id="contrib"><?php echo gettext("How to use git, for creating patches"); ?></h2>
+	<div>
+				<h2 id="contrib"><?php echo gettext("How to use git, for creating patches"); ?>  <span class="r"><a href="#contrib">#contrib</a></span></h2>
 					<p>
 						Libreboot development is facilitated by <i>git</i>, a <i>distributed</i> version control system that is in wide use today. Git provides many practical benefits,
 						making collective development of software very easy.
@@ -161,7 +179,13 @@
 						<?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site)."); ?>
 					</p>
 
-				<h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?></h2>
+			<p>
+				<a href="#pagetop">Back to top of page</a>
+			</p>
+	</div>
+
+	<div>
+				<h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?>  <span class="r"><a href="#gitbackup">#gitbackup</a></span></h2>
 
 					<h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3>
 						<p>
@@ -187,8 +211,9 @@
 	?>
 						</p>
 
-				<p><a href="../"><?php echo gettext("Back to home page"); ?></a></p>
-
+			<p>
+				<a href="#pagetop">Back to top of page</a>
+			</p>
 	</div>
 
 <?php