diff --git a/doc/tips/github.mdwn b/doc/tips/github.mdwn
index 974d572f1..0a76166ee 100644
--- a/doc/tips/github.mdwn
+++ b/doc/tips/github.mdwn
@@ -26,16 +26,16 @@ for more space, or you can migrate your site elsewhere.
 ## local setup
 
 * On your laptop, create two empty git repositories to correspond to the
-  github repositories:
-	YOU=# your github username here
-	mkdir ~/$YOU.github.com
-	cd ~/$YOU.github.com
-	git init
-	git remote add origin git@github.com:$YOU/$YOU.github.com.git
-	mkdir ~/$YOU
-	cd ~/$YOU
-	git init
-	git remote add origin git@github.com:$YOU/$YOU.git
+  github repositories: <br />
+	`YOU = your github username here` <br />
+	`mkdir ~/$YOU.github.com` <br />
+	`cd ~/$YOU.github.com` <br />
+	`git init` <br />
+	`git remote add origin git@github.com:$YOU/$YOU.github.com.git` <br />
+	`mkdir ~/$YOU` <br />
+	`cd ~/$YOU` <br />
+	`git init` <br />
+	`git remote add origin git@github.com:$YOU/$YOU.git` <br />
 * Add some wiki pages, such as an `index.mdwn`, to `~/$YOU`, and check them
   in and commit them to git. You need something to push to github. Run
   `git push origin master` to push the source pages to github.