; margin: 0; background: #f0f0f0; color: #000; padding: 10px; } .highlight { color: red; font-weight: bold; } #spellview { border-style: outset; border: 1px solid black; padding: 5px; width: 95%; height: 314px; overflow: auto; background: #ffffff; }'; if ($context['browser']['needs_size_fix']) echo ' @import(', $settings['default_theme_url'], '/css/fonts-compat.css);'; // As you may expect - we need a lot of javascript for this... load it form the separate files. echo '