/* TODO migrate this to the base theme */
body {
  height: 100%;
  position: relative;
}
/* end TODO */

table {
  border: 1px solid gray;
  margin-bottom: 10px;
  width: 100%;
}

table tr {
  border: 1px solid gray;
}

table tr td,
table tr th {
  border: 1px solid gray;
  padding: 10px;
}

.hero-bg-img {
  /* asu red */
  background-color: #a30046;
}

.inline {
  display:inline-block;
}

.border-thick {
  border: 1px solid black !important;
}

.border {
  border: 1px dotted red !important;
}

h1, h2 {
  margin-top: 15px;
}

.highlight pre {
  border: none;
}

/*!
 * Bootstrap Docs (http://getbootstrap.com)
 * Copyright 2011-2014 Twitter, Inc.
 * Licensed under the Creative Commons Attribution 3.0 Unported License. For
 * details, see http://creativecommons.org/licenses/by/3.0/.
 *
/*
 * BEGIN CSS code from Bootstrap
 */
.bs-example {
  position: relative;
  padding: 45px 15px 15px;
  margin: 0 -15px 15px;
  border-color: #e5e5e5 #eee #eee;
  border-style: solid;
  border-width: 1px 0;
  -webkit-box-shadow: inset 0 3px 6px rgba(0,0,0,.05);
  box-shadow: inset 0 3px 6px rgba(0,0,0,.05);
}

@media (min-width: 768px) {
  .bs-example {
    margin-right: 0;
    margin-left: 0;
    background-color: #fff;
    border-color: #ddd;
    border-width: 1px;
    border-radius: 4px 4px 0 0;
    -webkit-box-shadow: none;
    box-shadow: none;
  }
}

.bs-example+.highlight {
  margin: -15px -15px 15px;
  border-width: 0 0 1px;
  border-radius: 0;
}

.highlight {
  padding: 9px 14px;
  margin-bottom: 14px;
  background-color: #f7f7f9;
  border: 1px solid #e1e1e8;
  border-radius: 4px;
}

@media (min-width: 768px) {
  .bs-example+.highlight {
    margin-top: -16px;
    margin-right: 0;
    margin-left: 0;
    border-width: 1px;
    border-bottom-right-radius: 4px;
    border-bottom-left-radius: 4px;
  }
}

.bs-example:after {
  position: absolute;
  top: 15px;
  left: 15px;
  font-size: 12px;
  font-weight: 700;
  color: #959595;
  text-transform: uppercase;
  letter-spacing: 1px;
  content: "Example";
}

/*
 * Image Credits
 */
.hero {
  position: relative;
}

.image-credit {
  bottom: 0;
  color: white;
  position: absolute;
  right: 0;
}

/**
 * Related Articles
 */
.related-articles {
  background-color: #e5e5e5;
  border-top: 1px solid #1e1e1e;
  padding-bottom: 45px;
  padding-top: 0;
}

.related-articles li {
  margin-right: 10px;
}

.related-articles li a {
  background-color: white;
}

/*
 * END CSS code from Bootstrap
 */