2 // PukiWiki - Yet another WikiWikiWeb clone.
3 // $Id: size.inc.php,v 1.8 2005/01/02 06:54:12 henoheno Exp $
5 // Text-size changing via CSS plugin
7 define('PLUGIN_SIZE_MAX', 60); // px
8 define('PLUGIN_SIZE_MIN', 8); // px
11 define('PLUGIN_SIZE_USAGE', '&size(px){Text you want to change};');
13 function plugin_size_inline()
15 if (func_num_args() != 2) return PLUGIN_SIZE_USAGE;
17 list($size, $body) = func_get_args();
18 if ($size == '' || $body == '' || ! preg_match('/^\d+$/', $size))
19 return PLUGIN_SIZE_USAGE;
21 $size = max(PLUGIN_SIZE_MIN, min(PLUGIN_SIZE_MAX, $size));
22 return '<span style="font-size:' . $size .
23 'px;display:inline-block;line-height:130%;text-indent:0px">' .