diff --git a/dev.less b/dev.less
index 9f43901..7b933ed 100644
--- a/dev.less
+++ b/dev.less
@@ -15,7 +15,7 @@ border: 1px solid yellow;
 /******/
 
 body::before {
-	content: 'Development Server (DEVBUILDID)';
+	content: 'Development Server <small>(DEVBUILDID)</small>';
 	background: #f00;
 	padding: 5px 10px;
 	display: block;
diff --git a/pull.php b/pull.php
index de2cc93..c5bd107 100644
--- a/pull.php
+++ b/pull.php
@@ -1,2 +1,3 @@
 <?php
 passthru('git pull 2>error.txt && (lessc dev.less > dev.css 2>error.txt)');
+sed -i dev.css -e "s/DEVBUILDID/`git rev-parse HEAD`/"