@charset "UTF-8";
/**
 * Reset some basic elements
 */
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0;
}

.page-content p {
  text-align: justify;
}

/**
 * Basic styling
 */
body {
  font: 300 16px/1.5 "Open Sans", sans-serif;
  color: #111;
  background-color: #fdfdfd;
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
}

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure,
.highlight {
  margin-bottom: 15px;
}

/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle;
}

/**
 * Figures
 */
figure > img {
  display: block;
}

figcaption {
  font-size: 14px;
}

/**
 * Lists
 */
ul, ol {
  margin-left: 30px;
}

li > ul,
li > ol {
  margin-bottom: 0;
}

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-weight: 300;
}

/**
 * Emphasis
 *
 * The HTML spec renders b/strong as "bolder", which is RELATIVE to the parent.
 * Against our 300 body weight that resolves to 400 — i.e. normal — so every
 * bold on the site rendered as plain text. Set an absolute weight instead.
 */
b, strong {
  font-weight: 700;
}

/**
 * Links
 */
a {
  color: #2a7ae2;
  text-decoration: none;
}
a:visited {
  color: rgb(8.9993518068%, 33.8251498947%, 66.0986874088%);
}
a:hover {
  color: #111;
  text-decoration: underline;
}

/**
 * Blockquotes
 */
blockquote {
  color: #828282;
  border-left: 4px solid #e8e8e8;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
  font-style: italic;
}
blockquote > :last-child {
  margin-bottom: 0;
}

/**
 * Code formatting
 */
pre,
code {
  font-size: 15px;
  border: 1px solid #e8e8e8;
  border-radius: 3px;
}

code {
  padding: 1px 5px;
}

pre {
  padding: 8px 12px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(850px - (30px * 2));
  max-width: calc(850px - 30px * 2);
  margin-right: auto;
  margin-left: auto;
  padding-right: 30px;
  padding-left: 30px;
}
@media screen and (max-width: 850px) {
  .wrapper {
    max-width: -webkit-calc(850px - (30px));
    max-width: calc(850px - (30px));
    padding-right: 15px;
    padding-left: 15px;
  }
}

/**
 * Clearfix
 */
.footer-col-wrapper:after, .wrapper:after {
  content: "";
  display: table;
  clear: both;
}

/**
 * Icons
 */
.icon > svg {
  display: inline-block;
  width: 16px;
  height: 16px;
  vertical-align: middle;
}
.icon > svg path {
  fill: #828282;
}

.masthead .icon path {
  fill: #828282;
}

.infomatter {
  display: flex;
  flex-flow: wrap;
  position: relative;
}

.krispic {
  width: 125px;
  height: 125px;
  border-radius: 50%;
  overflow: auto;
  float: right;
  box-shadow: 2px 5px 5px #aaa;
  padding: 5px 5px 5px;
  background-color: white;
  box-shadow: 0 1px 3px rgba(34, 25, 25, 0.4);
  -moz-box-shadow: 0 1px 2px rgba(34, 25, 25, 0.4);
  -webkit-box-shadow: 0 1px 3px rgba(34, 25, 25, 0.4);
  position: relative;
  top: -15px;
}

.infotablestyle {
  width: 700px;
  display: inline-table;
  margin-right: -100px;
  margin-bottom: 10px;
}
.infotablestyle table {
  border-collapse: collapse;
  border-spacing: 0;
}

/**
 * Site header
 *
 * Navy bar carrying the same grid texture as the front-page hero, so on the
 * home page the two read as one dark block and the nav does not look bolted on.
 * It is sticky because the schedule is long and the nav is the way back out.
 */
.site-header {
  position: sticky;
  top: 0;
  z-index: 100;
  background-color: #000e54;
  background-image: linear-gradient(115deg, rgba(247, 105, 0, 0.16) 0%, rgba(0, 0, 0, 0) 55%), repeating-linear-gradient(0deg, rgba(255, 255, 255, 0.03) 0 1px, rgba(0, 0, 0, 0) 1px 34px), repeating-linear-gradient(90deg, rgba(255, 255, 255, 0.03) 0 1px, rgba(0, 0, 0, 0) 1px 34px);
  border-top: 4px solid #f76900;
  box-shadow: 0 1px 0 rgba(255, 255, 255, 0.1), 0 2px 12px rgba(0, 0, 0, 0.22);
}

.site-header__inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 18px;
  min-height: 58px;
  padding-top: 6px;
  padding-bottom: 6px;
}

.site-title {
  display: inline-flex;
  align-items: baseline;
  gap: 9px;
  line-height: 1.2;
  text-decoration: none;
  white-space: nowrap;
}
.site-title, .site-title:visited, .site-title:hover {
  text-decoration: none;
}
.site-title__id {
  font-size: 21px;
  font-weight: 700;
  letter-spacing: 0.01em;
  color: #fff;
}
.site-title__sep {
  font-size: 19px;
  font-weight: 300;
  color: #f76900;
}
.site-title__name {
  font-size: 15.5px;
  font-weight: 400;
  color: #c8d2e8;
}
.site-title:hover .site-title__name {
  color: #fff;
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 26px;
}
.site-nav .nav-link {
  position: relative;
  padding: 4px 0;
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0.07em;
  text-transform: uppercase;
  color: #c8d2e8;
  text-decoration: none;
}
.site-nav .nav-link::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: -3px;
  height: 2px;
  background: #f76900;
  transform: scaleX(0);
  transform-origin: left;
  transition: transform 0.16s ease;
}
.site-nav .nav-link:hover, .site-nav .nav-link:focus-visible {
  color: #fff;
  text-decoration: none;
}
.site-nav .nav-link:hover::after, .site-nav .nav-link:focus-visible::after {
  transform: scaleX(1);
}
.site-nav .nav-link.is-current {
  color: #fff;
}
.site-nav .nav-link.is-current::after {
  transform: scaleX(1);
  background: #0aa6b7;
}

@media screen and (max-width: 600px) {
  .site-header__inner {
    flex-direction: column;
    align-items: flex-start;
    gap: 8px;
    padding-bottom: 10px;
  }
  .site-title {
    white-space: normal;
  }
  .site-title__name {
    display: none;
  }
  .site-nav {
    gap: 20px;
  }
}
/**
 * Site footer
 */
.site-footer {
  border-top: 1px solid #e8e8e8;
  padding: 30px 0;
}

.footer-heading {
  font-size: 18px;
  margin-bottom: 15px;
}

.contact-list,
.social-media-list {
  list-style: none;
  margin-left: 0;
}

.footer-col-wrapper {
  font-size: 15px;
  color: #828282;
  margin-left: -15px;
}

.footer-col {
  float: left;
  margin-bottom: 15px;
  padding-left: 15px;
}

.footer-col-1 {
  width: -webkit-calc(35% - (30px / 2));
  width: calc(35% - 30px / 2);
}

.footer-col-2 {
  width: -webkit-calc(20% - (30px / 2));
  width: calc(20% - 30px / 2);
}

.footer-col-3 {
  width: -webkit-calc(45% - (30px / 2));
  width: calc(45% - 30px / 2);
}

@media screen and (max-width: 850px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - (30px / 2));
    width: calc(50% - 30px / 2);
  }
  .footer-col-3 {
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - 30px / 2);
  }
}
@media screen and (max-width: 600px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - 30px / 2);
  }
}
/**
 * Page content
 */
.page-content {
  padding: 30px 0 7.5px;
}

:target,
h1[id], h2[id], h3[id], h4[id] {
  scroll-margin-top: 78px;
}

.page-heading {
  font-size: 20px;
}

.post-list {
  margin-left: 0;
  list-style: none;
}
.post-list > li {
  margin-bottom: 30px;
}

.due-list {
  margin-left: 20px;
  list-style: square outside;
}
.due-list > li {
  margin-bottom: 15px;
}
.due-list .post-meta {
  font-size: 18px;
  margin-right: 10px;
}
.due-list h3 {
  display: inline;
}

.post-meta {
  font-size: 14px;
  color: #828282;
}

.post-link {
  display: block;
  font-size: 18px;
}

.mainpage-asn-link {
  display: inline;
  font-size: 18px;
}

/**
 * Posts
 */
.post-header {
  margin-bottom: 30px;
}

.post-title {
  font-size: 36px;
  letter-spacing: -1px;
  line-height: 1;
}
@media screen and (max-width: 850px) {
  .post-title {
    font-size: 36px;
  }
}

/**
 * Advanced topic badge + notice
 * Syracuse palette: Orange #F76900, Navy #000E54
 */
.advanced-badge {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  padding: 5px 14px;
  margin-bottom: 12px;
  background: linear-gradient(135deg, #000E54 0%, #1a2a6c 100%);
  border-radius: 20px;
  color: #fff;
  font-size: 0.78rem;
  font-weight: 600;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.advanced-badge-icon {
  font-size: 0.72rem;
  color: #F76900;
}

.advanced-notice {
  margin-top: 8px;
  margin-bottom: 4px;
  padding: 10px 16px;
  background: #fff7f0;
  border-left: 3px solid #F76900;
  border-radius: 0 6px 6px 0;
  font-size: 0.88rem;
  line-height: 1.5;
  color: #000E54;
}

/**
 * Rule cards: side-by-side natural deduction + Lean4
 */
.rule-card {
  display: flex;
  border: 1px solid #e5e7eb;
  border-radius: 8px;
  overflow: hidden;
  margin: 1.2em 0;
  background: #fff;
}

.rule-card-name {
  position: absolute;
  top: 8px;
  left: 12px;
  font-size: 0.72rem;
  font-weight: 700;
  color: #F76900;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.rule-card-math {
  flex: 1;
  min-width: 0;
  padding: 32px 20px 16px;
  display: flex;
  align-items: center;
  justify-content: center;
  position: relative;
  background: #fafbfc;
  border-right: 1px solid #e5e7eb;
}

.rule-card-lean {
  flex: 1;
  min-width: 0;
  padding: 12px 16px;
  display: flex;
  align-items: center;
  position: relative;
  overflow-x: auto;
}

.rule-card-lean pre {
  margin: 0;
  padding: 0;
  background: transparent;
  border: none;
  font-size: 0.8rem;
  line-height: 1.45;
}

.rule-card-lean code {
  background: transparent;
}

.rule-card-lean-label {
  position: absolute;
  top: 8px;
  right: 12px;
  font-size: 0.65rem;
  font-weight: 600;
  color: #9ca3af;
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.rule-card-math-label {
  position: absolute;
  top: 8px;
  right: 12px;
  font-size: 0.65rem;
  font-weight: 600;
  color: #9ca3af;
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.rule-card-condition {
  font-size: 0.78rem;
  color: #6b7280;
  font-style: italic;
  margin-top: 6px;
  text-align: center;
}

@media (max-width: 700px) {
  .rule-card {
    flex-direction: column;
  }
  .rule-card-math {
    border-right: none;
    border-bottom: 1px solid #e5e7eb;
  }
}
.writeup-content {
  font-size: 14.4px;
}

.post-content {
  margin-bottom: 30px;
}
.post-content h1 {
  font-size: 32px;
  margin-bottom: 10px;
}
.post-content h2 {
  font-size: 26px;
  margin-bottom: 10px;
}
.post-content h3 {
  font-size: 22px;
}
.post-content h4 {
  font-size: 18px;
}
.post-content h5 {
  font-size: 16px;
}

/*********************************************/
/** Week Header Styling                    **/
/*********************************************/
.week-header {
  background-color: #ffffff;
  padding: 0.8rem 1rem;
  border-bottom: 1px solid #ccc;
  margin-bottom: 1rem;
}

.week-header h2 {
  margin: 0;
  font-size: 1.1rem;
  color: #444;
  font-weight: 600;
}

/* A break (e.g. Thanksgiving) sits at week level but reads as a pause, not a
   teaching week: muted, no schedule list follows it. */
.week-header.break-header {
  background-color: #faf7f2;
  border-left: 4px solid #c8bda8;
  margin-bottom: 1.6rem;
}

.week-header.break-header h2 {
  color: #7a6f5d;
  font-weight: 500;
  font-style: italic;
}

/*********************************************/
/** Weekly Schedule Layout (2 columns)     **/
/*********************************************/
.week-schedule ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}

.session-item {
  display: grid;
  grid-template-columns: 5rem 1fr;
  gap: 1rem;
  margin-bottom: 1.2rem;
}

/* Date column styling */
.date-col {
  font-weight: bold;
  color: #333;
  text-align: right;
  padding-top: 0.25rem;
}

/* Session (title + resources) on right side */
.session-col {
  /* auto-fills the remaining space */
}

/* Session title styling */
.session-title {
  font-weight: 600;
  color: #444;
  margin-bottom: 0.3rem;
}

/*********************************************/
/** Resources List (Video, Slides, etc.)   **/
/*********************************************/
.resources-list {
  list-style-type: none;
  padding-left: 0;
  margin: 0.2rem 0 0 0;
}

.resources-list li {
  margin: 0.3rem 0;
}

/* Primary notes link — prominent standalone row */
.resource-notes {
  margin: 0.3rem 0 0.15rem 0;
  font-weight: 500;
}

.resource-notes a {
  text-decoration: none;
  color: #1a56db;
  border-bottom: 1.5px solid rgba(26, 86, 219, 0.25);
  transition: border-color 0.15s, color 0.15s;
}

.resource-notes a:hover {
  color: #F76900;
  border-bottom-color: #F76900;
}

/* Compact inline row for secondary resources (videos, slides) */
.resources-inline {
  list-style-type: none;
  padding-left: 0;
  margin: 0.1rem 0 0 0;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 2px 10px;
}

.resources-inline li {
  margin: 0;
  /* NOT a flex container: a long reading (icon + link + trailing text) must
     wrap as ordinary text. inline-flex here made each inner run a flex item,
     which fractured long lines into a broken column grid. */
  font-size: 0.85em;
  line-height: 1.4;
  color: #6b7280;
}

.resources-inline li i {
  margin-right: 6px;
}

.resources-inline li a {
  color: #6b7280;
  text-decoration: none;
}

.resources-inline li a:hover {
  color: #374151;
}

/*********************************************/
/** Font Awesome Icon Colors               **/
/*********************************************/
.lecture-icon {
  color: #0a66c2;
  margin-right: 6px;
}

.youtube-icon {
  color: #ff0000;
  margin-right: 6px;
}

.notes-icon {
  color: #007bff;
  margin-right: 6px;
}

.reading-icon {
  color: #8B4513;
  margin-right: 6px;
}

.project-icon {
  color: #228B22;
  margin-right: 6px;
}

.deadline-icon {
  color: #cc0000;
  margin-right: 6px;
}

/* CIS400 session-type icons */
.discussion-icon {
  color: #7c3aed; /* violet — discussion days */
  margin-right: 6px;
}

.guest-icon {
  color: #0aa6b7; /* cyan "signal" — guest lectures */
  margin-right: 6px;
}

.presentation-icon {
  color: #f76900; /* Syracuse orange — student research presentations */
  margin-right: 6px;
}

.exam-icon {
  color: #cc0000; /* red — exams */
  margin-right: 6px;
}

.fa-upload {
  color: #666;
  margin-right: 6px;
}

/*********************************************/
/** CIS400 intro block, legend, schedule    **/
/*********************************************/
#course-intro {
  margin-top: 1.5rem;
  margin-bottom: 1.5rem;
  font-size: 0.98rem;
  line-height: 1.55;
}

.callout-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1.2rem;
  margin: 1rem 0 0.4rem 0;
  padding: 0.6rem 0.9rem;
  background: #fafaf7;
  border: 1px solid #ececec;
  border-left: 4px solid #f76900;
  border-radius: 4px;
  font-size: 0.85rem;
  color: #444;
}

.schedule-note {
  font-size: 0.85rem;
  color: #777;
  margin-top: 0.6rem;
}

.schedule-title {
  margin-top: 1.6rem;
  padding-bottom: 0.3rem;
  border-bottom: 3px solid #000e54;
  color: #000e54;
}

.schedule-title i {
  color: #f76900;
  margin-right: 8px;
}

/* Guest-day / exam-week accent on the week header stripe */
.week-header {
  border-left: 4px solid #f76900;
  padding-left: 0.9rem;
}

.tbd {
  font-size: 0.82em;
  font-weight: 400;
  font-style: italic;
  color: #999;
}

.new-badge {
  display: inline-block;
  vertical-align: middle;
  font-size: 0.6rem;
  font-weight: 700;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: #fff;
  background: #0aa6b7;
  padding: 2px 8px;
  border-radius: 999px;
  margin-left: 6px;
}

/*********************************************/
/** Deadline Example Styling               **/
/*********************************************/
.deadline {
  background-color: #ffe9e9;
  padding: 0.5rem;
  border-left: 4px solid #ffcccc;
  border-radius: 4px;
}

/* "(tentative)" marker — public build only, on days whose materials are not
   yet released. Signals that the topic and readings may still change. */
.tentative {
  font-size: 0.8em;
  font-weight: 400;
  font-style: italic;
  color: #9aa3b3;
  white-space: nowrap;
}

/**
 * AI-generation disclosure banner
 *
 * Markup lives in _includes/ai-disclosure.html; the styles are here rather than
 * in a page's own <style> block so the banner looks the same wherever it is
 * included. Red on purpose: this is a notice students must not skim past.
 */
.ai-disclosure {
  border: 3px solid #c0261c;
  border-radius: 6px;
  background: #fff5f4;
  padding: 1em 1.2em;
  margin: 0 0 2em 0;
  color: #8f1c15;
}
.ai-disclosure p {
  margin: 0 0 0.6em 0;
  font-weight: 600;
}
.ai-disclosure a {
  color: #c0261c;
  text-decoration: underline;
}

.ai-disclosure__title {
  font-weight: 800;
  font-size: 1.15rem;
  color: #c0261c;
  margin: 0 0 0.5em 0;
  letter-spacing: 0.01em;
}

.ai-disclosure__sig {
  margin-bottom: 0;
  font-style: italic;
}

/**
 * Syntax highlighting styles
 */
.highlight .hll {
  background-color: #ffffcc;
}

.highlight .c {
  color: #60a0b0;
  font-style: italic;
} /* Comment */
.highlight .err {
  border: 1px solid #FF0000;
} /* Error */
.highlight .k {
  color: #007020;
  font-weight: bold;
} /* Keyword */
.highlight .o {
  color: #666666;
} /* Operator */
.highlight .cm {
  color: #60a0b0;
  font-style: italic;
} /* Comment.Multiline */
.highlight .cp {
  color: #007020;
} /* Comment.Preproc */
.highlight .c1 {
  color: #60a0b0;
  font-style: italic;
} /* Comment.Single */
.highlight .cs {
  color: #60a0b0;
  background-color: #fff0f0;
} /* Comment.Special */
.highlight .gd {
  color: #A00000;
} /* Generic.Deleted */
.highlight .ge {
  font-style: italic;
} /* Generic.Emph */
.highlight .gr {
  color: #FF0000;
} /* Generic.Error */
.highlight .gh {
  color: #000080;
  font-weight: bold;
} /* Generic.Heading */
.highlight .gi {
  color: #00A000;
} /* Generic.Inserted */
.highlight .go {
  color: #808080;
} /* Generic.Output */
.highlight .gp {
  color: #c65d09;
  font-weight: bold;
} /* Generic.Prompt */
.highlight .gs {
  font-weight: bold;
} /* Generic.Strong */
.highlight .gu {
  color: #800080;
  font-weight: bold;
} /* Generic.Subheading */
.highlight .gt {
  color: #0040D0;
} /* Generic.Traceback */
.highlight .kc {
  color: #007020;
  font-weight: bold;
} /* Keyword.Constant */
.highlight .kd {
  color: #007020;
  font-weight: bold;
} /* Keyword.Declaration */
.highlight .kn {
  color: #007020;
  font-weight: bold;
} /* Keyword.Namespace */
.highlight .kp {
  color: #007020;
} /* Keyword.Pseudo */
.highlight .kr {
  color: #007020;
  font-weight: bold;
} /* Keyword.Reserved */
.highlight .kt {
  color: #902000;
} /* Keyword.Type */
.highlight .m {
  color: #40a070;
} /* Literal.Number */
.highlight .s {
  color: #4070a0;
} /* Literal.String */
.highlight .na {
  color: #4070a0;
} /* Name.Attribute */
.highlight .nb {
  color: #007020;
} /* Name.Builtin */
.highlight .nc {
  color: #0e84b5;
  font-weight: bold;
} /* Name.Class */
.highlight .no {
  color: #60add5;
} /* Name.Constant */
.highlight .nd {
  color: #555555;
  font-weight: bold;
} /* Name.Decorator */
.highlight .ni {
  color: #d55537;
  font-weight: bold;
} /* Name.Entity */
.highlight .ne {
  color: #007020;
} /* Name.Exception */
.highlight .nf {
  color: #06287e;
} /* Name.Function */
.highlight .nl {
  color: #002070;
  font-weight: bold;
} /* Name.Label */
.highlight .nn {
  color: #0e84b5;
  font-weight: bold;
} /* Name.Namespace */
.highlight .nt {
  color: #062873;
  font-weight: bold;
} /* Name.Tag */
.highlight .nv {
  color: #bb60d5;
} /* Name.Variable */
.highlight .ow {
  color: #007020;
  font-weight: bold;
} /* Operator.Word */
.highlight .w {
  color: #bbbbbb;
} /* Text.Whitespace */
.highlight .mf {
  color: #40a070;
} /* Literal.Number.Float */
.highlight .mh {
  color: #40a070;
} /* Literal.Number.Hex */
.highlight .mi {
  color: #40a070;
} /* Literal.Number.Integer */
.highlight .mo {
  color: #40a070;
} /* Literal.Number.Oct */
.highlight .sb {
  color: #4070a0;
} /* Literal.String.Backtick */
.highlight .sc {
  color: #4070a0;
} /* Literal.String.Char */
.highlight .sd {
  color: #4070a0;
  font-style: italic;
} /* Literal.String.Doc */
.highlight .s2 {
  color: #4070a0;
} /* Literal.String.Double */
.highlight .se {
  color: #4070a0;
  font-weight: bold;
} /* Literal.String.Escape */
.highlight .sh {
  color: #4070a0;
} /* Literal.String.Heredoc */
.highlight .si {
  color: #70a0d0;
  font-style: italic;
} /* Literal.String.Interpol */
.highlight .sx {
  color: #c65d09;
} /* Literal.String.Other */
.highlight .sr {
  color: #235388;
} /* Literal.String.Regex */
.highlight .s1 {
  color: #4070a0;
} /* Literal.String.Single */
.highlight .ss {
  color: #517918;
} /* Literal.String.Symbol */
.highlight .bp {
  color: #007020;
} /* Name.Builtin.Pseudo */
.highlight .vc {
  color: #bb60d5;
} /* Name.Variable.Class */
.highlight .vg {
  color: #bb60d5;
} /* Name.Variable.Global */
.highlight .vi {
  color: #bb60d5;
} /* Name.Variable.Instance */
.highlight .il {
  color: #40a070;
} /* Literal.Number.Integer.Long */
#curpic {
  z-index: 2;
}

code {
  color: #1a1a2e;
  font-size: 0.9em;
  background: #f4f4f8;
  padding: 2px 5px;
  border-radius: 3px;
  word-break: normal;
}

pre code {
  color: inherit;
  background: none;
  padding: 0;
  font-size: inherit;
}

kbd {
  display: inline-block;
  padding: 1px 6px;
  font-size: 0.82em;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  color: #374151;
  background: #fff;
  border: 1px solid #d1d5db;
  border-bottom-width: 2px;
  border-radius: 3px;
  line-height: 1.4;
  box-shadow: 0 1px 0 rgba(0, 0, 0, 0.06);
}

blockquote {
  margin: 1.2em 0;
  padding: 14px 18px;
  background: #fffbeb;
  border: 1px solid #fde68a;
  border-left: 3px solid #f59e0b;
  border-radius: 0 6px 6px 0;
  font-size: 0.92em;
  line-height: 1.6;
}
blockquote p:first-child {
  margin-top: 0;
  font-weight: 600;
  color: #92400e;
  font-size: 0.9em;
}
blockquote p {
  margin: 0.4em 0;
}
blockquote code {
  background: rgba(0, 0, 0, 0.05);
  color: #1a1a2e;
}
blockquote ul {
  margin: 0.4em 0;
  padding-left: 1.3em;
}
blockquote li {
  margin: 0.25em 0;
}
blockquote pre {
  background: #fff;
  border: 1px solid #fde68a;
  border-radius: 4px;
  margin: 0.6em 0;
}
blockquote .highlight {
  background: #fff;
  border-radius: 4px;
}
blockquote .highlighter-rouge {
  background: transparent;
}

.nd-rules-row {
  display: flex;
  flex-wrap: wrap;
  gap: 28px;
  margin: 1.2em 0;
  align-items: flex-end;
}

.nd-rule {
  display: inline-flex;
  flex-direction: column;
  align-items: center;
  position: relative;
  margin: 0.8em 0;
  padding-right: 70px;
  font-family: "Palatino Linotype", Palatino, Georgia, serif;
  font-size: 0.95em;
}

.nd-rule .nd-premise,
.nd-rule .nd-side {
  padding: 0 8px 5px;
  white-space: nowrap;
}

.nd-rule .nd-side {
  font-size: 0.88em;
  color: #6b7280;
  font-style: italic;
}

.nd-rule .nd-conclusion {
  border-top: 1.5px solid #374151;
  padding: 5px 8px 0;
  white-space: nowrap;
}

.nd-rule .nd-label {
  position: absolute;
  right: 0;
  bottom: 2px;
  font-size: 0.75em;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-weight: 500;
  color: #9ca3af;
  white-space: nowrap;
}

.smallright {
  float: right;
  width: 350px;
}

article img {
  margin: auto;
  width: 80%;
}

.main p {
  text-indent: 0px;
}

.post-link h2 {
  margin-top: auto;
  margin-bottom: auto;
}

.main h2 {
  margin-top: 0.7em;
  margin-bottom: 0.3em;
}

ul p {
  text-indent: 0px;
}

.jumbopic {
  height: 100px;
}

.introtext ul li {
  display: inline;
}

.areadesc {
  vertical-align: top;
  text-align: center;
  padding: 5px;
  padding-left: 20px;
}

.areadesc h2, h4 {
  margin-top: 0px;
}

.areadescleft {
  vertical-align: top;
  text-align: left;
  padding: 5px;
  padding-left: 20px;
}

.areadesc hr {
  border-top: 2px solid #ccc;
}

.post-link h2 {
  margin-top: auto;
  margin-bottom: auto;
}

#topcontainer {
  max-width: 850px;
  width: 850px;
  left: 50%;
  position: absolute;
  top: 0px;
}

#topcontent {
  width: 850px;
  position: absolute;
  text-align: left;
  top: 340px;
  color: #fff;
  left: -50%;
}

#mainpagecontent {
  margin-top: 6.5em;
}

#mainpgvenn {
  margin-top: 50px;
  margin-bottom: 40px;
}

#mainwrapper {
  margin-right: auto;
  margin-left: auto;
  max-width: 850px;
}

#mainwrapper h2 {
  margin-top: 1em;
  margin-bottom: 0.4em;
}

#mainwrapper h3 {
  margin-top: 0.7em;
  margin-bottom: 0.4em;
}

#topblurb {
  margin-top: 25px;
  color: black;
}

.introtext a {
  color: white;
}

.blackhat {
  color: black;
  text-shadow: 1px 1px 2px white, 0 0 25px white, 0 0 5px white;
}

.introtext a:hover {
  color: cyan;
}

.researchareas {
  witdh: 500px;
}

#practice {
  padding-top: 60px;
}

.bs-docs-header {
  position: relative;
  text-align: center;
  background-color: #000729;
  background-image: linear-gradient(115deg, rgba(247, 105, 0, 0.2) 0%, rgba(0, 0, 0, 0) 45%), linear-gradient(300deg, rgba(10, 166, 183, 0.18) 0%, rgba(0, 0, 0, 0) 50%), linear-gradient(to bottom, #000e54 0%, #000729 100%), repeating-linear-gradient(0deg, rgba(255, 255, 255, 0.035) 0 1px, rgba(0, 0, 0, 0) 1px 34px), repeating-linear-gradient(90deg, rgba(255, 255, 255, 0.035) 0 1px, rgba(0, 0, 0, 0) 1px 34px);
  background-size: cover, cover, cover, 34px 34px, 34px 34px;
  display: flex;
  align-items: center;
  justify-content: center;
  min-height: 250px;
  padding: 52px 20px 56px;
  background-repeat: no-repeat;
  background-position: center;
  overflow: hidden;
}

.bs-docs-header::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: 0;
  height: 5px;
  background: linear-gradient(90deg, #f76900 0%, #0aa6b7 100%);
}

.introtext h3.tagline {
  font-size: 18px;
  font-weight: 300;
  color: #d7dde8;
  margin-top: 10px;
}

.introtext .amp {
  color: #f76900;
}

#researchareas {
  magin: auto;
}

.outcomes {
  font-size: 15pt;
}

.obj {
  margin-bottom: 15px;
  margin-top: 20px;
}

.post-link {
  font-size: 12pt;
  margin-top: auto;
  margin-bottom: auto;
}

.social-media-list .glyphicon-calendar {
  margin-right: 5px;
}

.projdesc {
  border-right: 3px double #828282;
  border-bottom: 0px solid #828282;
}

.grade-table {
  margin-top: 30px;
  border-bottom: 1px solid #dee2e6;
  border-spacing: 0;
  border-collapse: separate;
  text-align: center;
}

.smgradecol {
  border-right: 1px dotted #828282;
}

.lggradecol {
  border-right: 3px double #828282;
}

.smhgradecol {
  border-top: 0px dotted #828282;
  border-right: 1px dotted #828282;
}

.lghgradecol {
  border-top: 0px dotted #828282;
  border-right: 3px double #828282;
}

.examdesc {
  border-right: 3px double #828282;
  border-bottom: 0px solid #828282;
}

.card-body {
  padding: 5px;
}

.pcardtitle {
  margin-top: 0px;
  margin-bottom: 0px;
  text-align: center;
}

.tagbox {
  font-size: 11pt;
}

.card p {
  margin-left: auto;
  margin-right: auto;
  text-align: center;
  margin-bottom: 1px;
}

#projectquestions {
  margin-top: 0px;
  margin-bottom: 5px;
}

#examquestions {
  border-top: 1px dotted black;
  margin-top: 0px;
  padding-top: 5px;
}

.egrade {
  margin-top: 5px;
}

.participation {
  margin-top: 15px;
  font-size: 11pt;
  line-height: 1;
}

.egrade {
  margin-left: 60px;
}

.pfail {
  stroke: lightgrey;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
}

.pminimal {
  stroke: #FFC0CB;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
}

.psat {
  stroke: lightgreen;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
}

.pex {
  stroke: gold;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
}

.eex {
  stroke: gold;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
  stroke-dasharray: 100;
  stroke-dashoffset: 0;
}

.esat {
  stroke: lightgreen;
  transition: stroke-dashoffset 1s linear;
  stroke-dashoffset: 0;
  stroke-width: 1em;
}

.efail {
  stroke: lightgrey;
  transition: stroke-dashoffset 1s linear;
  stroke-width: 1em;
}

#projectquestions {
  position: relative;
}

#examquestions {
  position: relative;
}

#exams:after {
  position: absolute;
  display: block;
  height: 100px;
  width: 100px;
  left: 43%;
  top: 33%;
  content: attr(grade);
  margin-top: 0px;
  margin-left: 0px;
  border-radius: 100%;
  font-size: 2.5em;
}

#projects:after {
  position: absolute;
  display: block;
  left: 43%;
  top: 26%;
  content: attr(grade);
  margin-top: 0px;
  margin-left: 0px;
  border-radius: 100%;
  font-size: 2.5em;
}

.leftside {
  padding-top: 0px;
  padding-left: 0px;
  padding-right: 25px;
}

.rightside {
  padding-top: 100px;
  padding-left: 0px;
  padding-right: 0px;
}

#min {
  text-align: center;
}

.points {
  font-size: 14pt;
  line-height: 1.4;
  margin-bottom: 0px;
  text-align: center;
}

/* .post-preview { */
/*     position: relative; */
/* } */
/* .post-preview ::after { */
/*     content  : ""; */
/*     position : absolute; */
/*     z-index  : 1; */
/*     bottom   : 0; */
/*     left     : 0; */
/*     pointer-events   : none; */
/*     background-image : linear-gradient(to bottom,  */
/*                                        rgba(255,255,255, 0),  */
/*                                        rgba(255,255,255, 1) 90%); */
/*     width    : 100%; */
/*     height   : 4em; */
/* } */
/**
 * Front-page hero
 */
.introtext {
  color: #fff;
  text-align: center;
  max-width: 780px;
  width: 100%;
}

.course-numbers {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 7px 8px;
  margin: 0 0 20px;
  padding: 0;
  list-style: none;
}
.course-numbers li {
  display: inline-block;
  padding: 4px 12px 5px;
  border: 1px solid rgba(255, 255, 255, 0.24);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.06);
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.1em;
  color: #d8e2f2;
  white-space: nowrap;
}

.course-name {
  margin: 0;
  font-size: 46px;
  font-weight: 300;
  line-height: 1.12;
  letter-spacing: -0.015em;
  color: #fff;
  text-shadow: 0 2px 18px rgba(0, 0, 0, 0.45);
}
.course-name .amp {
  color: #f76900;
  font-weight: 400;
}

.course-term {
  margin: 16px 0 0;
  font-size: 15px;
  font-weight: 400;
  letter-spacing: 0.05em;
  color: #b8c4dc;
}

@media (max-width: 700px) {
  .bs-docs-header {
    padding: 40px 16px 44px;
    min-height: 0;
  }
  .course-name {
    font-size: 32px;
  }
  .course-numbers li {
    font-size: 11px;
    padding: 3px 10px 4px;
  }
}

/*# sourceMappingURL=main.css.map */