#ruler { 
    width: 82%;
    margin-left: 90px;    
}

#logo {
    width: 7%;
}

div {
    display: flex;
    flex-direction: column;
    align-items: center;
    margin: 5px;
}

#example{
    width: 50%;
}

h1, h2{
    color: #192B3C;
    font-family: Helvetica;
    display: flex;
    flex-direction: column;
    align-items: center;
}

h3 {
    color: #192B3C;
    font-family: Helvetica;
    display: flex;
    flex-direction: column;
    align-items: center;
    font-style: italic;
}

h4 {
    color: #192B3C;
    font-family: Helvetica;
    display: flex;
    flex-direction: column;
    align-items: center;
    font-style: italic;
}
input {
    width: 50%;
    padding: 12px 20px;
    margin: 8px 0;
    display: inline-block;
    border: 1px solid #ccc;
    border-radius: 4px;
    box-sizing: border-box;
}

button {
    display: flex;
    flex-direction: column;
    align-items: center;
}


footer {
    margin-top: 50px;
    color: #192B3C;
    font-family: Helvetica;
    display: flex;
    flex-direction: column;
    align-items: center;
}

#btn, #solve, #solvetrue {
	-moz-box-shadow:inset 0px 1px 0px 0px #ffffff;
	-webkit-box-shadow:inset 0px 1px 0px 0px #ffffff;
	box-shadow:inset 0px 1px 0px 0px #ffffff;
	background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #ededed), color-stop(1, #dfdfdf));
	background:-moz-linear-gradient(top, #ededed 5%, #dfdfdf 100%);
	background:-webkit-linear-gradient(top, #ededed 5%, #dfdfdf 100%);
	background:-o-linear-gradient(top, #ededed 5%, #dfdfdf 100%);
	background:-ms-linear-gradient(top, #ededed 5%, #dfdfdf 100%);
	background:linear-gradient(to bottom, #ededed 5%, #dfdfdf 100%);
	filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#ededed', endColorstr='#dfdfdf',GradientType=0);
	background-color:#ededed;
	-moz-border-radius:6px;
	-webkit-border-radius:6px;
	border-radius:6px;
	border:1px solid #dcdcdc;
	cursor:pointer;
	color:#192B3C;
	font-family:Arial;
	font-size:15px;
	font-weight:bold;
	padding:6px 24px;
	text-decoration:none;
    text-shadow:0px 1px 0px #ffffff;
    margin: 5px;
}
#btn:hover, #solve:hover #solvetrue{
	background:-webkit-gradient(linear, left top, left bottom, color-stop(0.05, #dfdfdf), color-stop(1, #ededed));
	background:-moz-linear-gradient(top, #dfdfdf 5%, #ededed 100%);
	background:-webkit-linear-gradient(top, #dfdfdf 5%, #ededed 100%);
	background:-o-linear-gradient(top, #dfdfdf 5%, #ededed 100%);
	background:-ms-linear-gradient(top, #dfdfdf 5%, #ededed 100%);
	background:linear-gradient(to bottom, #dfdfdf 5%, #ededed 100%);
	filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#dfdfdf', endColorstr='#ededed',GradientType=0);
	background-color:#dfdfdf;
}
#btn:active, #solve.active #solvetrue{
	position:relative;
	top:1px;
}