body {
        font-size: smaller;		
}
h1 {
        margin: 0.2em;
}
th {
        text-align: left !important;
}
td {
        text-align: left !important;
}
pre {
     background-color: #eeeeee; 
     padding: 2em;
     margin: 0;
     font-size: larger;
}
.table-controls {
    width: 100%;
    height: 45px;
    /* display:inline; */
    padding-bottom: 0px;
}
.table-controls select {
        display: inline;
}
.table-controls input {
        margin-left: 5em;
}
.gram-table td {
        font-family: monospace; 
        font-size: larger
}
button {
        padding: 0.5rem 2rem;
}
td button {
        margin: 0
}