#infopub td>button, #infopub td>input{
    margin-top: 0;
    margin-bottom: 0;
}
#infopub table {
    max-height: 800px;
    overflow-x: hidden;
}
#infopub tr.form td {
    background-color: #f5f5ff;
}

#infopub .pager button{
    min-width: 45px;
}

#infopub input[type="checkbox"]{
    margin-top: 0;
    margin-bottom: 0;
}

#infopub tr.selected td{
    background-color: #90caf9;
}