/* iphones, mostly */
@media (max-device-width : 450px), (max-width : 750px) {
    /* footer.headline is displayed on top of the table#result otherwise */
    body.empty { margin-bottom: 40px }
    body { margin-bottom: 50px }
    .hide-small { display: none }; /* "Filter by" */
}

#mobile-title {
    position: fixed;
    top: 20px;
    background: #292A2D;
    color: #ccc;
    padding: 4px;
    margin: 4px;
    border: 1px solid #ccc;
    font-size: 9pt;
    white-space: break-spaces;
    margin-right: 25px;
    z-index: 8;
}