body {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 0.5em;
  margin-right: 2em;
  font-family: arial serif;
  background-color: #E7E7E7;
  color: black;
}

h1 {
  background-color : #000066;
  color : silver;
  padding : 5px;
  border : black solid 3px;
}

table {
	border: thin solid black;
	background-color : white;
}

td {
  border: thin solid;
}

td#bookmarks {
	width : 100%;
}

td#left input {
	width : 90%;
}

div {
	background-color : white;
	color : black;
	padding : 0px 5px 0px 5px;
	}

div.libraryContent	 {
	margin-left : 20px;
}

div.library {
	font-weight : bold;
}

div.libraryselected {
	font-weight : bold;
	background-color : #00008B;
	color : yellow;
}

div.bookmarkselected {
	background-color : blue;
	color : yellow;
}

span {
	padding : 0px 0px 0px 20px;
	font-size : x-small;
}