div.warning { font-weight: bold; color: red; }
fieldset.hidden { display: none; }

/* Menu above apps on index page */
ul#main li { font-size: 14px; }

form#teacher_form input#id_abrev { width: 3em; }
form#teacher_form input#id_civility { width: 5em; }

form#student_form textarea#id_subject,
form#student_form textarea#id_title { height: 3em; width: 60em; }

/* Revert Django 6 underlining of links */
a:not(
    [role="button"],
    #header a,
    #nav-sidebar a,
    #content-main.app-list a,
    .object-tools a
) {
    text-decoration: none;
}