/* This is the StyleCatcher theme addition. Do not remove this block. */
@import url(/mt/mt-static/themes/base-weblog.css);
@import url(/mt/mt-static/themes/theme-blue_crush/theme-blue_crush.css);
/* end StyleCatcher imports */

body.print{
	background-color: #FFFFFF;
}

div.code{
	font-family: 'ＭＳ ゴシック', 'Osaka-等幅', monospace;
        font-size: 10pt;
        padding: 5px;
	background-color: #FFFF99;
        border: 1px orange solid;
	width: 450px;
	margin-left: 30px;
        overflow: auto;
}

blockquote{
	font-family: 'ＭＳ ゴシック', 'Osaka-等幅', monospace;
        font-size: 10pt;
        font-style: oblique;
        padding: 5px;
	background-color: #E0FFFF;
        border: 1px #6699FF dotted;
	width: 450px;
	margin-left: 30px;
        overflow: auto;
}
.cellhead{
	background-color: orange;
	font-weight: bold;
}


i.argv{
	font-size: 80%;
	color: gray;
}