/*@import url("constants.css");*/
@import url("extensions.css");
@import url("menu_buttons.css");
@import url("content.css");

/* Formatting */
body
{
background-color: #ECFFE1;
}

/* Body title */
h1
{
font-size: 20pt;
font-weight: bold;
}

h2
{
font-size: 18pt;
font-weight: bold;
}

h3
{
font-size: 14pt;
text-decoration: underline;
}

hr
{
height: 1px;
background-color: black;
border: 2px;
width: 100%;
}

img
{
border: 0px;
}

ul
{
list-style-type: none;
}

td
{
border: 0px;
padding: 0px;
}