/*
    import from DJANGO Admin styles because we want to use there CSS variables
*/
@import /django/static/admin/base.css
/* MSCS stuff Fred wrote */
.boxed {
    border: 1px solid var(--border-color);
    padding: 1rem;
}

dl.grid {
  display: grid;
  grid-template-columns: max-content auto;
  align-items: center;
  line-height: 1.5rem;
  vertical-align: text-top;
  align-items: start;
}

dl.grid > dt {
    grid-column-start: 1;
    padding: 0;
    margin: 0 9ch 0 0;
}

dl.grid > dd {
    grid-column-start: 2;
    padding: 0;
    margin: 0 0 0 0;
}

input#id_interests_blurb, input#id_office_hours {
    width: 100ch;
}

/* instead of modifying the admin.css, and making that harder to
   update from upstream, just dump all the computer styles from a
   web-browser's dev tools from login form to logout form */

#login-form button {
    padding: 0;
    font-weight: 300;
    font-size: 0.6875rem;
    letter-spacing: 0.5px;
    text-transform: uppercase;
    background: none;
    border: 0;
    cursor: pointer;
    font-family: var(--font-family-primary);
    color: var(--header-link-color);
    appearance: none;
}



#login-form {
    color: rgb(255, 255, 204);
    color-scheme: dark;
    display: inline;
    float: right;
    font-family: "Segoe UI", system-ui, Roboto, "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    font-size: 11px;
    font-weight: 400;
    height: 23px;
    letter-spacing: 0.5px;
    line-height: 20.35px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
    padding-top: 0px;
    text-align: left;
    text-size-adjust: 100%;
    text-transform: uppercase;
    unicode-bidi: isolate;
}

#logout-form {
    color: rgb(255, 255, 204);
    color-scheme: dark;
    display: inline;
    float: right;
    font-family: "Segoe UI", system-ui, Roboto, "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    font-size: 11px;
    font-weight: 400;
    height: 23px;
    letter-spacing: 0.5px;
    line-height: 20.35px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
    padding-top: 0px;
    text-align: left;
    text-size-adjust: 100%;
    text-transform: uppercase;
    unicode-bidi: isolate;
}

body {
    font-size: 0.9rem;
}

img.spinner_small {
    height: 16px;
    fill: #417690;
    color: #417690;
}

img.spinner {
    height: 32px;
    fill: var(--header-bg);
    color: var(--header-bg);
}
