body {
    font-family: sans-serif;
    font-size: 14pt;
}

#search-form input[type=text] {
    width: 65%;
    padding: 10px;
    margin: 10px;
}

#search-form input[type=submit] {
    width: 10%;
    padding: 10px;
    margin: 10px;
}

#recent-searches {
    margin: 10px 10px 10px;
    padding: 0;
}

#error-message {
    color: red;
    text-align: center;
    border:1px solid red;
    background:mistyrose;
    margin: 10px;
    padding: 10px;
}

#result {
    border:1px solid lightgray;
    margin: 10px;
    padding: 10px;
}

table {
    border-collapse: collapse;
}

th, td {
    border: 1px solid black;
    padding: 5px 8px;
}

h1 {
    font-size:150%;
}

h2 {
    margin: 10px 0 5px;
    font-size:130%;
}

#result button {
    padding: 10px 20px;
    margin: 5px 10px 5px 0;
    font-weight: bold;
    font-size: 130%;
}

#check-in-button {
    background: darkgreen;
    color: white;
}

#void-check-in-button {
    background: darkred;
    color: white;
}

.footer-links {
    font-size: 70%;
    padding: 5px 10px;
}