#recorder, #playback {
	/*display: block;
	margin-left: 300px;
	width: 840px;
	height: 600px;
	line-height: 200%;*/
	width: 1024px;
        height: 768px;
        /*height: 650px;*/
	padding: 12px 20px;
	box-sizing: border-box;
	border: 2px solid #ccc;
	border-radius: 4px;
	background-color: #f8f8f8;
	font-size: 1.5em;
	line-height: 200%;
	resize: none;
	box-shadow: inset 2px 2px 2px 0px #dddddd;
}
#recorder, #playback {
	overflow-y: scroll;
}
#recorderFrame, #replayFrame {
	width: 1024px;
}
#recorderFrame, #recorderButtons,
#replayFrame, #replayButtons {
	display: inline-block;
	vertical-align: top;
}
.h3like {
	display: block;
	font-size: 1.17em;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0;
	margin-right: 0;
	font-weight: bold;
	text-align: center;
}
.line {
	fill: none;
	stroke: steelblue;
	stroke-width: 2px;
}
.grid line {
	stroke: lightgrey;
	stroke-opacity: 0.7;
	shape-rendering: crispEdges;
}

.grid path {
	stroke-width: 0;
}
.linred {
	color: red;
}
.sl_button {
	width: 120px;
	height: 44px;
	margin: 10px;
	-webkit-text-fill-color: black;
}
.sl_button:disabled {
	-webkit-text-fill-color: grey;
}
#innerH {
	font-size: 1.17em;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 10px;
	margin-right: 0;
	font-weight: bold;
}
#lb_load {
	margin: 10px;
}
#hidable {
	display: none;
}

        table {
            border-collapse: collapse;
            width: 80%;
            margin-top: 20px;
        }

        th, td {
            border: 1px solid #ddd;
            padding: 8px;
            text-align: left;
            white-space: pre-wrap;
        }

        th {
            background-color: #f2f2f2;
        }

        .insert {
            color: green;
        }

        .delete {
            color: red;
        }

        .replace {
            color: orange;
        }

        .nochange {
            color: gray;
        }

        .new-group {
            background-color: lightblue;
        }

        .last-in-group {
            background-color: lightgrey;
        }

        .last-in-group:hover {
            background-color: bisque;
        }

        .last-in-group:active {
            background-color: white;
        }

        .second-diff {
            background-color: lightgreen;
        }

