body {
    color: #333333;
    background-color: #FFFFFF;
    margin: 0px 0px 0px 0px;
    font: 16px 'Lucida Grande', Geneva, Arial, Verdana,'Hiragino Kaku Gothic Pro','ヒラギノ角ゴ Pro W3','ＭＳ Ｐゴシック', /*sans-serif*/ gothic;
}

p {
	color:#333333;
}

a:link, a:active, a:hover {
	color:#CC6600;
}

a:visited {
	color:#DD9900;
}


#logo1 {
    /*
    color: #FF9900;
    font-size: xx-large;
    font-weight: bold;
    */
    color: #FFFFFF;
    font-size: 32px; /* xx-large; */
    font-weight: bold;
    background-color: #FF9900;  /* or orange */
    padding: 10px 0px 10px 20px;
    margin: 0px 0px 20px 0px;
}

#logo2 {
    color: #FFFFFF;
    background-color: #FF9900;
    font-size: 32px; /* xx-large; */
    font-weight: bold;
    padding: 10px 0px 10px 20px;
}

/*
#logo2 #copyright {
    font-size: 12px;
}
*/

#counter {
    /* text-align: right; */
    float: right;
    margin: 10px 20px 10px 0px;
}

#copyright {
    color: #999999;
    font-size: 12px; /* or x-small */
    margin: 10px 0px 10px 20px;
}


.tabs {
    xborder-style: solid;
    xborder-color: #FF9900;
    xborder-width: 0px 0px 1px 0px;
    font-size: 14px;
}
.tabs a {
    border-style: solid;
    border-color: #FF9900;
    border-width: 1px 1px 0px 1px;
    color: #FF9900;
    text-decoration: none;
    padding: 4px 20px 0px 20px;
    margin: 0px 0px 0px 15px;
    /* background-color: #FFE090; */
    /* width: 10em; */
}
.tabs a.current {
    background-color: #FF9900;
    border-bottom: 1px solid #FF9900;
    color: #FFFFFF;
    font-weight: bold;
}
.tabs a:hover, .tabs a:active {
    background-color: #FFDDCC;
    text-decoration: underline;
}

//.contents {
//    background-color: #CCEEFF;
//    border-bottom: 1px solid #6699FF;
//}


#mainbody {
    margin: 0px;
    padding: 10px 20px 10px 20px;
    border-style: solid;
    border-color: #FF9900;
    border-width: 1px 1px 1px 1px;
    line-height: 150%;
    padding-bottom: 40px;
}

/*
#breadcrumbs {
    padding: 10px 20px 10px 20px;
}
*/

#breadcrumbs a {
    color: #FF9900;
    font-weight: bold;
    text-decoration: none;
}

#breadcrumbs a:hover, #breadcrumbs a:active {
    background-color: #FFDDCC;
    text-decoration: underline;
}


pre {
	/* width: 100%; */
	line-height:130%;
	white-space:pre;
	padding:9px;
	margin:0px;
	word-break:break-all;
}

.program {
	border-style:solid;
	border-width:1px;
	border-color:#FF9900;
	background-color:#FFE090;
}

.terminal {
	border-style:solid;
	border-width:1px;
	border-color:#999999;
	background-color:#DDDDDD;
}

.output {
	border-style:solid;
	border-width:1px;
	border-color:#CCCCCC;
	background-color:#FFFFFF;
}

.figure {
	/*
	border-width:1;
	border-color:#DDDD66;
	white-space:pre;
	*/
	line-height: 100%;
	padding: 0px;
	word-break:none;
}

.program_caption {
	margin-top: 20px;
}

.terminal_caption {
	margin-top: 20px;
}

.output_caption {
	margin-top: 20px;
}


.ol1 {
	list-style-type:1;
}
.ol2 {
	list-style-type:A;
}
.ol3 {
	list-style-type:i;
}

.ul1 {
	list-style-type:disc;
}
.ul2 {
	list-style-type:circle;
}
.ul3 {
	list-style-type:square;
}


.dt2, .dt3 {
	font-weight:bold;
}

.table1 {
	padding:2px;
	background-color:#DDDDCC;
	/*
	border-width:1;
	border-style:solid;
	border-color:#FFFFFF;
	*/
	margin:5px;
}

.th1, .th2 {
	padding:1px;
	/* background-color:#DDDDCC; */
	background-color:#CCCCBB;
}

.td1, .th2 {
	padding:1px;
	color:#333333;
	background-color:#EEEEDD;
}

.caption1, .caption2 {
	/* font-size:x-small; */
}

.table2 {
	padding:1px;
	background-color:#DDDDCC;
	/*
	border-width:1;
	border-style:solid;
	border-color:#FFFFFF;
	*/
	margin:5px;
}

/*
h1, .chapter, .doctitle {
	color:#333333;
	font-weight:bold;
	padding:30 0 10 0;
}
*/

h2 {
	font-weight:bold;
	border-style:solid;
	border-color:#FF9900;
	border-width:0px 0px 1px 30px;
	padding:10px 20px 0px 5px;
	margin: 50px 0px 0px 0px;
}

h3 {
	font-weight:bold;
	border-style:solid;
	border-color:#FF9900;
	border-width: 0px 0px 0px 15px;
	padding: 10px 20px 0px 5px;
	margin: 40px 0px 0px 0px;
}

h2 a, h3 a, h4 a, h5 a {
	text-decoration: none;
}


.em {
	font-weight:bold;
}

.toc {
	/* font-size:small; */
}

code {
    font-size: 16px;
}

.footnote {
	font-size:small;
}

.footnote code {
    font-size: small;
}

.note {
	background-color:#FFFFDD;
	border-style:solid;
	border-width:0px 1px 0px 1px;
	border-color:#DDDD66;
	/* font-size:small; */
	line-height:120%;
	padding: 5px 20px 5px 20px;
}

.page_navigation {
	text-align: center;
}


.fig-entry {
	float:  right;
	width:  370px;
	margin: 0px 0px 10px 10px;
}

.fig-caption {
	padding: 10px 0px 0px 0px;
}

.fig-body {
	border-width: 1px;
	border-style: solid;
	border-color: #999999;
        text-align:  center;
}