@import url(http://fonts.googleapis.com/css?family=PT+Serif:400,700);

ul {
	list-style-type: disc;
}

span.literal {
	padding: 0 2px;
	margin: 3px 0;
	border: solid 1px #ccc;
    background-color: #dedede;
	font-size: small;
	font-family: "Bitstream Vera Sans Mono","Courier",monospace;
}

cite {
	font-weight: bold;
}

table.gsc-search-box {
	width: 300px !important;
	margin-left: -44px !important;
}

table.gsc-search-button td{
	width: 50px;
}

.gsib {
	padding: 0px;
}