#argv {
    width: 40em;
    height: 12ex;
    font-family: monospace, "Monospaced", "Bitstream Vera Sans Mono", "Inconsolata";
}

table {
    font-family: sans-serif, "Noto Sans";
}

th,td {
    padding: 1ex;
}

th.name, td.name {
    text-align: right;
}

th.effort, td.effort {
    text-align: left;
}