/*Emphasis and Supplement CSS*/
/*
	Emphasis
*/

.emp {
	border-right: medium double #808080;
	border-bottom: 1px dotted #808080;
	color:black;
		background-position: right;
		padding: 5px;
	background-image: url('images/empbg.png');
		background-repeat: repeat-y;
		margin-top: 35px;
}
.emp strong{
	color: #006600;
	font-size: large;
	font-weight: bold;
}
.summary{
	padding: 5px;
	background-color: #D6FF80;
	margin-top: 35px;
}
.summary strong{
	color: #006600;
	font-size: large;
	font-weight: bold;
}
/*
	Navigation
*/
.page_nav{
	padding: 50px 0px 60px 0px;
	margin: 0px auto;
	border-bottom-style: dotted;
	border-bottom-width: 1px;
}
.page_nav a{
	color: #FFFFFF;
	border: 1px none #red;
	background-color: #4F4F4F;
	padding: 20px 60px 20px 60px;
	margin: 0px;
	text-align: center;
}
.page_nav a:hover{
	color: #FFFFFF;
	border: 1px none #red;
	background-color: #4F4F4F;
	padding: 20px 60px 20px 60px;
	margin: 0px;
	text-align: center;
}
.page_nav a:visited{
	color: #C0C0C0;
	border: 1px none #red;
	background-color: #4F4F4F;
	padding: 20px 60px 20px 60px;
	margin: 0px;
	text-align: center;
}
.page_nav_previous{
	color:#FFFFFF;
	border: 1px none #red;
	float: left;
	background-color: #4F4F4F;
}
.page_nav_next{
	color:#FFFFFF;
	border: 1px none #red;
	background-color: #4F4F4F;
	float: right;
}
/*
	Code highlight
*/
.hl-surround{
    -moz-border-radius: 5px;
    background-color: #F9FBFC;
    border: 1px solid #C3CED9;
    padding: 8px;
    margin-bottom: 5px;
    overflow: auto;
    text-align: left;
}

.hl-surround, .hl-surround pre, .hl-surround span{
	font: normal 9pt 'MS ゴシック;
}
.hl-default{
	color: Black;
}
.hl-code{
	color: black;
}
.hl-brackets{
	color: blue;
}
.hl-comment{
	color: Olive;
}
.hl-string, .hl-special, .hl-quotes{
	color: #6699FF;
	text-decoration: underline;
}
.hl-identifier{
	color: #009933;
}
.hl-builtin{
	color: Teal;
}
.hl-reserved{
	color: Blue;
}
.hl-inlinedoc{
	color: Blue;
}
.hl-var{
	color: #00008b;
}
.hl-url{
	color: Blue;
}
.hl-number{
	color: #FF0066;
}
.hl-inlinetags{
	color: Blue;
}
.hl-types{
	color: Orange;
}

.hl-main{
	background-color: transparent;
}

.hl-main pre{
	margin: 0; padding: 0;
}