body {
    margin: 1em;
    /*
     background-image: url(/images/bg.gif);
     background-repeat: repeat-x;
     */
    background-color: white;
    font-family: "Arial Unicode MS", "Lucida Sans Unicode", sans-serif;
}


body.welcome #mwelcome a:hover, body.aboutros #maboutros a:hover, body.aboutus #maboutus a:hover, body.news #mnews a:hover, body.useros #museros a:hover {
    background-color: #8d8d8d;
    color: white;
}

a, a:hover, a:visited {
    color: #303030;
}

form {
    padding: 0px;
    margin: 0px;
}

.clear {
    clear: both;
}

p.more {
    padding-right: 1em;
	margin-right:  1em;
    text-align: right;
}

.pullout {
    color: #535353;
    border-top: 1px solid #A7A7A7;
    border-bottom: 1px solid #A7A7A7;
}

.pullout p {
    padding: 1px 0 4px 0;
    margin: 0 0 1px 0;
    border-bottom: 1px solid #A7A7A7;
}

.clearfix {
	clear: right;
}
.clearfix:after {
    content: ".";
    display: block;
    height: 0;
    clear: both;
    visibility: hidden;
}

/*Layout*/
#ubercontainer {
    /* float: left; */
    padding: 0 6px 0 0;
    /*
     margin: 0 auto 10px 10px;
     background: url(/images/drop-shadow.gif) repeat-y right top;
     */
    width: 100%;
}

#container {
    /*
     padding: 8px 18px 8px 8px;
     */
    margin: 0;
    width: 100%;
    background-color: white;
}

#headerUpper {
    padding: 0px 15px 0px 15px;
    margin: 0 0 0 0;
    height: 6px;
    /*
     width: 710px;
     background-image: url(/images/headerUpper.gif);
     background-repeat: no-repeat;
     */
}

#headerUpper p {
    line-height: 0px;
    font-size: .1em;
}

#header {
    padding: 0px 15px 0px 15px;
    margin: 0 0 0 0;
    background-color: #FFFFEE;
    /*
     width: 710px;
     background-image: url(/images/header-bg.gif);
     background-repeat: repeat-y;
     */
}

#headerLower {
    padding: 0px 15px 0px 15px;
    margin: 0 0 3px 0;
    height: 6px;
    /*
     width: 710px;
     background-image: url(/images/headerLower.gif);
     background-repeat: no-repeat;
     */
}

#subheaderUpper {
    padding: 0px 15px 0px 15px;
    margin: 0 0 0 0;
    height: 6px;
    /*
     width: 710px;
     background-image: url(/images/headerUpper.gif);
     background-repeat: no-repeat;
     */
}

#subheaderUpper p {
    line-height: 0px;
    font-size: .1em;
}

#subheaderLower {
    padding: 0px 15px 0px 15px;
    margin: 0 0 3px 0;
    height: 6px;
    /*
     width: 710px;
     background-image: url(/images/headerLower.gif);
     background-repeat: no-repeat;
     */
}

/*subheader*/
#subheader {
    padding: 0px 15px 0px 15px;
    margin: -0 0 0 0;
    background-color: #DDDDFF;
    /*
     width: 710px;
     background-image: url(/images/header-bg.gif);
     background-repeat: repeat-y;
     */
    line-height: 0;
}

#subheader div {
    padding: 0;
    margin: 0;
    line-height: 1.1em;
}

#subheader a {
    padding: 0;
    margin: 0;
    float: left;
    font-weight: normal;
    font-style: italic;
    line-height: 1.1em;
}

div.subheader_page_title {
    float: left;
    font-weight: bold;
}

div.backlink {
    float: right;
    margin-left: 2em;
    margin-right: 2em;
    padding-left: 1em;
    font-weight: normal;
}

#contentContainer {
    background-color: #fff;
}

#contentContainer h1 {
    font-weight: bold;
    color: #7f7f7f;
}

#contentContainer h2 {
    font-size: .9em;
    font-weight: bold;
    color: #2F678E;
}

#contentContainer h3 {
    font-size: .8em;
    font-weight: normal;
    color: #2F678E;
}

/* used only on website front page */
#content {
    padding-left: 1em;
    padding-right: 1em;
}

#content p {
    font-size: .8em;
    line-height: 1.4em;
}

#content ul {
    font-size: .8em;
    line-height: 1.4em;
}

/* used on all website pages except front */
#main {
    margin-left: 20px;
    margin-right: 1em;
	padding-right: 0.5em;
}

#main p {
}

#main ul {
}

#main h2 {
	font-size: 2em;
    font-weight: bold;
    color: #2F678E;
}
#main h3 {
	font-size: 1em;
    font-weight: bold;
    color: #2F678E;	
}

/*header*/
div#logo_container {
	float:				left;
	margin-bottom:		0.5em;
}
.logo {
    background-image: url(/images/logo.jpg);
    background-repeat: no-repeat;
    padding: 0;
    margin: 0;
    width: 161px;
    height: 75px;
    float: left;
    text-indent: -9999px;
    display: inline;
}

/*top menu*/
#menu {
    padding: 0;
    margin: 4px 0 0 0;
    /*
     width: 530px;
     */
    float: right;
    line-height: 1.2;
	background-color:	#c5c5c5;
}

#menu ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#menu li {
    float: left;
    margin: 0px 1px 0px 0px;
}

#menu li a {
    text-align: center;
    font-weight: bold;
    color: white;
    /*
     background: 		#569dce url(/images/bg_header.gif) repeat-x;
     */
    padding: 8px 0 9px 0;
    width: 105px;
    display: block;
    text-decoration: none;
}

#menu li a:hover, body.welcome #mwelcome a, body.aboutros #maboutros a, body.aboutus #maboutus a, body.news #mnews a, body.useros #museros a {
    background-color: 	#e7e7e7;
    color: 				#3e7497;
}

/*bottom menu*/
#subMenu {
    padding: 0;
    margin: 1px 1px 0 0;
    width: 529px;					/* fixed-width here provides visual consistency with the "menu" strip above it ...  also see "clientInfo" */
    float: right;
    font-weight: bold;
    font-size: .9em;
    background-color: #e7e7e7;
}

#subMenu p {
    color: #3E7497;
    text-align: center;
    padding: 5px;
    margin: 0;
}

#subMenu ul {
    list-style-type: none;
    padding: 0 0 0 5px;
    margin: 0;
    float: left;
}

#subMenu li {
    float: left;
    margin: 0;
}

#subMenu li a {
    color: #3E7497;
    text-decoration: none;
    padding: 2px 4px 4px 4px;
    margin: 3px 5px 0 0;
    display: block;
}

#subMenu li a:hover {
    color: red;
    text-decoration: underline;
}

/* section menu */
div#sectionMenu {
    padding: 0;
    margin: 1px 1px 0 0;
    float: right;
	clear: right;
    font-weight: bold;
    font-size: 1.1em;
    background-color: #e7e7e7;
}

#sectionMenu p {
    padding: 5px;
    margin: 0;
    color: #3E7497;
    text-align: center;
}

#sectionMenu ul {
    list-style-type: none;
    padding: 0 0 0 5px;
    margin: 0;
    float: left;
}

#sectionMenu li {
    float: left;
    margin: 0;
}

#sectionMenu li a {
    display: block;
    color: #3E7497;
    text-decoration: none;
    padding: 2px 4px 4px 4px;
    margin: 3px 5px 0 0;
}

#sectionMenu li a:hover {
    color: red;
    text-decoration: underline;
}

body.s0 #s0 a, body.s1 #s1 a, body.s2 #s2 a, body.s3 #s3 a, body.s4 #s4 a, body.s5 #s5 a, body.s6 #s6 a, body.s7 #s7 a, body.s8 #s8 a {
    color: #000;
    background-color: #fff;
}
body.s9 #s9 a, body.s100 #s100 a, body.s101 #s101 a, body.s102 #s102 a, body.s103 #s103 a, body.s104 #s104 a, body.s105 #s105 a {
    color: #000;
    background-color: #fff;
}
body.s150 #s150 a, body.s151 #s151 a, body.s152 #s152 a, body.s153 #s153 a, body.s154 #s154 a, body.s155 #s155 a {
    color: #000;
    background-color: #fff;
}

/*homepage*/
div#homepage_div {
}
div#homepage_div h2 {
    font-size: 2em;
    font-weight: bold;
    color: #2F678E;
}

table#homepage_table {
}
td.homepage_image_col {
	width:		200px;
}
img.homepage_image {
	width:		197px;
	height:		133px;
}
td.homepage_text_col div {
	vertical-align: middle;
}

/*process column*/
#process {
    width: 200px;
    float: left;
}

#process ul {
    list-style: none;
    padding-left: 0;
    margin: 0 0 5px 0;
}

li#teach {
    background-image: url(/images/process-teach.gif);
    width: 197px;
    height: 133px;
    background-repeat: no-repeat;
    text-indent: -9999px;
}

li#score {
    background-image: url(/images/process-score.gif);
    width: 195px;
    height: 133px;
    background-repeat: no-repeat;
    text-indent: -9999px;
}

li#help {
    background-image: url(/images/process-help.gif);
    width: 197px;
    height: 134px;
    background-repeat: no-repeat;
    text-indent: -9999px;
}

#process .pullout {
    text-align: center;
    font-size: .8em;
    line-height: 1.4em;
    padding: 3px 0 0 0;
}

/*Content column*/
#content .pullout {
    color: #A09F9F;
}

#content ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

#content h2 {
    font-size: 2em;
    font-weight: bold;
    color: #2F678E;
}

#content ul li {
    height: 134px; /* must match the height of the images in 'process' */
    font-size: 1.5em;
}

img.tn {
    margin: 10px 10px 10px 10px;
}


/*tools column*/
#tools {
    width: 195px;
    float: right;
	margin-bottom: 1em;
	margin-left: 1em;
}

#loginBoxUpper {
    background-image: url(/images/loginBoxUpper.gif);
    background-repeat: no-repeat;
    width: 194px;
    height: 13px;
    padding: 0px;
    margin: 0px;
}

#loginBoxUpper p {
    line-height: 0px;
    font-size: .1em;
}

#loginBox input#clientID {
    font-size: .8em;
    width: 130px;
    margin: 0px 10px 10px 10px;
}

#loginBox input#submit {
    margin: 0px 10px 0px 10px;
}

#loginBox {
    background-image: url(/images/loginBox.gif);
    background-repeat: repeat-y;
    padding: 0px;
    margin: 0px;
    width: 194px;
}

#loginBox p {
    padding: 0px 10px 6px 10px;
    margin: 0px;
    font-weight: bold;
    font-size: .7em;
    line-height: 1.1em;
    color: #5D5C5C;
}

#loginBoxLower {
    background-image: url(/images/loginBoxLower.gif);
    background-repeat: no-repeat;
    padding: 0px;
    margin: 0px;
    width: 194px;
    height: 13px;
}

#announcementsUpper {
    background-image: url(/images/announcementUpper.gif);
    background-repeat: no-repeat;
    padding: 0px;
    margin: 10px 0 0 0;
    width: 194px;
    height: 13px;
}

#announcementsUpper p {
    line-height: 0px;
    font-size: .1em;
}

#announcements {
    background: url(/images/announcement.gif) repeat-y;
    padding: 0px;
    margin: 0px;
    width: 194px;
}

#announcements p {
    font-size: .7em;
    padding: 0px 10px 10px 10px;
    margin: 0;
}

#announcements p img {
    float: left;
    margin: 3px 4px 4px 0;
}

#announcementsLower {
    background-image: url(/images/announcementLower.gif);
    background-repeat: no-repeat;
    padding: 0px;
    margin: 0px 0px 10px 0px;
    width: 194px;
    height: 13px;
}

#brightIdea {
    font-size: 0.8em;
	margin-left: 1em;
	margin-bottom: 1em;
}

#brightIdea p img {
    float: right;
    margin: 0 0 2px 2px;
}

#customerFeedback {
    background: #E0E8EE url(/images/corners-top.gif) no-repeat;
    padding: 10px 5px 0 5px;
    width: 184px;
}

#customerFeedback .corners {
    background: #E0E8EE url(/images/corners-bottom.gif) no-repeat bottom left;
    margin: 0 -5px 0 -5px;
    height: 25px;
}

#customerFeedback p {
    font-size: .7em;
    color: #666;
}

#customerFeedback h3 {
    margin: 0;
    font-weight: normal;
    font-size: .8em;
    color: #3E7497;
}

#testimony {
    border-bottom: solid 2px #fff;
}

/* body .. just to be sure everything in 'contentContainer' lives inside separate divs for floating purposes. */
div#body_wrapper {
}

/*footer*/
#footer {
    color: #818181;
    font-size: .9em;
    text-align: center;
	clear: both;		/* so nothing "floats into it" e.g. in Firefox */
	padding-top: 1em;
}
#footer p {
    padding: 0px;
    margin: 4px 0 4px 0;
}
#footer p#meta {
    background-color: #F3F3F3;
    color: #535353;
    border-top:    3px solid #C6C6C6;
	border-left:   2px solid #C6C6C6;
    border-bottom: 1px solid #D7D7D7;
    padding: 4px 0 4px 0;
}

/* ROS proper */
table.striped {
    padding: 2px;
    border: 1px solid #ccc;
    background-color: #ffffff;
}

tr.tableHeader td, td.tableHeader {
    background-image: url(/images/bg_header.gif);
    background-repeat: repeat-x;
    background-color: #569dce;
    padding: 2px 4px 2px 4px;
    margin: 0px;
    white-space: nowrap;
    color: #fff;
    font-weight: bold;
    text-align: center;
}

.tableHeader a {
    color: #fff;
}

tr.tableHeader2 td, td.tableHeader2 {
    background-color: #569dce;
    padding: 2px 4px 2px 4px;
    margin: 0px;
    white-space: nowrap;
    color: #fff;
    font-weight: bold;
    text-align: center;
}

.tableHeader2 a {
    color: #fff;
}

tr.tableRow td, td.tableRow {
    background-color: #ffffff;
    padding: 2px 4px 2px 4px;
    margin: 0px;
    color: #000;
}

tr.tableRowOdd td, td.tableRowOdd {
    background-color: #ffffff;
    padding: 2px 4px 2px 4px;
    margin: 0px;
    color: #000;
}

tr.tableRowEven td, td.tableRowEven {
    background-color: #e7e7e7;
    padding: 2px 4px 2px 4px;
    margin: 0px;
    color: #000;
}

.right {
    text-align: right;
}

.small {
    font-size: 80%;
}

.notice {
    color: #a22;
    text-align: center;
    font-weight: bold;
}

.notice25px {
    color: #a22;
    text-align: center;
    font-weight: bold;
    font-size: 25px;
}

/*question*/
.question {
    font-size: medium;
    line-height: 1.8em;
    font-family: "Arial Unicode MS", "Lucida Sans Unicode", sans-serif;
}

.pageotext {
    width: 600px;
    text-align: justify;
}

.centered {
    text-align: center;
}

img.tree {
    vertical-align: bottom;
    border: 0px;
}

/* page */
page_body {
    float: left;
    width: 90%;
}

/* miscellaneous decoration */
.float_left {
    float: left;
}

.float_right {
    float: right;
}

.inline_block {
	display: inline-block;
}

.clear_left {
	clear: left;
}

.height_100 {
    height: 100%;
}

/* client-info -- be visually consistent with off-line "subMenu" */
div#clientInfo {
    margin: 2px;
    padding: 2px;
    float: right;
	clear: right;
    border: 0px;
    border-style: solid;
    text-align: right;
    font-weight: bold;
    font-size: .9em;
}

span#clientInfo_clientName {
    font-weight: bold;
}

span#clientInfo_clientID {
    font-weight: normal;
}

span#clientInfo_userName {
    font-weight: bold;
}

span#clientInfo_userID {
    font-weight: normal;
}

span#clientInfo_logout {
    color: 				#FF8866;
    background-color: #e7e7e7;
	font-weight:		bold;
	padding-left:		1em;
	padding-right:		1em;
}

div.importMessages {
    width: 600px;
}

p.importantMessagesTitle {
    font-weight: bold;
}

p.accountInfo {
    width: 600px;
}

p.errorPageBold {
    color: red;
    font-weight: bold;
}

/* help popup */
img.helpIcon {
    margin-right: 0.5em;
}

table.helpTable {
    width: 99%;
    border: solid;
    border-width: 1px;
    padding: 1em;
}

div.helpText {
    margin: 1em;
    padding: 1em;
    font-family: Arial, Helvetica, sans-serif;
    font-size: small;
}

table.helpIconsTable {
    border-style: solid;
    border-width: 2px;
}

table.helpIconsTable tr {
    padding-top: 0.5em;
    padding-bottom: 0.5em;
}

/* myTests */
.myTest_topDiv {
    height: 600px;
    width: 800px;
}

.myTest_questionId1 {
    text-align: center;
    font-size: 1.5em;
    height: 1.5em;
}

.myTest_toolBarDiv {
    width: 100%;
    height: 5%;
    z-index: 100;
}

.myTest_pointerButtonDiv {
    float: left;
    margin: 5px;
}

.myTest_contain2 {
    width: 815px;
    height: 505px;
    overflow: hidden;
    float: left;
}

.myTest_passDiv {
    width: 100%;
    height: 0px;
    background-color: white;
    display: none;
    overflow: auto;
}

.myTest_spacerDiv {
    width: 100%;
    height: 5px;
    display: none;
}

.myTest_itemDiv {
    width: 100%;
    height: 500px;
    background-color: white;
    overflow: auto;
    position: relative;
}

.myTest_flashDiv {
    vertical-align: top;
    height: 505px;
    width: 800px;
    top: -505px;
    overflow: hidden;
    z-index: 10;
}

.myTest_navBar {
    width: 100%;
    height: 80px;
    background-color: #e2e2e2;
}

.myTest_navBar_backButton {
    width: 33%;
    position: relative;
    float: left;
}

.myTest_navBar_backButtonImage {
    position: relative;
    float: left;
}

.myTest_navBar_resetButtonDiv {
    position: relative;
    float: left;
}

.myTest_questionId2_wrapper {
    position: relative;
    float: left;
    width: 33%;
}

.myTest_questionId2 {
    text-align: center;
    font-size: 1.5em;
}

.myTest_userName {
    text-align: center;
    font-size: 1.5em;
}

.myTest_buttonsDiv {
    position: relative;
    float: left;
    width: 33%;
}

.myTest_oneButton {
    position: relative;
    float: right;
}

div.myTest_itemHTML {
    width: 700px;
    border-style: solid;
    border-width: thin;
    text-align: justify;
    line-height: 1.15;
    margin: 0;
    background-color: white;
}

div.myTest_goryDetails {
    color: #cccccc;
    font-size: small;
}

div.myTest_passageContainer {
    clear: both;
    margin: 1em;
    padding: 1em;
}

div.myTest_UsePreviousPassageMessage {
}

div.myTest_PassageMissingMessage {
}

div.myTest_PassageBody {
    padding: 5px;
    float: left;
}

/*
 * The following are "mix-in" class references that are added to a question-display in the "myTests" templates.
 * An item can, after all, have more than one class-name associated with it ... the first is always "question."
 */
div.questionForStudent {
    width: 700px;
    margin: 0;
    text-align: justify;
    line-height: 1.15;
    background-color: white;
    border: 0;
}

div.questionForTeacher {
    width: 700px;
    margin: 0;
    text-align: justify;
    line-height: 1.15;
    background-color: white;
    border-style: solid;
    border-width: thin;
}

/*
 * ... and here is the question-display itself
 */
div.myTest_questionContainer {
    clear: both;
    padding: 1em;
}

div.myTest_questionNumber {
    float: left;
    text-align: right;
    font-weight: bold;
    height: 40px;
    width: 7%;
    margin-right: 1em;
}

div.myTest_QuestionBody {
    float: left;
    width: 83%;
    padding-left: 50px;
    left: -50px;
    position: relative;
	overflow: auto;
}

div.myTest_allAnswersContainer {
    clear: both;
    padding: 1em;
	overflow: auto;
}

div.myTest_oneAnswerContainer {
    clear: both;
}

table.myTest_oneAnswerContainerTable {
	width: 100%;
}
td.myTest_oneAnswerContainer_Letter {
	vertical-align: middle;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	width: 3em;
	height: 100%;
}
td.myTest_oneAnswerContainer_Stem {
	padding-top: 0.5em;
	padding-bottom: 0.5em;
}

div.myTest_answerSelector {
    float: left;
    width: 10%;
    height: 40px;
    text-align: right;
    margin-right: 1em;
}

span.myTest_answerSelectorLetter {
	font-weight: bold;
}

div.myTest_answerBody {
    float: left;
    width: 85%;
	margin-left: 1em;
}

div.myTest_itemHTMLButtonsContainer {
    clear: both;
    background-color: #cfcfcf;
}

table.myTest_itemHTMLButtonsTable {
}

/*
 * "Abort messages" are displayed by the handler in response to catching any 'except::ros::abort' message.
 * These styles, used only in 'templates/body/abortMessage_user.tt2', control the appearance of that page.
 */
div#abortContainer {					/* Wrapper ... */
	font-size:			large;
	color:				#333333;
}
div.abortMessage_Title {
	margin-top:			1em;
	margin-bottom:		1em;
}
div.abortMessage_Message {
	font-weight:		bold;
	color:				#555588;
	font-size:			larger;
	margin-left:		2em;
	margin-right:		2em;
	margin-top:			1em;
	margin-bottom:		1em;
}
div.abortMessage_ClickBackButton {
	font-style:			italic;
	font-weight:		bold;
	color:				#000000;
	margin-top:			1em;
}
div.abortMessage_Disclaimer {
	font-size:			small;
	margin-top:			3em;
}

/*
 * Report dialog styles
 * 
 * "dim" is:  		"div that appears when the popup comes up, it dims everything."
 * "namearea" is:	"namearea div has main content"
 */
div.reportDialog_dim {
	opacity: 0.0;
	filter: alpha(opacity=0);
	visibility:hidden; 
	height: 100%;
	width: 100%;
	position: fixed;
	top: 0px;
	left: 0px;
}

div.reportDialog_nameArea {
    visibility: hidden;
    margin: 0px;
    padding: 0px;
    opacity: 1.0;
    filter: alpha(opacity = 100);
    border-style: solid;
    border-width: 1px;
    position: absolute;
    top: 5px;
    left: 5px;
    width: 75%;
}

div.reportDialog_stripe {
    border-style: solid;
    border-width: 0 0 1px 0;
    margin: 0px;
    padding: 0px;
    float: left;
    width: 100%;
}

td.reportDialog_dialogTitle {
    margin: 0px;
    padding: 0px;
    text-align: center;
    color: white;
    font-weight: bold;
    background-image: url(/images/bg_header.gif);
}

div.reportDialog_mainContent {
    margin: 5px;
    padding: 5px;
    opacity: 1.0;
    filter: alpha(opacity = 100);
    border-style: solid;
    border-width: 0px;
    float: left;
    width: 700px;
}

div.reportDialog_savedMessage {
    visibility: hidden;
    width: 100%;
    margin: 0px;
    padding: 0px;
    float: left;
	font-weight: bold;
	font-style: italic;
}

div.reportDialog_namingReport {
    visibility: hidden;
    float: left;
}

/*
 * New report-index page
 */
div.indexReports_header {
}

div.indexReports_subheader {
}

div.indexReports_subheaderTitle {
	font-weight: bold;
	font-size: large;
	margin-top: 0.5em;
	padding-bottom: 0.5em;
	background-color: white;
}

table.indexReports_menubar {
    font-weight: normal;
    color: black;
    background-color: #b0c0ff;
    text-align: center;
	margin-bottom: 0.5em;
}
td.indexReports_menubar_notselected {
	border: 2px solid white;
}

td.indexReports_menubar_selected {
    background-color: #0088EE;
    font-weight: bold;
	color: white;
	border: 2px solid white;
}

div#indexReports_userDirectory {
}

table#indexReports_userDirectory_table {
	border-style: double;
	width: 100%;
}
table#indexReports_userDirectory_table thead {
	border-style: double;
	text-align: center;
	font-weight: bold;
	color: black;
	background-color: #ccccff;
}
table#indexReports_userDirectory_table tbody {
	border-style: double;
	text-align: left;
	font-weight: normal;
	color: black;
}
table#indexReports_userDirectory_table tbody tr.even {
	background-color: #eeeeff;
}
table#indexReports_userDirectory_table tbody tr.odd {
	background-color: #eeeeee;
}

div#indexReports_cannedDirectory {
}

.cannedReport_block {
    float: left;
    margin-top: 1em;
	margin-left: 3px;
    padding: 3px;
    width: 250px;
}

div#indexReports_noUserReportsFound {
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 1em;
	margin-right: 1em;
	border-style: outset;
	font-weight: bold;
	padding-left: 1em;
}

/*
 * alias-related things
 */
div.aliasBox {
	margin-left: 3em;
	margin-right: 2em;
	margin-top: 1em;
	margin-bottom: 1em;
	background-color: #ffffdd;
}

span.aliasNow {
	font-weight: bold;
	margin-left: 1em;
}

span.aliasLiteral {
	font-weight: bold;
	font-size: larger;
	font-family: monospace;
}

ul.aliasErrors {
	font-weight: bold;
	font-color: #99EEEE;
	padding-top: 0.5em;
}