#topM {
  border-width:0.15em;
  border-style:dashed;
  border-color:black;
  padding:3px 3px 3px 13px;
  display:table
}

#topM a:link {
  color:black;
  text-decoration:none}
#topM a:visited {
  color: black;
  text-decoration:none}
#topM a:hover {
  color:lightgray;}
#topM a:active {
  color:black;
  text-decoration:none}

body { font-family:sans-serif }

pre{
  background-color:lightgrey;
  display:table
}