- added mini-theme (mini.php) as alternative for default theme (index.php), optimized for PDA, mobile phones and other devices with very small screen and limited support for javascript;
- new options <mini_font_name>, <mini_font_size>, <mini_javascript>, <mini_log_columns> to fine tune mini-theme for a particular device.