body {
	background: #f1f1f1;
	/*margin: 140px auto 25px*/
	margin: 25px auto 25px
}

main {
	color: #444;
	background: #fff;
	padding: 5rem;
	-webkit-font-smoothing: subpixel-antialiased;
	box-shadow: 0 1px 3px rgba(0, 0, 0, .13)
}

label {
	text-align: center;
	width: 100%
}

p {
	font-size: 15px
}

#exp {
	height: 50px;
	line-height: 3rem;
	text-align: center;
	font-size: 2rem
}

.btn-lg {
	margin: 1.5em auto
}

.btn-primary { /* Camp afegit */
    color: #fff;
    background-color: #47b0df;
    border-color: #47b0df;
}

td,
th {
	text-align: center
}

.truth-table th.variable,
.truth-table th:last-of-type {
	background-color: #fcf8e3
}

.instructions {
	text-align: center;
	margin-top: 1em
}

.instructions p,
.instructions table {
	margin-left: auto;
	margin-right: auto
}

.instructions p {
	max-width: 800px
}

.instructions table {
	margin: 10px auto;
	width: auto
}

.instructions td:nth-child(3),
.instructions td:nth-child(4),
.instructions th:nth-child(3),
.instructions th:nth-child(4) {
	text-align: left
}

.instructions td:nth-child(2) code {
	white-space: nowrap
}

code,
samp {
	padding: 2px 4px;
	border-radius: 4px
}

samp.value-false,
samp.value-true {
	font-size: 80%;
	vertical-align: middle
}

.value-true {
	background-color: #dff0d8
}

code.value-true,
samp.value-true {
	color: #3c763d;
	border-color: #d6e9c6
}

.value-false {
	background-color: #f2dede
}

code.value-false,
samp.value-false {
	color: #a94442;
	border-color: #ebccd1
}

.parse-error {
	text-align: center;
	padding: 25px 20px 15px
}

.parse-error+.truth-table {
	margin-top: 2em
}

form {
	max-width: 350px;
	margin: 0 auto 2em
}

.footer,
.header {
	text-align: center
}

.header {
	padding-bottom: 1rem
}

.footer {
	padding-top: 1rem;
	color: #777;
	font-size: small
}

a[ng-click] {
	cursor: pointer
}

.operations td:first-child,
.operations th:first-child {
	white-space: nowrap
}

var {
	font-style: normal;
	font-weight: 700
}


/*# sourceMappingURL=app.css.map */