.ct-monospace {
    font-family: monospace;
}

#ct-grammar {
    resize: vertical;
}

#ct-firstset-symbols {
    resize: vertical;
}

.ct-tool-menuitem {
    font-variant: small-caps;
}