@charset "utf-8";

$fonts-main: "Lucida Grande", "Lucida Sans Unicode", Tahoma, Verdana;
$fonts-news: Georgia, "Times New Roman", Times, serif;
$fonts-input: Verdana, Arial, Helvetica, sans-serif;
$fonts-code: "Courier New", Courier, monospace;
$font-stack: Verdana, Arial, Helvetica, sans-serif;
$banner-font: monospace;
$credits-font: Arial, Helvetica, sans-serif;