/* USENIX Main Pages*/
/* Last changed: 22 Jan. 2009 mn
__________________________________________*/

/* Remove browsers defaults */
html,body,div,h1,h2,h3,h4,h5,h6,blockquote,dl,dt,dd,ul,ol,li,pre,form,fieldset,input { margin:0; padding:0; }

/* Remove image borders */
a img,a:link img,a:visited img { border:none; }


/* main elements
 * ------------------------------------------------------------------------- */

body { background-color:#ffffff; text-align:left;}

p,td,a:link,a:visited,ul,ol,li,dl,dt,dd,h1,h2,h3,h4 
{
font-family: Verdana, Arial, Helvetica, sans-serif; 
text-align: left;
font-size: 13px; 
color:#000000; 
line-height: 16px;
}

.small {
font-size: 11px;
}

.smallcenter {
font-size: 11px;
text-align: center;
margin-top:0;
}

.head1 {
font-size: 18px;
color: #990000;
font-weight: bold;
text-decoration: none; 
}

.head1center {
font-size: 18px;
color: #990000;
font-weight: bold;
text-decoration: none; 
text-align: center;
}

.head2 {
font-size: 17px;
color: #990000;
font-weight: bold;
}

.head2center {
font-size: 17px;
color: #990000;
font-weight: bold;
text-align: center;
}

.head2blk {
font-size: 17px;
line-height: 19px;
font-weight: bold;
}

.subhead {
font-size: 14px;
}

.subhead1 {
font-size: 14px;
font-weight: bold;
margin-top:6px;
}

.spacer {
margin-top:0px;
}

p.sidehead {
font-size: 14px;
font-weight: bold;
margin-top: 5px;
margin-bottom: 0px;
}

td.head {
font-size: 18px;
font-weight: bold;
color:#990000; 
text-decoration: none; 
}

td.center {
text-align: center;
}

td.centersmall {
text-align: center;
font-size: 10px;
line-height: 12px;
}

td.leftsmall {
text-align: left;
font-size: 10px;
line-height: 12px;
}

blockquote {
font-size: small; 
color: #000000;
}

/*classes for lists */
ul {
margin-left: 2em;
}

/*to set a bullet list with space between the items*/
li.bulletlist {
margin-top: 3px;
margin-bottom:7px;
}

/* change font-size classes */

.smaller {
	font-size: x-small;
}


/* classes to suppress padding at the top and bottom of an object */
.mt0	{
	margin-top: 0px;
}
.mb0	{
	margin-bottom: 0px;
}
/* classes to add padding at the top and bottom of an object */
.mt6	{
	margin-top: 6px;
}
.mb6	{
	margin-bottom: 6px;
}


/* Anchors and Links */

a:link {font-size: 13px; color:#990000; text-decoration: underline;}
a:visited {font-size: 13px; color:#666666; text-decoration: underline;}
a:active {font-size: 13px; color:#666666; text-decoration: underline;}
a:hover {font-size: 13px; text-decoration: underline;}

a.small:link {font-size: 11px; color:#990000; text-decoration: underline;}
a.small:visited {font-size: 11px; color:#666666; text-decoration: underline;}
a.small:active {font-size: 11px; color:#666666; text-decoration: underline;}
a.small:hover {font-size: 11px; text-decoration: underline;}

a.side:link {font-size: 12px; color:#990000; text-decoration: none;}
a.side:visited {font-size: 12px; color:#990000; text-decoration: none;}
a.side:active {font-size: 12px; text-decoration: underline;}
a.side:hover {font-size: 12px; text-decoration: underline;}

a.menushow:link {font-size: 12px; color:#990000; text-decoration: underline; font-weight: bold;}
a.menushow:visited {font-size: 12px; color:#990000; text-decoration: underline; font-weight: bold;}
a.menushow:active {font-size: 12px; color:#666666; text-decoration: underline; font-weight: bold;}
a.menushow:hover {font-size: 12px; color:#666666; text-decoration: underline; font-weight: bold;}

a.head:link {font-size: 17px; color:#990000; text-decoration: none;}
a.head:visited {font-size: 17px; color:#990000; text-decoration: none;}
a.head:active {font-size: 17px; text-decoration: underline;}
a.head:hover {font-size: 17px; text-decoration: underline;}

a.MenuLabelLink	{ 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 10px;
font-weight: bold; 
color: #990000;
text-decoration: None;
margin: 0px; padding: 0px; 
}

a.MenuLabelLink:link {
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000;
text-decoration: None;
}

a.MenuLabelLink:visited	{ 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000;
text-decoration: None;
}

a.MenuLabelLink:hover{ 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000;
text-decoration: None;
}
		
a.MenuLabelLinkOn {	
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 12px;
font-weight: bold;
color: #ffffff; 
text-decoration: None;
margin: 0px; padding: 0px; 
}

a.MenuLabelLinkOn:link { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}

a.MenuLabelLinkOn:visited { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}

a.MenuLabelLinkOn:hover { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}

		
a.MenuItemLink { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 12px;
color: #990000; 
text-decoration: None;
margin: 0px; padding: 0px;
}

a.MenuItemLink:link { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000; 
text-decoration: None;
}

a.MenuItemLink:visited {
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000; 
text-decoration: None;
}

a.MenuItemLink:hover {
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #990000; 
text-decoration: None;
}
		
a.MenuItemLinkOn { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 12px;
color: #ffffff; 
text-decoration: None;
margin: 0px; padding: 0px;
}

a.MenuItemLinkOn:link { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}

a.MenuItemLinkOn:visited { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}

a.MenuItemLinkOn:hover { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
color: #ffffff; 
text-decoration: None;
}
		
.myMenu { position: absolute; visibility: hidden; z-index: 5; }		
		
.myMenuLabelleft { padding: 0px 0px 0px 0px; text-align: left; }		
.myMenuLabelcenter { padding: 0px 0px 0px 0px; text-align: center; }		
.myMenuLabelright { padding: 0px 0px 0px 0px; text-align: right; }		
.myMenuItemleft { padding: 0px 0px 0px 0px; text-align: left; }		
.myMenuItemcenter { padding: 0px 0px 0px 0px; text-align: center; }		
.myMenuItemright { padding: 0px 0px 0px 0px; text-align: right; }		
		
#usenixNav { 
width: 132px;
padding: 0px 0px 0px 0px;
z-index: 1;
}