@import url("../common.css");

li { margin-bottom: 1em; }

#quick_searches { margin-left: 5ex; }

#instr_links li { margin: 2px 0px;}

table { margin-top: 1ex; }

td { vertical-align: top; }

.screenshot { border: 2px outset; }

.quoted {
	display: inline;
	font-family: monospace;
	font-weight: bold;
}