html * {
margin: 0;
border: 0;
padding: 0;
}


html, body {
font-size: 14px;
font-family: Verdana, Tahoma, Arial, Sans-serif;
}

body {
margin: 0 20px 20px 20px;
}

h1 {
font-size: 2em;
font-family: Arial, Tahoma, Verdana, Sans-serif;
margin: 1.4em 0 1em 0;
}

h2 {
font-size: 1.5em;
font-family: Arial, Tahoma, Verdana, Sans-serif;
margin: 2em 0 1em 0;
}

p {
margin: 1em 0 1em 0;
}

dl {
margin: 3em 0 3em 0;
}

dt {
font-size: 1.4em;
margin-top: 1em;
}


dd {
padding: 0.3em 0 0 2em;
}

thead {
font-size: 1.2em;
}

td {
padding: 0 2em 0 0;
}

table.operatorspriority {
border: 1px solid black;
border-collapse: collapse;
}


table.operatorspriority td {
border: 1px solid black;
padding: 0.5em 0.5em 0.5em 0.5em;
}

ul {
list-style-type: none;
}


ul.tips {
list-style-type: disc;
margin-left: 3em;
}

ul.tips li {
padding: 1em 0 1em 0;
}