/* Tomorrow Night Bright Theme */
/* Original theme - https://github.com/chriskempson/tomorrow-theme */
/* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
/* Tomorrow Comment */
.hljs-comment,
.hljs-quote {
  color: #969896; }

/* Tomorrow Red */
.hljs-variable,
.hljs-template-variable,
.hljs-tag,
.hljs-name,
.hljs-selector-id,
.hljs-selector-class,
.hljs-regexp,
.hljs-deletion {
  color: #d54e53; }

/* Tomorrow Orange */
.hljs-number,
.hljs-built_in,
.hljs-builtin-name,
.hljs-literal,
.hljs-type,
.hljs-params,
.hljs-meta,
.hljs-link {
  color: #e78c45; }

/* Tomorrow Yellow */
.hljs-attribute {
  color: #e7c547; }

/* Tomorrow Green */
.hljs-string,
.hljs-symbol,
.hljs-bullet,
.hljs-addition {
  color: #b9ca4a; }

/* Tomorrow Blue */
.hljs-title,
.hljs-section {
  color: #7aa6da; }

/* Tomorrow Purple */
.hljs-keyword,
.hljs-selector-tag {
  color: #c397d8; }

.hljs {
  display: block;
  overflow-x: auto;
  background: black;
  color: #eaeaea;
  padding: 0.5em; }

.hljs-emphasis {
  font-style: italic; }

.hljs-strong {
  font-weight: bold; }

.console-green {
  color: #c4d264; }

.console-yellow {
  color: #eccd58; }

.console-red {
  color: #ff4c41; }
  .console-red span[class^="hljs-"] {
    color: #ff4c41; }

.console-blue {
  color: #93edfd; }
  .console-blue span[class^="hljs-"] {
    color: #93edfd; }

.unused-clause {
  opacity: 0.5; }

.unfocussed {
  opacity: 0.66; }

.hljs-number {
  color: #eccd58; }

html {
  height: 100%; }

body {
  height: 100%;
  font: 13pt "Oxygen";
  font-weight: 100;
  -webkit-text-size-adjust: 100%;
  margin: 0; }
  @media screen {
    body {
      background: linear-gradient(145deg, #E1C2EA, #b263c9);
      background-repeat: no-repeat;
      background-attachment: fixed; } }

h1, h2, h3, h4 {
  color: #791E94; }

h1 {
  font-size: 2rem; }

h2 {
  font-size: 1.5rem;
  font-weight: bold; }

h3 {
  font-size: 1.25rem; }

p, ul, ol {
  line-height: 150%; }

a {
  color: #B559D1; }

article img {
  max-width: 100%; }
article code {
  font-family: "Anonymous Pro"; }
article p code, article ul code {
  background: #FBECFF;
  border-radius: 3px;
  padding: 3px; }
article pre code {
  font-size: 1rem;
  line-height: 133%;
  border-left: 5px solid #B559D1; }
article aside {
  border-color: #80DED9;
  background: #f9fefd; }
  article aside header {
    font-weight: bold;
    font-size: 1.5rem; }
article aside + aside {
  margin-top: 20px; }
article aside, article blockquote {
  border-width: 2px;
  border-style: solid;
  border-radius: 5px;
  padding: 15px; }
  article aside p:last-child, article blockquote p:last-child {
    margin-bottom: 0px; }
article blockquote {
  margin: 0;
  border-color: #9DD1F1;
  background: #e0f0fb; }
  article blockquote p {
    margin: 0; }
article figure {
  text-align: center; }
  article figure img {
    max-width: 45vw;
    border: 1px solid #D7D7D7; }
  article figure figcaption {
    font-size: 85%; }

footer {
  text-align: center; }

.wrapper {
  background: white;
  padding: 2.5% 5%; }
  @media only screen and (min-device-width: 750px) {
    .wrapper {
      margin: 0 10%; } }

.toc {
  font-size: 1.2rem;
  line-height: 150%; }

.center {
  text-align: center; }

.todo {
  background: #de0000;
  padding: 25px;
  color: white;
  font-weight: bold; }

.todo + .todo {
  margin-top: 25px; }

.large {
  font-size: 3.5rem; }

.intro .cover {
  text-align: center; }
.intro .cover img {
  max-width: 100%;
  max-height: 200px; }
  @media only screen and (min-width: 48em) {
    .intro .cover img {
      max-height: 500px; } }
.intro .buy {
  border-radius: 3px;
  border: 3px solid #681a7f;
  font-size: 150%;
  padding: 10px 20px;
  color: white;
  background: linear-gradient(125deg, #791E94, #be55dd); }

.highlight {
  padding: 2px 3px; }

.highlight-red {
  background: #ff4c41;
  color: #ffdcda; }

.highlight-yellow {
  background: #eccd58;
  color: #fcf6e1; }

.highlight-green {
  background: #c4d264;
  color: #f1f4db; }

.highlight-blue {
  background: #93edfd;
  color: white; }

.hljs-symbol {
  color: #93edfd; }

@m;