.repl {
  margin-bottom: 1em;
}

.repl p {
  line-height: 1;
}

.terminal {
    margin-bottom: 1em;
    padding: 0.5em;
    background: #fafafa;
    border: solid silver 1px;
    border-radius: 4px;
    overflow-x: auto;
}

.terminal .SIntrapara {
    margin: 0 0 0 0;
}

.terminal .prompt {
    margin-left: .5rem;
}

.terminal .prompt:before {
    content: "❯";
    float: left;
    margin-top: -1px;
    color: #aaaaaa;
}

aside.inline-note {
    border: 1px solid #ccb;
    border-left: 0.4rem solid #ccb;
    padding: 0.5em 0.5em 0.5em 3em;
    display: block;
    position: relative;
    overflow: auto;
    background-color: hsl(60, 29%, 94%);
    margin-bottom: 1rem;
}

aside.inline-note:before {
    content: "☞";
    font-size: 1.4em;
    width: 1.2em;
    height: 1.2em;
    left: .85rem;
    top: .25rem;
    display: inline-block;
    position: absolute;
}

aside.inline-note.tip:before { content: "💡"; }
aside.inline-note.warning:before { content: "⚠️"; }
aside.inline-note.note:before { content: "☞"; }

aside.inline-note > .SIntrapara:last-child { margin-bottom: 0; }

/* Callout boxes */
.callout {
  margin: 1.5em 0;
  padding: 1em 1.25em;
  border: 1px solid #3498db;
  border-radius: 4px;
  background-color: #ebf5fb;
}