body {
    font-size: 1em;
    color: #2F2F2F;
}

a {
    text-decoration: none;
}

.current_element {
    color: black;
}

.used_element {
    color: gray;
}

#rest_time {
    font-size: 1.25em;
    color: black;
    font-weight: bold;
}

input {
    font-size: 1.1em;
    border-radius: .5em;
    border: 1px dotted;
    width: 6em;
}

#element_title {
    font-weight: bold;
}

ol#task_list {
    padding-left: 1.5em;
}

table.element-ctrl {
    border-top: 1px dotted gray
}