/* Basic settings */
body {
        font-family: serif;
        font-size: 120%;
        color: #333;
        background: white;
        padding: 4px;
        margin-top: 0;
        margin-bottom: 2em;
        margin-left: 5%;
        margin-right: 5%;
}

a {
        color: blue;
        text-decoration: none;
}

a:hover {
        text-decoration: underline;
}

img {
	border: none 0;
	vertical-align: top;
}

table {
      border-collapse: collapse;
}

.right {
      text-align: right;
}

dt {
	font-weight: bold;
}

/* Copyright section */
div.copyright {
	font-size: 80%; 
	padding: 4px;
        border-top: solid 2px black;
}

div.header {
        border-bottom: solid 2px black;
}