/*****************************************************************************/
/*
/* Common
/*
/*****************************************************************************/

/* Global Reset */

html, body { height: 100%; }

body {
  background-color: #FFF;
  font: 13.34px Helvetica, Arial, sans-serif;
  font-size: small;
}

h1, h2, h3, h4, h5, h6 {
  font-size: 100%; }

h1 {
    margin-bottom: 1em;
}
p { margin: 1em 0; }

a         { color: #00a; }
a:hover   { color: #000; }
/*a:visited { color: #a0a; }*/

/*****************************************************************************/
/*
/* Home
/*
/*****************************************************************************/

.container {
    margin-top: 10px;
}

.navbar-brand {
    opacity: .55;
}
.navbar-brand:hover {
    opacity: 1;
    margin-top: -1px;
}
.navbar-brand h1 {
    display: inline;
    font-size: 1em;
    vertical-align: middle;
    color: #444;
}

.logo {
    margin-right: 5px;
    margin-top: -20px;
    width: 40px;
    vertical-align: top;
}
.info h3 {
    margin-bottom: 5px;
    margin-top: 5px;
    font-size: 1em;
}

.posts {
  list-style-type: none;
  margin-bottom: 2em;
}

.posts li {
  line-height: 1.75em;
}

.posts span {
  color: #aaa;
  font-family: Monaco, "Courier New", monospace;
  font-size: 80%;
}

/*****************************************************************************/
/*
/* Site
/*
/*****************************************************************************/

.site {
  font-size: 115%;
  text-align: justify;
  width: 42em;
  margin: 3em auto 2em;
  line-height: 1.5em;
}

.header a {
  font-weight: bold;
  text-decoration: none;
}

.title {
  display: inline-block;
  margin-bottom: 2em;
}

.title a {
  color: #a00;
}

.title a:hover {
  color: #000;
}

.header a.extra {
  color: #aaa;
  margin-left: 1em;
}

.header a.extra:hover {
  color: #000;
}

.meta {
  color: #aaa;
}

.footer {
  font-size: 80%;
  color: #666;
  border-top: 4px solid #eee;
  margin-top: 2em;
  overflow: hidden;
}

.footer .contact {
  float: left;
  margin-right: 3em;
}

.footer .contact a {
  color: #8085C1;
}

.footer .rss {
  margin-top: 1.1em;
  margin-right: -.2em;
  float: right;
}

.footer .rss img {
  border: 0;
}

pre {
  border: 1px solid #ddd;
  white-space: pre-wrap;
  padding: 0.4em;
}

pre.terminal code {
  background-color: #333;
}

.post ul, .post ol {
  margin-left: 1.35em;
}

.post code {
  border: 1px solid #ddd;
  background-color: #eef;
  padding: 0 .2em;
}

.post pre code {
  border: none;
}

/* terminal */
pre.terminal {
  border: 1px solid #000;
  background-color: #333;
  color: #FFF;
}

.semester-warning {
    width: 100%;
    text-align:center;
    color: #fff;
    background-color:#f00;
    padding: 5px 0;
    font-size: 1.2em;

    /* Summer: */
    display: block;

    /* Fall/Spring */
    /*display: none;*/
}

.semester-warning h1 {
    font-size: 1.25em;
    margin: 0;
}

.centered-list {
    width: 95%;
    padding: 0;
    margin: auto;
    text-align: center;
}

.flow-list-item {
    display: inline-block;
    padding: 10px;
}

.ta-box {
    text-align: center;
    font-size: 12px;
    width: 200px;
    border: 1px solid gray;
    box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}

.ta-image {
    width: 100%;
    height: 200px;
    padding-bottom: 5px;
}