h1.title{
	text-align: center;
}

body {
    padding:5pt;
  }


table.authors {
    border-spacing: 15pt;
  }

div.headmenu {
   float: right;
   background-color: #f8ffe2;
   padding-right: 1em ;
   border: solid 1pt;
}

div.headmenu ul{
   list-style-type: none;
   
}

div.headmenu a:visited{
   color: blue;
}

div.headmenu ul li:hover{
    background-color: yellow;
}