/* use import statement here, to include the size.css from ../www/css */

html,body {
  width: 900px;
  margin-left:auto;
  margin-right:auto;
}
/*
@media screen {
#main-copy {
  width:990px;
}
html,body {
  width: 1200px;
}
#content {
  width:680px;
  border-right: 1px solid rgb(153,153,153);  
}
#tool-bar {
  width: 300px;
}
}
*/
html { 
  background-color: #555555; 
}

body {
margin-top: 4px;
}

.delimited {
	border-bottom : 4px solid #555555;
}

.delimited-top {
    border-top : 4px solid #555555;
}

#globalnav {
    border-bottom-width: 12px;
    border-bottom-style: solid;
    border-bottom-color: #555555;
}

@media print {
#globalnav {
    border-bottom-width: 0px;
}
}

#mainnav {
	border-bottom : 4px solid #555555;
	border-left-width: 0px;
	border-right-width: 0px;	

    border-top-width: 0px;
    background-image: none;	
}
#content.wiki {
	XXXborder-left : 4px solid #555555;
}
#footer {
border-top-width: 4px;
}