From 0ebc85a447490d3d323373b20e1220b7d305b417 Mon Sep 17 00:00:00 2001 From: kanoi Date: Tue, 30 Dec 2014 10:25:42 +1100 Subject: [PATCH] php - reduce header width when logged in --- pool/page.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pool/page.php b/pool/page.php index a030ec73..f39c7711 100644 --- a/pool/page.php +++ b/pool/page.php @@ -339,9 +339,9 @@ function pgtop($info, $dotop, $user, $douser) $extra = '…'; } $top .= " -".htmlspecialchars($who)."$extra  +".htmlspecialchars($who)."$extra 
Hash Rate: -$uhr$u1hr"; +$uhr$u1hr
"; $top .= makeForm('')."   ";