div.trans {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 0;
  width: auto;
  right: 0;
}
div.trans p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #900;
  border: thin outset #900;
  color: white;
}

#div.trans a, div.trans em { display: block; margin: 0 0.5em }
#div.trans a, div.trans em { border-top: 2px groove #900 }
div.trans a:first-child { border-top: none }
div.trans em { color: #CFC }

div.trans a:link { text-decoration: none; color: light blue }
div.trans a:visited { text-decoration: none; color: light blue }
div.trans a:hover { background: black; color: white }

