code { padding: 2px 4px; background: #f2f2f2; }

/* Search Tips */
#main .operators,
#main .operators li {
	margin: 0;
	padding: 0;
	list-style: none;
	}
	#main .operators { margin: 1.5em 0 0 !important; }
	#main .operators li { position: relative; margin-top: 1em; padding: 0; }
		#main .operators li:first-child { margin-top: 0; padding-top: 0; border: 0; }
	.operators h3.operator { margin: 0 0 1em; padding: 0; width: 100%; font-size: 1.077em; }
		.operators h3.operator code { display: block; width: 100%; }
	.operators p { padding-left: 60px; }
	
	#things-remembered { margin-bottom: 3em; }
	#things-remembered h2 { margin-bottom: 1em; font-size: 1.077em; }
	#things-remembered h3 { margin: 0; padding: 0; font-size: 1em; }