/* stylesheet for cube solution */


/* ************************************************************************* */
/*                                                                           */
/*   font names and font scaling                                             */
/*                                                                           */
/* ************************************************************************* */

@import "../../../style/default.css";

* {
	font-size: 12pt;
}

/*                     */
/* High level elements */
/*                     */

div.cube-solution:before,
div.cube-solution > div.intro:before,
div.step:before,
div.stage > div.title,
div.substage > div.title {
	font-family: var(--heading-typeface), "Candara", "Verdana";
	color: white;
	background-color: var(--main-accent-color);
	font-size: 250%;
}

div.cube-solution {
	counter-reset: stage;
}

div.cube-solution:before {
	content: "Cube solution: " attr(cube-size) " " attr(method);
	font-size: 18pt;
}

div.stage {
	margin-top: 3em;
	margin-bottom: 3em;
	counter-reset: substage step;
}

div.substage {
	margin-left: 2em;
	margin-top: 1em;
	margin-bottom: 2em;
	counter-reset: step;
}

div.cube-solution > div.intro {
	margin-top: 3em;
}

div.cube-solution > div.intro:before {
	content: "Introduction";
	font-size: 250%;
	padding-bottom: 0.25em;
}

/*      */
/* Step */
/*      */

div.step,
div.single-step {
	margin-bottom: 2em;
}

div.step:before {
	counter-increment: step;
	font-size: 12pt;
	content: "Step " counter(step);
}

/*       */
/* Title */
/*       */

div.title {
	margin-bottom: 0.25em;
	page-break-after: avoid;
}

div.stage > div.title {
	font-size: 16pt;
}

div.stage > div.title:before {
	counter-increment: stage;
	content: "Stage " counter(stage) ": ";
}

div.substage > div.title {
	font-size: 14pt;
}

div.substage > div.title:before {
	counter-increment: substage;
	content: "Stage " counter(stage) "." counter(substage) ": ";
}


/*       */
/* Lists */
/*       */

ul,
ol {
	margin-left: 1em;
}

li {
	page-break-inside: avoid;
}

ul.choice-list > li {
	list-style-type: diamond;
}


/*                        */
/* Generic block elements */
/*                        */

p,
div.named-algorithm,
div.algorithm {
	margin-bottom: 1em;
}

/*                    */
/* Algorithm elements */
/*                    */

li div.algorithm,
li div.named-algorithm {
	display: inline-table;
}

div.algorithm,
div.named-algorithm {
	border: 2px solid gray;
	padding: 0.25em;
	display: table;
}

div.named-algorithm,
div.algorithm,
span.algorithm-ref,
span.algorithm-moves,
span.face {
	font-family: "default-mono", "Consolas", "Menlo", monospace;
}

span.algorithm-ref,
span.face {
	font-weight: bold;
	font-size: 120%;
}

span.algorithm-name {
	font-weight: bold;
	font-size: 14pt;
}

span.algorithm-name:after {
	content: ": ";
}

/*                        */
/* Miscellaneous elements */
/*                        */

div.to-be-supplied:before {
	content: "To be supplied.";
}
