body {
  font-size: 16px;
  line-height: 1.5em;
  color: #363636;
  font-weight: 300;
  background: #fbfaf5;
  font-family: "Open Sans", Helvetica, Arial, sans-serif;
}
.container {
  width: 950px;
  margin: 0;
  padding: 80px 0px 50px 50px;
}
p, li {
  width: 625px;
}
b {
	font-weight: 600;
}
a {
  color: #00bff3;
  font-weight: 300;
  text-decoration: none;
}
a:hover {
	color: #007ea1;
}
h1, h2, h3, h4, h5, h6, b.header {
  font-size: 18px;
  color: #000;
  margin-top: 40px;
  margin-bottom: 15px;
  text-shadow: #fff 0 1px 1px;
}
h1 {
  font-size: 30px;
  line-height: 34px;
  font-weight: 800;
  color: #00bff3;
  padding-bottom: 15px;
  border-bottom: 1px solid #e9e6d7;
  width: 625px;
}
br.clear {
  height: 0;
  clear: both;
}
ul {
  padding-left: 20px;
}
b.header {
  display: block;
  font-weight: 600;
  font-size: 22px;
  color: #363636;
}
li {
  margin-bottom: 10px;
}
table {
  margin: 16px 0 0 13px; padding: 0;
  width: 625px;
}
  tr, td {
    margin: 0; padding: 0;
  }
    td {
      padding: 9px 15px 9px 0;
      vertical-align: top;
    }
table.definitions {
  width: auto;
  margin: 30px 0;
  border-left: 5px solid rgba(0,0,0,0.2);;
}
  table.definitions td {
    text-align: center;
    padding: 5px 20px;
  }
code, pre, tt, textarea {
  font-family: Monaco, Consolas, "Lucida Console", monospace;
  font-size: 12px;
  line-height: 18px;
  color: #155;
  white-space: pre-wrap;
  word-wrap: break-word;
}
  tt {
    display: inline-block;
    background: #fff;
    border: 1px solid #dedede;
    padding: 0px 0.2em;
  }
  pre {
    border-left: 5px solid rgba(0,0,0,0.2);
    padding: 3px 0 3px 12px;
    font-size: 12px;
  }
    pre.no_bar {
      border-left: 0;
      margin-left: 0;
      padding-left: 0;
    }
.timestamp {
  font-size: 12px;
  font-weight: 300;
  color: black;
}
  .timestamp small {
    font-size: 11px;
    text-transform: uppercase;
  }
div.code {
  position: relative;
  background: #5b4e3a;
  -webkit-border-radius: 5px; -moz-border-radius: 5px; border-radius: 5px;
  zoom: 1;
}

div.code:before {
	position: absolute;
	content: "";
	top: -2px;
	left: 430px;
	width: 31px;
	height: 44px;
	background: url('../images/iced-ribbon.png') 0 0 no-repeat;;
}
.navigation .contents.repl_wrapper div.code:before {
	background: none;
}

  div.code .minibutton {
    text-transform: none;
    position: absolute;
    right: 8px; bottom: 8px;
  }
  div.code .load {
    left: 8px; right: auto;
  }
  div.code pre, div.code textarea {
    float: left;
    width: 400px;
    background: #5b4e3a;
    border-left: 2px solid #6d5d45;
    margin: 10px 0 15px 3px;
    padding: 0 50px 0 12px;
  }
    div.code pre:first-child {
      border-left: 0;
    }

#flybar {
  position: fixed;
  z-index: 100;
  height: 70px;
  min-width: 490px;
  left: 0;
  right: 0;
  top: 0;
  padding-left: 290px;
  background: #00bff3;
  border-bottom: 1px solid #aaa;
  -webkit-box-shadow: 0 2px 3px rgba(0,0,0,0.15);
  -moz-box-shadow: 0 2px 3px rgba(0,0,0,0.15);
  box-shadow: 0 2px 3px rgba(0,0,0,0.15);
}
  #logo {
    display: block;
    width: 240px; height: 49px;
    background: url('../images/iced-logo.png') 0 0 no-repeat;
    position: absolute;
    text-indent: -9999px;
    font-size: 1px;
    top: 10px; left: 25px;
  }
  #error {
    position: absolute;
    right: 0px; top: 0px; left: 735px; bottom: 0;
    padding: 25px 0 0 15px;
    background: #d38886;
    color: #fff;
    font-weight: 600;
    font-size: 12px;
    line-height: 18px;
    overflow: hidden;
    text-transform: uppercase;
  }
  #error:before {
	content: "Error";
	position: absolute;
	top: 5px;
	color: #d3403c;
	font-weight: 600;
}
  .navigation {
    font-size: 14px;
    line-height: 14px;
    color: #fff;
    background: #0091b9;
    padding: 15px 20px;
    font-weight: 300;
    border-radius: 10px;
    margin: 15px 15px 0 0;
    position: relative;
    float: left;
    cursor: pointer;
  }
    .navigation.toc {
      border-left-width: 1px;
    }

    .navigation:hover,
    .navigation.active {
      background: #007ea1;
    }
      .navigation.active {
        height: 51px;
        color: #64d4f3;
      }
      .navigation.active.try {
		 -webkit-border-bottom-left-radius: 0; -moz-border-radius-bottomleft: 0; border-bottom-left-radius: 0;
		 -webkit-border-bottom-right-radius: 0; -moz-border-radius-bottomright: 0; border-bottom-right-radius: 0;
	}
    .navigation .button {
      font-weight: 600;
    }
      .navigation .button::selection {
        background: transparent;
      }
    .navigation .contents {
      display: none;
      position: absolute;
      background: #007ea1;
      top: 51px; left: 0;
      padding: 5px 0;
      margin-left: -1px;
      border: 1px solid #aaa;
      -webkit-border-radius: 3px; -moz-border-radius: 3px; border-radius: 3px;
      -webkit-box-shadow: 0 3px 5px rgba(0,0,0,0.2);
      -moz-box-shadow: 0 3px 5px rgba(0,0,0,0.2);
      box-shadow: 0 3px 5px rgba(0,0,0,0.2);
    }
      .navigation .contents a {
        display: block;
        width: 340px;
        text-transform: none;
        text-decoration: none;
        color: #fff;
        height: 12px;
        font-size: 12px;
        line-height: 12px;
        padding: 4px 10px;
        border: 1px solid transparent;
        border-left: 0; border-right: 0;
      }
        .navigation .contents a:hover {
          background: #0091b9;
        }
      .navigation.active .contents {
        display: block;
      }
      .navigation .contents.menu {
        border-top: 0;
        -webkit-border-top-left-radius: 0; -moz-border-radius-topleft: 0; border-top-left-radius: 0;
      }
      .navigation .contents.repl_wrapper {
        padding: 0;
        position: fixed;
        width: auto; height: auto;
        border: 0;
        left: 40px; top: 90px; right: 40px; bottom: 30px;
        background: ##007EA1;
      }
          .repl_bridge {
            display: none;
          }
        .navigation .code .minibutton {
          top: 10px; right: 10px;
          width: 40px;
          text-transform: none;
        }
          .navigation .code a.minibutton.permalink {
            top: 38px;
            display: block;
          }

.bookmark {
  display: block;
  width: 0; height: 0;
  position: relative;
  top: -90px;
}

.navigation .contents.repl_wrapper .code {
  cursor: text;
  -webkit-box-shadow: none; -moz-box-shadow: none; box-shadow: none;
  background: #176980;
  border: 2px solid #555;
  padding: 0;
  position: absolute;
  top: 15px; left: 15px; right: 15px; bottom: 15px;
}
  .repl_wrapper .screenshadow {
    position: absolute;
    width: 200px; height: 150px;
  }
    .repl_wrapper .screenshadow.tl {
      top: 0; left: 0;
      background-position: 0 0;
    }
    .repl_wrapper .screenshadow.tr {
      top: 0; right: 0;
      background-position: -200px 0;
    }
    .repl_wrapper .screenshadow.bl {
      bottom: 0; left: 0;
      background-position: 0 -150px;
    }
    .repl_wrapper .screenshadow.br {
      bottom: 0; right: 0;
      background-position: -200px -150px;
    }

#repl_source, #repl_results {
  background: transparent;
  outline: none;
  margin: 5px 0 20px;
  color: #def;
}
  #repl_results, #repl_source_wrap {
    width: auto; height: auto;
    position: absolute;
    margin-bottom: 0;
    top: 10px; left: 10px; right: 10px; bottom: 15px;
  }
    #repl_source_wrap {
      margin-left: 5px;
      width: 47%; right: 50%;
      float: left;
    }
      #repl_source {
        padding-left: 5px;
        width: 100%;
        height: 100%;
        border: 0;
        overflow-y: auto;
        resize: none;
      }
    #repl_results_wrap {
      white-space: pre;
    }
      #repl_results {
        text-transform: none;
        overflow-y: auto;
        left: 50%;
        border-left-color: #555;
      }

/*----------------------------- Mini Buttons ---------------------------------*/
.minibutton {
  cursor: pointer;
  color: #fff;
  font-weight: 600;
  font-size: 11px;
  line-height: 11px;
  padding: 5px 10px 6px;
  height: 11px;
  text-align: center;
  -webkit-border-radius: 3px; -moz-border-radius: 3px; border-radius: 3px;
  box-shadow: 0 1px 2px rgba(0,0,0,0.2); -webkit-box-shadow: 0 1px 2px rgba(0,0,0,0.2); -moz-box-shadow: 0 1px 2px rgba(0,0,0,0.2);
  background: #00bff3;
}
  .minibutton:active {
    border-color: #aaa;
    box-shadow: 0 1px 2px #e4e4e4; -webkit-box-shadow: 0 1px 2px #e4e4e4; -moz-box-shadow: 0 1px 2px #e4e4e4;
  }
  .minibutton::selection {
    background: transparent;
  }
  .minibutton ::-moz-selection {
    background: transparent;
  }
  .minibutton.ok {
    color: #fff;
    background: #30d27c;
  }
  .minibutton.dark {
    border: 0;
    color: #fff;
    background: #30d27c;
    text-shadow: none;
  }
  .minibutton.ok:hover, .minibutton.dark:hover {
	background: #2bbd70;
}