background-color: transparent; color:darkblue; font-family:monospace; border: 1px solid grey; margin: 0.5em; padding: 0.5em;
