body {
	font: normal 1em Verdana;
	margin:4em 0 0 0;
}

/* title styles */
H1 {
	text-align: center;
	font: normal 2.4em charter bd bt;
	color: #000066;
}
H2 {
	font: bold 1.5em long island;
	color: #000066;
}

H3 {
	font: bold 1.3em long island;
	color: #006666;
}

H4 {
	font: bold 1.0em long island;
	color: #CC3300;
}

div.centrage {text-align: center;}

#content {
        margin: 0ex 5ex 0ex 10em;
}

#content .separator{
  height: 10ex;
  background: #fff url(hr1.gif) no-repeat scroll center;
}

/* browsing menu */
#nav {
	width:9em;
	position:fixed;
	z-index:3;
	top:0em;
	left:0;
	padding-top:4px;
}
#nav ul * {
	border:0;
	display:block;
	color:#9c3;
}
#nav a:hover, #nav .jelly a:hover { background:#efc }
#nav ul em {
	color:#ccc;
	font-style:normal;
}
.jelly { margin-bottom:1em }
#nav .jelly a, #nav .jelly em {
	font-size:1.2em;
	font-weight:bold;
	padding-left:1.666em;
        text-decoration:none 
}

#nav .jelly ul a, #nav .jelly ul em {
	font-size:1em;
	font-weight:normal;
	padding-left:3em;
}
#nav ul a, #nav ul em {
	color:#06c;
	padding-left:2em;
}
#nav ul em {
	color:#ccc;
	font-style:normal;
}
#nav ul ul { margin:0 }
#nav ul ul em { padding-left:1.5em }
#nav .jelly ul ul li * {
	padding:0 0.5em 0 0.5em;
	font-size:0.9em;
	background:#f7f7ff;
}

/* the box around the actual syntax content */
.syntax-box {
	background: #ccccff;
	padding: 0.3em;
	border: solid; 
	border-width: 1px;

        font-size:1.1em;
}

/* how a category listing is formatted - it's a table with rows that
alternate in color */
.category-table {
	border-collapse:collapse;
}
.category-table-tr-1 {
	padding: 0.4em;
	border: solid #000000;
	border-width: 1px;
	background-color:#ffffff;
}
.category-table-tr-2 {
	padding: 0.4em;
	border: solid #000000;
	border-width: 1px;
	background-color:#eeeeff;
}
.category-table-td {
	margin: 2px;
	padding-left: 20px;
	padding-right: 20px;
}
.category-neutral{
background-color:#c6c6c6;
}
.category-positive{
background-color:#a8ffa6;
}
.category-negative{
background-color:#ffaca8;
}

/* compilation lines */
PRE.fragment {
	border: 1px solid #CCCCCC;
	background-color: #f5f5f5;
	margin-top: 4px;
	margin-bottom: 4px;
	margin-left: 2px;
	margin-right: 8px;
	padding-left: 6px;
	padding-right: 6px;
	padding-top: 4px;
	padding-bottom: 4px;
}