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

/* Basic styling */
body {
  font-family: "Source Sans Pro", "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-weight: 300;
  font-size: 16px/1.5; 
  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;
  padding-top: 20px;
}

/* 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;
}

.medium-img {
  max-width: 400px;
  text-align: center;
}

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

figcaption {
font-size: 14px; }

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

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

/* Headings */
h5, h6 {
font-weight: 300; }

h1, h2, h3, h4 {
font-weight: 600; }

/* Links */
a {
  color: #2a7ae2;
  text-decoration: none; 
}

a:visited {
  color: #1756a9; 
}

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-family: "Inconsolata", monospace;
  font-size: 100%;
  background-color: #f7f7f9;
}

code {
  padding: 1px 5px; 
}

pre {
  padding: 8px 12px;
  overflow-x: auto; 
}

pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0; 
}

/* Site header */
.site-header {
  border-top: 5px solid #424242;
  border-bottom: 1px solid #e8e8e8;
  min-height: 56px;
  position: relative; 
}

/* Site footer */
.site-footer {
  border-top: 1px solid #e8e8e8;
  margin: 20px 20px 50px 20px;
  padding: 30px 0; 
}

.cse-wordmark {
  width:260px;
  float:left;
}

.site-footer-right{
  float:right;
}

.site-header {
  border-bottom-style: none; 
}

.site-footer {
  padding: 10px 0;
}

/* Top Navigation Bar */
.navbar-inverse .navbar-brand {
  background-color: #4b2e83;
  color: white; 
}

.navbar-inverse .navbar-brand:hover,
.navbar-inverse .navbar-brand:focus {
  background-color: #4b2e83; 
}

.navbar-inverse .navbar-nav > li > a {
  color: white; 
}

.navbar-inverse .navbar-nav > li > a:hover,
.navbar-inverse .navbar-nav > li > a:focus {
  color: #b7a57a; 
}

.navbar-right {
  background-color: #4b2e83; 
}

.navbar-inverse .navbar-right > li > a:hover,
.navbar-inverse .navbar-right > li > a:focus {
  color: white; 
}

/* Floating Navigation Box */
.nav-box {
  border: 1px solid #ccc;
  background-color: #eee;
  float: right;
  width: 15em;
  margin: 0px 20px 0px 20px
}

.nav-box ul {
  list-style: none;
  margin: 0px 10px 10px 20px;
}

.nav-box-header {
  font-weight: bold;
  margin: 10px 10px 0px 10px;
}

.container section {
  margin-bottom: 15px;
}

div.staff {
  text-align: center;
  display: inline-flex;
  flex-direction: column;
  vertical-align: top;
  margin-right: 15px;
}

.staff-row {
  margin-bottom: 15px;
}

.staff div {
  margin-left: auto;
  margin-right: auto;
  width: 100px;
  height: 100px;
  overflow: hidden;
}

.staff > div {
  display: flex;
  align-items: center;
}

.instructors > div {
  width: 30%;
  flex-direction: row;
}

.instructors .info {
  margin-left: 0;
  flex-direction: column;
  align-items: flex-start;
  text-align: left;
  width: auto;
}

.instructors .info p {
  margin-bottom: 0;
}

.instructors .staff > div:first-child {
  margin-left: 0;
  margin-right: 10px;
}

.staff .name {
  margin-top: 5px;
  line-height: 1.1em;
  margin-bottom: 1px;
}

.staff .name a {
  color: #4b2e83;
}

.staff i {
  color: #2e2e2e;
  margin-left: 4px;
}

p.hw-button-links .turnin {
  margin-left: 5px;
}

.no-bullets {
  list-style: none;
}

.centered-note {
  text-align: center;
  font-style: italic;
  font-size: 14pt;
}

.top-border {
  border-top: 0.15em solid #9e9e9e;
  padding-top: 15px;
}