<style>
body { font-family: monospace; background: white; color: black; }
input { font-family: monospace; padding: 0em; margin: 0em; }
<style>
body { font-family: monospace; background: white; color: black; }
input { font-family: monospace; padding: 0em; margin: 0em; }
input[type="submit"] { background-color: #cccccc; }
button { background-color: #cccccc; }
input[type="submit"].update { background-color: #aaffaa; }
input[type="submit"] { background-color: #cccccc; }
button { background-color: #cccccc; }
input[type="submit"].update { background-color: #aaffaa; }
<a href="pick_tasks">pick tasks</a>
<a href="do_todos">do todos</a>
| <a href="calendar">calendar</a>
<a href="pick_tasks">pick tasks</a>
<a href="do_todos">do todos</a>
| <a href="calendar">calendar</a>