/* GENERATED by _build/generate-code-css.js — do not edit by hand. */

/* ---- Ace "tomorrow" theme, taken verbatim from ace-builds ---- */
.ace-tomorrow .ace_gutter {
  background: #f6f6f6;
  color: #4D4D4C
}

.ace-tomorrow .ace_print-margin {
  width: 1px;
  background: #f6f6f6
}

.ace-tomorrow {
  background-color: #FFFFFF;
  color: #4D4D4C
}

.ace-tomorrow .ace_cursor {
  color: #AEAFAD
}

.ace-tomorrow .ace_marker-layer .ace_selection {
  background: #D6D6D6
}

.ace-tomorrow.ace_multiselect .ace_selection.ace_start {
  box-shadow: 0 0 3px 0px #FFFFFF;
}

.ace-tomorrow .ace_marker-layer .ace_step {
  background: rgb(255, 255, 0)
}

.ace-tomorrow .ace_marker-layer .ace_bracket {
  margin: -1px 0 0 -1px;
  border: 1px solid #D1D1D1
}

.ace-tomorrow .ace_marker-layer .ace_active-line {
  background: #EFEFEF
}

.ace-tomorrow .ace_gutter-active-line {
  background-color : #dcdcdc
}

.ace-tomorrow .ace_marker-layer .ace_selected-word {
  border: 1px solid #D6D6D6
}

.ace-tomorrow .ace_invisible {
  color: #D1D1D1
}

.ace-tomorrow .ace_keyword,
.ace-tomorrow .ace_meta,
.ace-tomorrow .ace_storage,
.ace-tomorrow .ace_storage.ace_type,
.ace-tomorrow .ace_support.ace_type {
  color: #8959A8
}

.ace-tomorrow .ace_keyword.ace_operator {
  color: #3E999F
}

.ace-tomorrow .ace_constant.ace_character,
.ace-tomorrow .ace_constant.ace_language,
.ace-tomorrow .ace_constant.ace_numeric,
.ace-tomorrow .ace_keyword.ace_other.ace_unit,
.ace-tomorrow .ace_support.ace_constant,
.ace-tomorrow .ace_variable.ace_parameter {
  color: #F5871F
}

.ace-tomorrow .ace_constant.ace_other {
  color: #666969
}

.ace-tomorrow .ace_invalid {
  color: #FFFFFF;
  background-color: #C82829
}

.ace-tomorrow .ace_invalid.ace_deprecated {
  color: #FFFFFF;
  background-color: #8959A8
}

.ace-tomorrow .ace_fold {
  background-color: #4271AE;
  border-color: #4D4D4C
}

.ace-tomorrow .ace_entity.ace_name.ace_function,
.ace-tomorrow .ace_support.ace_function,
.ace-tomorrow .ace_variable {
  color: #4271AE
}

.ace-tomorrow .ace_support.ace_class,
.ace-tomorrow .ace_support.ace_type {
  color: #C99E00
}

.ace-tomorrow .ace_heading,
.ace-tomorrow .ace_markup.ace_heading,
.ace-tomorrow .ace_string {
  color: #718C00
}

.ace-tomorrow .ace_entity.ace_name.ace_tag,
.ace-tomorrow .ace_entity.ace_other.ace_attribute-name,
.ace-tomorrow .ace_meta.ace_tag,
.ace-tomorrow .ace_string.ace_regexp,
.ace-tomorrow .ace_variable {
  color: #C82829
}

.ace-tomorrow .ace_comment {
  color: #8E908C
}

.ace-tomorrow .ace_indent-guide {
  background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAACCAYAAACZgbYnAAAAE0lEQVQImWP4////f4bdu3f/BwAlfgctduB85QAAAABJRU5ErkJggg==) right repeat-y
}

.ace-tomorrow .ace_indent-guide-active {
  background: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAACCAYAAACZgbYnAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAIGNIUk0AAHolAACAgwAA+f8AAIDpAAB1MAAA6mAAADqYAAAXb5JfxUYAAAAZSURBVHjaYvj///9/hivKyv8BAAAA//8DACLqBhbvk+/eAAAAAElFTkSuQmCC") right repeat-y;
} 


/* ---- static code block layout ---- */

/* The selector has to outrank bulma's `.content pre` (0,1,1), which would
   otherwise win the padding and push the text out of line with the gutter. */
pre.gt-static {
	margin: var(--global-padding) 0;
	padding: 0 0 0 var(--gt-gutter, 40px);
	font-size: 14px;
	line-height: 21px;
	counter-reset: gt-static-line;
	overflow: hidden;
	border-radius: 4px;
	/* the gutter is a background band, not a separately scrolling layer */
	background: linear-gradient(
		to right,
		#f6f6f6 0,
		#f6f6f6 var(--gt-gutter, 40px),
		#ffffff var(--gt-gutter, 40px)
	);
}

pre.gt-static code {
	display: block;
	padding: 0;
	background: none;
	font-size: inherit;
	color: inherit;
}

pre.gt-static .gt-static-line {
	display: block;
	position: relative;
	white-space: pre-wrap;
	word-break: break-word;
	tab-size: 4;
	-moz-tab-size: 4;
	padding-left: 4px;
	min-height: 21px;
}

/* Indent guides: one hairline at the right edge of each indent level, drawn
   over the leading whitespace. Ace paints these with a 1px repeating PNG from
   its base stylesheet (.ace-tm .ace_indent-guide), which the theme alone
   doesn't carry, so this reproduces the same dotted line in CSS. */
pre.gt-static .gt-static-line[style*="--gt-indent"]::after {
	content: "";
	position: absolute;
	left: 4px;
	top: 0;
	bottom: 0;
	width: calc(var(--gt-indent) * 4ch);
	/* One 4ch-wide tile, transparent except a hairline at its right
	   edge; tiled across the indent so every level gets its own guide. */
	background-image: linear-gradient(
		to right,
		transparent calc(4ch - 1px),
		rgba(0, 0, 0, 0.15) calc(4ch - 1px)
	);
	background-size: 4ch 100%;
	background-repeat: repeat-x;
	pointer-events: none;
}

pre.gt-static .gt-static-line::before {
	counter-increment: gt-static-line;
	content: counter(gt-static-line);
	position: absolute;
	left: calc(-1 * var(--gt-gutter, 40px));
	width: var(--gt-gutter, 40px);
	padding-right: 13px;
	box-sizing: border-box;
	text-align: right;
	color: #4d4d4c;
	opacity: 0.7;
	user-select: none;
	-webkit-user-select: none;
	pointer-events: none;
}