a { /* links */
    color: #1a5cb2;
    text-decoration: none;
}

.remark {
    color: gray;
    font-size: 14px;
}

input[type=button]{ /* small buttons */
    width: 18px;
    height: 30px;
    border: 1px none transparent;
    padding:0;
    margin: 0px 1px;
    font-size: 15px;
    background-color: lightgray;
}

#jsTable {
    /* counter-reset: rowNumber; # use for implicit line counting labels in student input table */
    line-height: 0px;
}

.inputField { /* stack */
    width: 42px;
    height: 28px;
	text-align: center;
	background-color: #cef2ff;
}

input.inputFieldHeap {
	width: 30px;
	height: 28px;
	text-align: center;
	background-color: #fffece;
}

input.inputFieldStat {
	width: 30px;
	height: 28px;
	text-align: center;
	background-color: #ffcece;
}

input.inputFieldLnr {
    width: 22px;
	height: 28px;
	text-align: center;
    margin-right: 10px;
	background-color: #e1ffce;
}

#jsTable tr {
    /* counter-increment: rowNumber; # use for implicit line counting labels in student input table */
}

#jsTable tr td:first-child::before {
    /* content: counter(rowNumber); # use for implicit line counting labels in student input table */
    min-width: 1em;
    margin-right: 0.5em;
}

.ungraded {
	color: black;
	background-color: white;
}

.correct {
	color: black;
	background-color: rgb(76, 221, 66, 0.8) !important;
}

.incorrect {
	color: white;
	background-color: #dd424c !important;
}

/* Background of InputTable after completion */
.correct .ui-state-disabled {
	opacity: 0.8 !important;
}

/* Flex Boxes (side by side elements) */
.container {
    display: -webkit-flex;
    display: -ms-flexbox;
    display: flex;
    -ms-flex-align: center;
    align-items: center;
}
.container div {
    -ms-flex: 1 1 auto;
}

.centered {
	position: relative;
	height: 100px;
	top: 0;
	bottom: 0;
	margin: auto;
}

/* editor */
.fixed{
    height: auto;
}
.flex-item {
    width: auto;
    flex-grow: 1;
    margin-left: 5px;
    white-space: nowrap;
}
.solutionbox {
    border-bottom: solid 1px;
    font-weight: bold;
	font-size: 16px;
    padding: 5px;
}
.solutioncell {
    vertical-align: top;
	font-size: 12px;
    border: 1px solid;
}
.solutiontable{
    border: 1px solid;
    border-collapse: collapse;
}

tr:hover {
    background-color: #f5f5f5
}

td {
    vertical-align: top;
}

/* welcome page */
h1, h2/*.welcome*/ {
	text-transform: uppercase;
	color: #1a5cb2; /* #4CAF50; */
	text-shadow: 1px 1px grey;
}

.content {
	width: 450px;
	margin: 0px auto;
}

/*input[type=text]*/#mail, select {
	width: 100%;
	padding: 12px 20px;
	margin: 8px 0;
	display: inline-block;
	border: 1px solid #ccc;
	border-radius: 4px;
	box-sizing: border-box;
}

.button {
	display: inline-block;
	border-radius: 4px;
	background-color: lightgray;
	border: none;
	color: #FFFFFF;
	text-align: center;
	font-size: 16px;
	padding: 10px 20px;
	width: 200px;
	transition: all 0.5s;
	cursor: pointer;
	margin: 5px;
}

.button span {
	cursor: pointer;
	display: inline-block;
	position: relative;
	transition: 0.5s;
}

.button span:after {
	content: '\00bb';
	position: absolute;
	opacity: 0;
	top: 0;
	right: -20px;
	transition: 0.5s;
}

.button:hover span {
	padding-right: 25px;
}

.button:hover span:after {
	opacity: 1;
	right: 0;
}
#second{
	display: none;
}

/* primeface text-style */
.text {
	font-family: Arial, sans-serif;
	font-size: 1.1em;
}

/* Elements inside form of inputTableView */
.exerciseElement {
	height: 30px;
	padding: 0;
	margin: 0px 1px 2px;
	text-align: center;
}

.exerciseTitle {
	text-align: center;
}

.tableHeader {
	margin: 0;
	text-align: center;
}

.heapHeader {
	float: left;
	width: 44px;
	margin: 1px;
	text-align: center;
}

.exerciseButton {
	width: 18px;
}

/* Text inside buttons */
.exerciseButton * {
	padding: 0 !important;
	font-size: 15px !important;
}

/* InputTable */
.lineInput {
	width: 25px;
	margin-right: 10px;
	background-color: #e1ffce !important;
}

.stackInput {
	width: 42px;
	background-color: #cef2ff !important;
}

.heapInput {
	width: 42px;
	background-color: #fffece !important;
}

.statInput {
	width: 42px;
	background-color: #ffcece !important;
}