html, body {
	background: #1B2A41;
	margin: 1% 0% 2.5%;
}
h1, h2, h3, h4, h5, h6, p {
	margin: 0;
	padding: 0;
}
body {
	font-style: 100%;
	width: 80%;
	margin-right: auto;
	margin-left: auto;
	padding: 1.5% 3.7% 0.5%;
	/* Initial "padding" value was 0.5% */
	background: white;
	line-height: 1.8;
}
input {
	margin-top: 2%;
	margin-bottom: 5%;
}
#table-title {
	margin: 3% 0%;
	text-align: center;
}
/* WATCH THIS. Might cause issues. */
#body-table {
	box-sizing: border-box;
}
#myInput {
  width: 50%; /* Full-width (Like, 93.24% or something???) */
  font-size: 18px; /* Increase font-size */
  padding: 12px 20px 12px 10px; /* Add some padding */
  border: 1px solid #ddd; /* Add a grey border */
  margin-bottom: 15px; /* Add some space below the input */
}
#book-catalog {
  border-collapse: collapse; /* Collapse borders */
  width: 100%; 
  border: 1px solid #ddd; /* Add a grey border */
  font-size: 18px; /* Increase font-size */
}
#book-catalog th {
  font-size: 150%;
  text-align: center;
  padding: 12px;
} 
#book-catalog td {
  font-size: 90%;
  text-align: left;
  padding: 12px;
}

#book-catalog tr {
  /* Add a bottom border to all table rows */
  border-bottom: 1px solid #ddd;
}

#book-catalog tr.header, #book-catalog tr:hover {
  /* Add a grey background color to the table header and on hover */
  background-color: #f1f1f1;
}
a.bar {
	text-decoration: none;
}
a.normal {
	color: blue;
}
nav {
	display: block;
}
ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
	overflow: hidden;
	background-color: #324A5F;
}
li {
	float: left;
}
li a {
	display: block;
	color: white;
	text-align: center;
	padding: 4px 17px;
	text-decoration: none; 
	font-size: 220%;
}
li a:hover {
	background-color: #111;
}