body address {
	line-height:1.3;
 margin:0.6em 0;
}
body blockquote {
	line-height:1.5;
 margin-bottom:0.75em;
 margin-top:0.75em;
}
html body {
	font-family:helvetica,sans-serif;
 margin:0 5%;
 max-width:750px;
	margin-left: auto;
	margin-right: auto;
}
.LEGALNOTICE {
	font-size:small;
 font-variant:small-caps;
}
.DATE {
	font-size:small;
 font-variant:small-caps;
 text-align:right;
}
body div {
	margin:0;
}
dl {
	line-height:1.2;
 margin:0.8em 0;
}
body form {
	margin:0.6em 0;
}
h1, h2, h3, div.EXAMPLE p b, .QUESTION, div.TABLE p b, div.PROCEDURE p b {
	color:#005599;
}
h1 {
	border-bottom:1px solid black;
}
body h1, body h2, body h3, body h4, body h5, body h6 {
	line-height:1.3;
 margin-left:0;
}
body h1, body h2 {
        margin:0.8em 0 0;	
}
body h3, body h4 {
	font-size:1em;
 margin:0.8em 0 0 0;
}
body h5 {
	margin:0.8em 0 0 -2%;
}
body h6 {
	margin:0.8em 0 0 -1%;
}
body hr {
	border-color:#CECECE;
 border-style:solid;
 border-width:0 0 1px;
 margin:0.6em;
}
body img.NAVHEADER {
	margin:0 0 0 -4%;
}
ol {
	line-height:1.2;
}


body pre {
	font-family:monospace;
 line-height:1;
 margin:0.75em 0;
}

body td, body th {
	line-height:1.2;
}
ul, body dir, body menu {
	line-height:1.2;
}
html {
	margin:0;
 padding:0;
}
body p b.APPLICATION {
	color:#000000;
}
.FILENAME {
	color:#007A00;
}
.GUIMENU, .GUIMENUITEM, .GUISUBMENU, .GUILABEL, .INTERFACE, .SHORTCUT, .SHORTCUT .KEYCAP {
	font-weight:bold;
}
.GUIBUTTON {
	background-color:#CFCFCF;
 padding:2px;
}
.ACCEL {
	background-color:#F0F0F0;
 text-decoration:underline;
}
.SCREEN {
	padding:1ex;
}
.PROGRAMLISTING {
	background-color:#EEEEEE;
 border:1px solid #CCCCCC;
 padding:1ex;
}
a[href]:hover {
	background:none repeat scroll 0 0 #FFFFAA;
}
blockquote.NOTE {
	background:none repeat scroll 0 0 #EEEEEE;
 border:1px solid #CCCCCC;
 color:#222222;
 padding:0.4em;
 width:85%;
}
blockquote.TIP {
	background:none repeat scroll 0 0 #D8ECD6;
 border:1px solid green;
 color:#004F00;
 padding:0.2em 2em;
 width:85%;
}
blockquote.IMPORTANT {
	border-color:#AA0000 #AA0000 #AA0000 #CC0000;
 border-style:solid;
 border-width:1px 1px 1px 12px;
 font-style:italic;
 padding:0.1em 1em;
}
blockquote.WARNING {
	background:none repeat scroll 0 0 #F8E8E8;
 border:1px solid #E59595;
 color:#9F1313;
 padding:0.2em 2em;
 width:85%;
}
.EXAMPLE {
	background:none repeat scroll 0 0 #FEFDE6;
 border:1px solid #F1BB16;
 margin:1em 0;
 padding:0.2em 2em;
 width:90%;
}


#twitter_div {
}
ul#twitter_update_list {
	list-style:none outside none;
 margin:0;
 padding:0;
}
ul#twitter_update_list li {
	background-color:#005599;
 color:white;
 margin-bottom:10px;
 padding:10px;
}
ul#twitter_update_list a {
	color:#DDDDDD;
}

pre {
	font-size: 12px;
	padding: 0;
	margin: 0;
	border-left: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
	border-top: 1px solid #ccc;
	border-right: 1px solid #ccc;
	line-height: 20px; /*--Height of each line of code--*/
	background-color: #eeeeff;
	width: 680px;
	overflow: auto; /*--If the Code exceeds the width, a scrolling is available--*/
	overflow-Y: hidden;  /*--Hides vertical scroll created by IE--*/
}
pre code {
	margin: 0 0 0 10px;  /*--Left Margin--*/
	padding: 18px 0;
	display: block;
}