From cffd5aee30315db5e0b47b872370a97c04b75a00 Mon Sep 17 00:00:00 2001 From: Kano Date: Mon, 25 Jun 2012 18:01:49 +1000 Subject: [PATCH] miner.php make fontname/size configurable with myminer.php --- miner.php | 29 ++++++++++++++++++----------- 1 file changed, 18 insertions(+), 11 deletions(-) diff --git a/miner.php b/miner.php index 728a4ebc..cdcfbac0 100644 --- a/miner.php +++ b/miner.php @@ -60,6 +60,11 @@ $warnfont = ''; $warnoff = ''; $dfmt = 'H:i:s j-M-Y \U\T\CP'; # +global $miner_font_family, $miner_font_size; +# +$miner_font_family = 'verdana,arial,sans'; +$miner_font_size = '13pt'; +# # This below allows you to put your own settings into a seperate file # so you don't need to update miner.php with your preferred settings # every time a new version is released @@ -78,6 +83,7 @@ $rigerror = array(); # function htmlhead($checkapi) { + global $miner_font_family, $miner_font_size; global $error, $readonly, $here; if ($readonly === false && $checkapi === true) { @@ -87,21 +93,22 @@ function htmlhead($checkapi) || $access['STATUS']['STATUS'] != 'S') $readonly = true; } -?> -Mine + $miner_font = "font-family:$miner_font_family; font-size:$miner_font_size;"; + + echo "Mine