.container {
	width: auto;
	max-width: 1000px;
}

.container .credit {
	margin: 20px 0;
}

#regexpForm {
	border-right: 1px solid #EEE;
}

#regexpInput {
	width: 92%;
}

#testStringInput {
	width: 92%;
}

#quickref {
	font-size: 13px;
}

#quickref h3 {
	text-align: center;
	margin: 0px 0px 20px 0px;
}

#quickref td {
	padding-right: 18px;
}

#quickrefFooter {
	text-align: center;
	margin-top: 15px;
	border-top: 1px solid #cecece;
	padding-top: 15px;
	font-size: 12px;
}

#quickrefFooter p {
	margin-bottom: 0px;
}

/* Sticky footer styles
-------------------------------------------------- */

html,
body {
height: 100%;
/* The html and body elements cannot have any padding or margin. */
}

/* Wrapper for page content to push down footer */
#wrap {
min-height: 100%;
height: auto !important;
height: 100%;
/* Negative indent footer by it's height */
margin: 0 auto -60px;
}

/* Set the fixed height of the footer here */
#push,
#footer {
height: 60px;
}

#footer {
background-color: #f5f5f5;
}

/* Lastly, apply responsive CSS fixes as necessary */
@media (max-width: 767px) {
#footer {
	margin-left: -20px;
	margin-right: -20px;
	padding-left: 20px;
	padding-right: 20px;
}
}

.page-header {
margin-bottom: 20px;
}