Fixes #526: bad font size separator in tagcloud with some locale

* Force the number format with number_format().
      * Reduce the size deciment number to 2.

index.php

@@ -1016,10 +1016,15 @@ function renderPage()
         });
 
         $tagList = array();
-        foreach($tags as $key=>$value)
+        foreach($tags as $key => $value) {
-        // Tag font size scaling: default 15 and 30 logarithm bases affect scaling, 22 and 6 are arbitrary font sizes for max and min sizes.
+            // Tag font size scaling:
-        {
+            //   default 15 and 30 logarithm bases affect scaling,
-            $tagList[$key] = array('count'=>$value,'size'=>log($value, 15) / log($maxcount, 30) * (22-6) + 6);
+            //   22 and 6 are arbitrary font sizes for max and min sizes.
+            $size = log($value, 15) / log($maxcount, 30) * 2.2 + 0.8;
+            $tagList[$key] = array(
+                'count' => $value,
+                'size' => number_format($size, 2, '.', ''),
+            );
         }
 
         $data = array(

tpl/tagcloud.html

@@ -12,8 +12,8 @@
 
     <div id="cloudtag">
         {loop="tags"}
-            <span class="count">{$value.count}</span>
+            <span class="count">{$value.count}</span><a
-            <a href="?searchtags={$key|urlencode}" style="font-size:{$value.size}pt;">{$key}</a>
+                href="?searchtags={$key|urlencode}" style="font-size:{$value.size}em;">{$key}</a>
             {loop="$value.tag_plugin"}
                 {$value}
             {/loop}