body {
	font-family: freesans, Arial, sans-serif;
	font-size: 12px;
}

.fullwidth { width: 100%; }

.keyword { background-color: yellow; }

.theme-showcase .navbar .container { width: auto; }

table.TF td { padding: 2px !important; }

/* #helpCont { display:none !important;} */