html,body {
	width: 100%;
	height: 100%;
	margin: 0px;
	font-family: 'Dosis', sans-serif;
}

html {
 background-image: url('retina_wood.png');
  background-repeat: repeat;
  /* Set specific dimensions */
/*  background-size: 100px 100px; /* This will tile the image in 100px by 100px segments */*/
}

h2 {

font-family: 'Vina Sans', sans-serif;

}


button {
	border-radius: 10px;
	background-color: hsl(300, 100%, 90%);

}

.mini {
	font-size: 80%;
}

.controls {
	background-color: hsla(240, 100%, 50%, .2);

	border-radius: 10px;
	box-shadow: 1px 2px rgba(0, 0, 0, .5);
	padding: 6px;
}


#app {

	width: 100%;
	height: 100%;
	display: flex;
	flex-direction: column;
}


.columns {
	height: 100%;
	display: flex;
	flex: 1;
	flex-direction: row;
	margin: 5px;
	overflow: hidden;
}


.column {
	padding: 3px;
	position: relative;
	flex: 1;
	margin: 5px;
	padding: 5px;
	background-color: hsla(40, 100%, 97% ,1);
	overflow: hidden;
	border-radius: 10px;
	height: 100%;
}

.content {
	max-height: 400px;
	display: flex;
	flex-direction: column;
	position: relative;
	border: 1px solid rgba(0, 0, 0, .3);
	overflow: scroll;
/*	flex: 1;*/
	 flex-grow: 1; /* Grow to fill available space */
  flex-shrink: 1; /* Allow shrinking if necessary */
}

header, footer {
	height: 25px;
	border: 2px solid lime;
}



@keyframes slideRight {
    from {
        left: 0;
    }
    to {
        left: calc(100% - 50px); /* Adjust so the box stops at the right edge of the container */
    }
}

.editable-text {
	
}

.symbolKey,.rule {
	padding: 2px 4px;
	margin: 2px;
	display: inline-block;
	border: 1px solid grey;
	font-family: monospace;
}


.rule {
	border-radius: 10px;
	
}


.symbolKey {
	border-radius: 0px 10px 10px 0px;
	
}



.rule.selected {
	background-color: hsla(100, 100%, 90%, 1);
}

.trace {
	border-radius: 10px;
	padding: 2px 4px;
	margin: 2px;
	display: inline-block;
	border: 1px solid grey;
	background-color: white;
	box-shadow: 0px 1px 3px rgba(0, 0, 0, .3);

}