/*
#####################################################################
###
###   RDE 共通スタイルシート
###
*/

BODY {
	background-color : #c0ffe0;
	line-height : 145% ;
}

H1.headding {
	color : white ;
	font-size : x-large ;
	padding-top : 0.5ex ;
	padding-bottom : 0.5ex ;
	background-color : #8080c0 ;
	border: 2px outset #000080 ;
	text-align : center ;
	margin-top : 0.2ex ;
}

H1.section {
	color : black ;
	font-size : x-large ;
	padding-left : 1em ;
	padding-right : auto ;
	padding-top : 1ex ;
	padding-bottom : 1ex ;
	background-color : #d0d0ff ;
	border: 2px solid #2020a0 ;
	margin-left : 0em ;
	margin-right : 0em ;
	margin-top : 0.2ex ;
        page-break-before : auto ;
}

H2.subsection {
	color : black ;
	font-size : large ;
	padding-left : 1em ;
	padding-right :1em ;
	padding-top : 0.5ex ;
	padding-bottom : 0.5ex ;
	background-color : #d0d0ff ;
	border: 2px solid #a0e0d0 ;
}

DIV.contents {
	margin-left : 2em ;
	margin-right : 0.5em ;
}

DIV.index {
	margin-left : 0em ;
	margin-right : 0em ;
}

DIV.printnewpage {
        page-break-before : always ;
}

PRE {
	background-color : #d0ffe0;
	line-height : 120% ;
	margin-left : 0.5em ;
	padding : 0.5em 0.5em 0.5em 1.5em ;
}

PRE.syntax {
	background-color : #d0f0ff;
	border: 0.2ex solid #a0c0ff;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
}

PRE.source {
	background-color : #d0f0ff;
	border: 0.2ex solid #a0c0ff;
}

DIV.thesis {
	line-height : 120% ;
	margin : 0.2em 0.2em 0.2em 1.5em; 
	padding : 0.5em 0.5em 0.5em 0.5em ;
	background-color : #d0f0ff;
	border: 0.2ex solid #a0c0ff;
}

PRE.cmdline {
	background-color : #d0f0ff;
	border: 0.2ex solid #a0c0ff;
}

DIV.pre {
	margin : 0.2em;
	background-color : #d0ffe0;
	padding-left : 2em ;
	padding-right : 0em ;
	padding-top : 0em ;
	padding-bottom : 0em ;
	border: 0.1ex solid #d0ffe0;
}

UL.description {
	margin : 0.2em;
	padding-left : 2em ;
}

OL.enumerate {
	margin : 0.2em;
	padding-left : 2em ;
	list-style-type : decimal;
}

DIV.sindexblock {
	line-height : 110%;
	margin : 0.1em;
	padding : 0.2em;
	border : 1px solid #000000;
	background-color : #f0ffe0;
}

DIV.sectionindex {
	line-height : 110%;
	margin : 0.1em 0em 0em 0.2em;
	padding : 0.2em;
	border : 1px solid #000000;
	background-color : #f0f0f0;
	font-size : 80% ;
}

DIV.nestedindex {
	line-height : 110%;
	margin : 1em 0.1em 1em 0.1em;
	padding : 0.1em;
	border : 1px solid #000000;
	background-color : #d0ffe0;
}


SPAN.filename {
	font-style : italic;
	color : blue;
}

SPAN.cmdname {
	font-style : italic;
	color : blue;
}

SPAN.varname {
	font-style : italic;
	color : blue;
}

SPAN.emphasis {
	color : red;
}

SPAN.vector {
        font-style : italic;
        font-family : serif;
        font-weight : bold;
}