<?php
$font = "Comic Sans MS, Verdana, sans-serif";
$color = "lightblue";

print ("
html, body {
        font-family:	$font;
        font-size:      12pt;
        background-color: $color;
        margin:         0;
        padding:        0;
        text-decoration: none;
}


p {
	padding:	2%;
}

table {
	background-color: $color;

td {
	font-family:	\"$font\";
	font-size:	12pt;
	padding:	10px;
	padding-top:	0;
}

th {
	font-family:	\"$font\";
	font-size:	16pt;
}

u {
	font-family:	\"$font\";
	font-size:	16pt;
	font-weight:	bold;
}

.data {
	padding-top:	10px;
	padding-bottom:	10px;
}

.emphasis {
	font-size:	10pt;
	font-weight:	bold;
	color:		white;
	background-color: blue;
	border:		thin solid red;
	padding-left:	15px;
	padding-right:	15px;
	padding-top:	10px;
	padding-bottom:	10px;
}

.largebold {
	font-size:	18pt;
	font-weight:	bold;
	color:		black;
	padding:	10%;
}

.local {
	font-family:	\"$font\";
	font-size:	12pt;
}

.nopadding {
	padding:	0;
}

.redborder {
	border:		thin solid red;
	padding:	10px;
}
");
?>