/** @format */

html,
body {
  margin: 8px 0 0 0;
  padding: 0;
}

body {
  font-family: 'Lucida Grande', 'Helvetica Neue', sans-serif;
  background: rgb(255, 255, 255);
  background: -moz-radial-gradient(
    center,
    ellipse cover,
    rgba(255, 255, 255, 1) 0%,
    rgba(109, 109, 109, 1) 100%
  );
  background: -webkit-gradient(
    radial,
    center center,
    0px,
    center center,
    100%,
    color-stop(0%, rgba(255, 255, 255, 1)),
    color-stop(100%, rgba(109, 109, 109, 1))
  );
  background: -webkit-radial-gradient(
    center,
    ellipse cover,
    rgba(255, 255, 255, 1) 0%,
    rgba(109, 109, 109, 1) 100%
  );
  background: -o-radial-gradient(
    center,
    ellipse cover,
    rgba(255, 255, 255, 1) 0%,
    rgba(109, 109, 109, 1) 100%
  );
  background: -ms-radial-gradient(
    center,
    ellipse cover,
    rgba(255, 255, 255, 1) 0%,
    rgba(109, 109, 109, 1) 100%
  );
  background: radial-gradient(
    ellipse at center,
    rgba(255, 255, 255, 1) 0%,
    rgba(109, 109, 109, 1) 100%
  );
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#6d6d6d',GradientType=1 );
  text-align: center;
}

a,
a:visited {
  color: navy;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

h1 {
  text-align: center;
  margin: 0 0 0.67em 0;
  text-shadow: 2px 2px 0 #aaaaaa;
}

#github_ribbon {
  position: absolute;
  top: 0;
  right: 0;
  border: 0;
}

#content {
  display: table;
  margin: 0 auto;
  padding: 10px 20px;
  text-align: left;
  background-color: rgba(255, 255, 255, 0.4);
  -moz-border-radius: 5px;
  border-radius: 5px;
}

#demo {
  display: table;
  margin: 20px auto;
}

.back_to_website {
  background-color: rgba(255, 255, 255, 0.2);
  font-size: 1.3em;
  position: absolute;
  top: 6px;
  left: 4px;
}

.back_to_website:hover {
  text-decoration: none;
}

.back_to_website .lambda {
  color: #d40000;
  font-weight: bolder;
}

.nonogram {
  margin: 0 auto;
}

.controls {
  display: flex;
  justify-content: center;
  margin: 16px 0;
  width: 100%;
}

.controls > * {
  margin: 0 4px;
}

.controls label {
  display: block;
}

.controls label,
.controls button {
  font-weight: bolder;
  text-align: center;
}

#play {
  background-color: #00cc00;
}

#width,
#height,
#nonogram_id {
  background-color: #ffffb5;
  text-align: right;
}

#disqus_thread {
  margin-top: 70px;
  background-color: rgba(255, 255, 255, 0.6);
}

.slidecontainer {
  width: 100%; /* Width of the outside container */
}