/*
	TIPS用スタイルシート
*/
a:hover {
	background-color:mistyrose;
}

body {
	background-image:URL(../item/bgdata2/tex2bg13h.gif);
}
.navi {
	font-size:smaller;
}
.saport-version {
	font-size:smaller;
	font-family:monospace;
}
.ng-version {
	text-decoration:line-through;
	color:silver;
}
#version-desc {
	margin-top:0em;
	font-family:monospace;
	font-size:smaller;
}
.button {
	cursor:hand;
	text-decoration:underline;
}

h2 {
	font-size:large;
	margin:1.5em 0 0 0;
	font-weight:normal;
	color:white;
	padding:0.3em 0 0.2em 0.5em;
	background-color:olive;
	background-image:URL(../item/bg2/jbg01d.jpg);
}

.h2-block {
	margin:0.5em 0.5em 0 1em;
/*	border:dashed 1pt burlywood;*/
}
.desc {
	margin:0.5em 0.5em 0 1em;;
}
h3 {
	margin:1em 0.5em 0.5em 0;
	font-size:medium;
	padding:0.1em 0 0.2em 0.4em;
	border-style:none none solid solid;
	border-width:1pt;
	border-color:brown;
}
p {
	margin:0.5em;
	line-height:1.3em;
}
.link-desc {
	font-size:smaller;
	margin-left:2em;
	margin-top:0.2em;
}
#index {
	margin-left:1.5em;
}
#index li {
	margin:0.2em 0 1em 1em;
}
pre {
	margin:0 0.5em 0em 2em;
	white-space:pre;
	padding:0.5em;
	border:inset 4pt floralwhite;
	background-color:floralwhite;
}
code {
	font-style:monospace;
}
var {
	color:forestgreen;
	font-style:italic;
}
.var-list {
	list-style-type:square;
	margin:0 0 0 4em;
}

.color_list {
	list-style-type:none;
}

table {
	font-family:monospace;
	margin-left:1em;
}
.color-name {
	border-style:solid;
	border-width:2pt 2pt 2pt 3em;
	padding:1pt;
	background-color:whitesmoke;
}
.color-code {
	border-style:solid;
	border-width:2pt 2pt 2pt 1em;
	padding:1pt 0.5em;
	background-color:whitesmoke;
}
.color-dd {
	border-style:solid;
	border-width:1pt;
	text-align:right;
	padding: 1pt 0.5em;
	background-color:whitesmoke;
}