From b48e2eb2e74ce6ac688454a52c3ecf45271ad3e4 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sun, 09 Aug 2015 06:27:15 -0400
Subject: git page: make git repos a header

---
diff --git a/site/git/index.php b/site/git/index.php
index 55b0dff..cc2ca63 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -46,14 +46,14 @@
 			</p>
 
 			<h2><?php echo gettext("How to download"); ?></h2>
+				<h3><?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?></h3>
 				<p>
-					<?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?><br/>
-					$ <b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/>
+					<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>
-					<?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?><br/>
-					$ <b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/>
+					<b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/>
 					<a href="<?php echo $lbWebsiteGitwebAddress; ?>">Browse repository via web</a>
 				</p>
 
--
cgit v0.9.1