/** @file emulator_scss.scss
 *  @brief scss file used for the emulator site. Needed to have nice looking
 *         mixins to be consistent with the emulator itself.
 *
 *  @author Lucas Ray (ltray@cmu.edu)
 */
.rounded {
  border-radius: 10px;
  -moz-border-radius: 10px; }

.shadow {
  -moz-box-shadow: 0px 0px 2px 1px rgba(32, 32, 32, 0.8);
  -webkit-box-shadow: 0px 0px 2px 1px rgba(32, 32, 32, 0.8);
  box-shadow: 0px 0px 2px 1px rgba(32, 32, 32, 0.8); }

.board {
  background: #407f5a;
  background-image: url("../images/emulator/noise.png");
  background-image: -webkit-gradient(linear, left top, left bottom, from(rgba(64, 127, 90, 0.2)), to(rgba(64, 127, 90, 0.2))), url("../images/emulator/noise.png");
  background-image: -webkit-linear-gradient(top, rgba(64, 127, 90, 0.2), rgba(64, 127, 90, 0.2)), url("../images/emulator/noise.png");
  /* Chrome 10+, Saf5.1+ */
  background-image: -moz-linear-gradient(top, rgba(64, 127, 90, 0.2), rgba(64, 127, 90, 0.2)), url("../images/emulator/noise.png");
  /* FF3.6+ */
  background-image: -ms-linear-gradient(top, rgba(64, 127, 90, 0.2), rgba(64, 127, 90, 0.2)), url("../images/emulator/noise.png");
  /* IE10 */
  background-image: -o-linear-gradient(top, rgba(64, 127, 90, 0.2), rgba(64, 127, 90, 0.2)), url("../images/emulator/noise.png");
  /* Opera 11.10+ */
  background-image: linear-gradient(top, rgba(64, 127, 90, 0.2), rgba(64, 127, 90, 0.2)), url("../images/emulator/noise.png");
  /* W3C */
  padding: 5px;
  color: white;
  font-size: 16px;
  border: solid thin rgba(20, 20, 20, 0.4); }
  .board .icon {
    width: 200px;
    height: 200px; }

section {
  padding-top: 50px;
  padding-bottom: 50px;
  width: 100%;
  background: #f0f0f0;
  background-image: url("../images/emulator/noise.png");
  background-image: -webkit-gradient(linear, left top, left bottom, from(rgba(240, 240, 240, 0.2)), to(rgba(240, 240, 240, 0.2))), url("../images/emulator/noise.png");
  background-image: -webkit-linear-gradient(top, rgba(240, 240, 240, 0.2), rgba(240, 240, 240, 0.2)), url("../images/emulator/noise.png");
  /* Chrome 10+, Saf5.1+ */
  background-image: -moz-linear-gradient(top, rgba(240, 240, 240, 0.2), rgba(240, 240, 240, 0.2)), url("../images/emulator/noise.png");
  /* FF3.6+ */
  background-image: -ms-linear-gradient(top, rgba(240, 240, 240, 0.2), rgba(240, 240, 240, 0.2)), url("../images/emulator/noise.png");
  /* IE10 */
  background-image: -o-linear-gradient(top, rgba(240, 240, 240, 0.2), rgba(240, 240, 240, 0.2)), url("../images/emulator/noise.png");
  /* Opera 11.10+ */
  background-image: linear-gradient(top, rgba(240, 240, 240, 0.2), rgba(240, 240, 240, 0.2)), url("../images/emulator/noise.png");
  /* W3C */ }
  section ul {
    list-style-type: square; }

section[id="motivation"] {
  padding-top: 120px; }

hr {
  margin: 0px; }

#example {
  width: 100%; }

.center {
  width: 100%;
  text-align: center; }