*{
font-size:11pt;
}

body{
font-family:monospace;
}

a:hover, a:visited, a:link{
color:#ff0000;
font-weight:bold;
text-decoration:none;
}

a:hover{
text-decoration:underline;
}

h1,h2{
font-size:11pt;
margin:0;
padding:0;
}
/*
h1{
display:inline;
}*/

div.trick, p#intro{
width:85%;
}

p#intro{
font-weight:bold;
font-size:12pt;
}

acronym {
padding:0 .25em 0 .25em;
margin:0 .25em 0 .25em;
}