From 38fc31091d2f701239cad55b477581f65be3cd99 Mon Sep 17 00:00:00 2001
From: James <inbox.dev@jhodges.co.uk>
Date: Sat, 28 Mar 2020 10:05:09 +0000
Subject: [PATCH] nice

---
 dev.less | 2 +-
 pull.php | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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`/"