@import  'https://fonts.googleapis.com/css?family=Droid+Sans|Droid+Sans+Mono|Open+Sans:400,600,700';

.elm-music-play-button, .elm-music-stop-button {
  margin: 2px;
}

/* code size in headings * /
h1 code,h2 code,h3 code,h4 code,h5 code,h6 code {
  font-size: 80% !important;
}




/*--------------------------------------------------------------------------
  Formatting for F# code snippets
/*--------------------------------------------------------------------------*/
/* strings --- and stlyes for other string related formats */
span.s {
	color: #E0E268;
}

/* printf formatters */
span.pf {
	color: #E0C57F;
}

/* escaped chars */
span.e {
	color: #EA8675;
}

/* identifiers --- and styles for more specific identifier types */
span.i {
	color: #d1d1d1;
}

/* type or module */
span.t {
	color: #43AEC6;
}

/* function */
span.f {
	color: #e1e1e1;
}

/* DU case or active pattern */
span.p {
	color: #4ec9b0;
}

/* keywords */
span.k {
	color: #FAB11D;
}

/* comment */
span.c {
	color: #808080;
}

/* operators */
span.o {
	color: #af75c1;
}

/* numbers */
span.n {
	color: #96C71D;
}

/* line number */
span.l {
	color: #80b0b0;
}

/* mutable var or ref cell */
span.v {
	color: #d1d1d1;
	font-weight: bold;
}

/* inactive code */
span.inactive {
	color: #808080;
}

/* preprocessor */
span.prep {
	color: #af75c1;
}

/* fsi output */
span.fsi {
	color: #808080;
}

/* omitted */
span.omitted {
	background: #3c4e52;
	border-radius: 5px;
	color: #808080;
	padding: 0 0 1px;
}

/* tool tip */
div.tip {
	background: #475b5f;
	border-radius: 4px;
	font: 11pt 'Droid Sans', arial, sans-serif;
	padding: 6px 8px;
	display: none;
	color: #d1d1d1;
	pointer-events: none;
}

table.pre pre {
	padding: 0;
	margin: 0;
	border: none;
}

table.pre, pre.fssnip, pre {
	line-height: 13pt;
	border: 1px solid #d8d8d8;
	border-collapse: separate;
	white-space: pre;
	font: 9pt 'Droid Sans Mono', consolas, monospace;
	width: 90%;
	margin: 10px 20px 20px;
	background-color: #212d30;
	padding: 10px;
	border-radius: 5px;
	color: #d1d1d1;
	max-width: none;
}

pre.fssnip code {
	font: 9pt 'Droid Sans Mono', consolas, monospace;
}

table.pre pre {
	padding: 0;
	margin: 0;
	border-radius: 0;
	width: 100%;
}

table.pre td {
	padding: 0;
	white-space: normal;
	margin: 0;
}

table.pre td.lines {
	width: 30px;
}

/*
css for SameGame
*/
#samegame {
	display: table;
	background-color: #F2F2F2;
	margin-left: auto;
	margin-right: auto;
}

#sg-board {
	float: left;
}

#sg-controller {
	float: left;
	margin: 10px;
}

#new-game {
}

.horiz-centered {
	margin-left: auto;
	margin-right: auto;
}

.sg-cell {
	width: 30px;
	height: 30px;
}

.sg-table {
	margin: 10px;
	border: 2px solid lightgrey;
	border-collapse: separate;
	display: table;
	width: initial;
}

.sg-td {
	border: none;
}

.sg-tr {
	border: none;
	border-bottom: none;
}

.sg-table, .sg-td, .sg-tr {
	padding: 0;
	border-spacing: 2px 2px;
	background-color: transparent !important;
}

#sg-score {
	padding: 10px;
	clear: both;
}

.sg-color0 {
	background-color: transparent;
}

.sg-color1 {
	background-color: #4C4238;
}

.sg-color2 {
	background-color: #858DB9;
}

.sg-color3 {
	background-color: #C2533B;
}

.sg-color4 {
	background-color: #82CB50;
}

.sg-color5 {
	background-color: #8EC4A7;
}

.sg-color6 {
	background-color: #A75BC4;
}

.sg-color7 {
	background-color: #B9A04C;
}

.sg-color8 {
	background-color: #B6537D;
}