/* This is not a global style sheet. For global style sheets see /styles/. */

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

#content .right-column {
	border: 0px dotted #7f99b2;
	border-left-width: 1.5pt;
}