body {
	color: #000000;
	background-color: #FFFFFF;
}
a.directory-access:link {
	color: #6DCDF1;
	text-decoration: none;
}
a.directory-access:visited {
	color: #3993DB;
	text-decoration: none;
}
a.directory-access:hover {
	color: #9F11FF;
	text-decoration: underline;
}
table.directory-access {
	color: #FFFFFF;
	background-color: #0A3C5A;
	text-align: left;
	font-size: smaller;
	width: 100%;
}
a:link {
	color: #149CCF;
	font-weight: bold;
	text-decoration: none;
}
a:visited {
	color: #1C6199;
	text-decoration: none;
}
a:hover {
	color: #6C00B5;
	text-decoration: underline;
}
address {
	font-size: smaller;
}
.copyright {
	font-size: small;
	color: #660000;
	text-align: right;
}
div.search {
	text-align: right;
}
div.new {
	color: #334433;
	margin-top: 0px;
	margin-right: 25px;
	margin-bottom: 7.5px;
	margin-left: 15px;
	padding-top: 6px;
	padding-right: 5px;
	padding-bottom: 20px;
	padding-left: 5px;
	border-bottom-width: 3px;
	border-left-width: 3px;
	border-bottom-style: double;
	border-left-style: double;
	border-bottom-color: #CCFFCC;
	border-left-color: #CCFFCC;
	border-top-width: 3px;
	border-right-width: 3px;
	border-top-style: none;
	border-right-style: none;
	border-top-color: #CCFFCC;
	border-right-color: #CCFFCC;

}
div.trouble {
	color: #334433;
	margin-top: 0px;
	margin-right: 25px;
	margin-bottom: 7.5px;
	margin-left: 15px;
	padding-top: 6px;
	padding-right: 5px;
	padding-bottom: 20px;
	padding-left: 5px;
	border-bottom-width: 3px;
	border-left-width: 3px;
	border-bottom-style: double;
	border-left-style: double;
	border-bottom-color: #CCFFCC;
	border-left-color: #CCFFCC;
	border-top-width: 3px;
	border-right-width: 3px;
	border-top-style: none;
	border-right-style: none;
	border-top-color: #CCFFCC;
	border-right-color: #CCFFCC;

}
div.intro {
	color: #334433;
	margin-top: 0px;
	margin-right: 25px;
	margin-bottom: 7.5px;
	margin-left: 15px;
	padding-top: 10px;
	padding-right: 5px;
	padding-bottom: 10px;
	padding-left: 5px;
	border-bottom-width: 3px;
	border-left-width: 3px;
	border-bottom-style: double;
	border-left-style: double;
	border-bottom-color: #CCFFCC;
	border-left-color: #CCFFCC;
	border-top-width: 3px;
	border-right-width: 3px;
	border-top-style: none;
	border-right-style: none;
	border-top-color: #CCFFCC;
	border-right-color: #CCFFCC;


}
td.header {
	background-image: url(https://wwwmain.h.kobe-u.ac.jp/~nagasaka/images/banner_tail.png);
	background-repeat: repeat-x;
}
.infoheader {
	font-size: larger;
	font-weight: bold;
	color: #999966;
	text-decoration: underline;
}
.toplink {
	text-align: right;
}
.warn {
	font-weight: bold;
	color: #FF0000;
}
.note {
	color: #0088FF;
}
.larger {
	font-size: larger;
}
.smaller {
	font-size: smaller;
}

img.fixedLay 
{ 
    position         : absolute   ;
    z-index          : 100        ;
}
table.error {
	background-color: #CCCCCC;
	border: thick double #CC3333;
}
pre.code {
	margin: 2px;
	padding: 2px;
	background-color: #555555;
	border-width: 1px;
	border-style: solid;
	border-color: #000000;
	color: #FFFFFF;
}
div.code {
	margin: 2px;
	padding: 2px;
	background-color: #555555;
	border-width: 1px;
	border-style: solid;
	border-color: #000000;
	color: #FFFFFF;
}
div.codeexp {
	margin-left: 12px;
	margin-bottom: 2px;
	padding: 2px;
	background-color: #dddddd;
	color: #000000;
}
.clearbox {
	margin-left: 12px;
	margin-bottom: 2px;
	padding: 2px;
	background-color: #ffffff;
	color: #000000;
	border-width: 2px;
	border-style: inset;
}
ol.clearbox {
	margin-left: 12px;
	margin-bottom: 2px;
	padding: 2px 2px 2px 30px;
	background-color: #ffffff;
	color: #000000;
	border-width: 2px;
	border-style: inset;
}
.box {
	margin-left: 12px;
	margin-bottom: 2px;
	padding: 2px;
	background-color: #eeeeee;
	color: #000000;
	border-width: 2px;
	border-style: outset;
}
.listtitle {
	border-left-width: 10px;
	border-left-style: solid;
	border-left-color: #5D737B;
	padding-left: 5px;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #5D737B;
	margin-top: 5px;
	margin-bottom: 3px;
	margin-left: 10px;
	margin-right: auto;

}
.listtitle2 {
	border-left-width: 5px;
	border-left-style: solid;
	border-left-color: #6D838B;
	padding-left: 5px;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #6D838B;
	margin-top: 5px;
	margin-bottom: 3px;
	margin-left: 15px;
	margin-right: auto;
}
.listtitle3 {
	border-left-width: 0px;
	border-left-style: solid;
	border-left-color: #6D838B;
	padding-left: 5px;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #6D838B;
	margin-top: 5px;
	margin-bottom: 3px;
	margin-left: 20px;
	margin-right: auto;
}

img.example {
	margin: 5px;
}

td.menubox {
	text-align: right;
	vertical-align: top;

}
td.menutable {
	text-align: left;
	border-top-style: groove;
	border-right-style: groove;
	border-bottom-style: none;
	border-left-style: ridge;
	border-top-color: #5D737B;
	border-right-color: #5D737B;
	border-bottom-color: #5D737B;
	border-left-color: #5D737B;
	border-top-width: thin;
	border-left-width: medium;
	background-color: #EAE9FE;
	border-right-width: thin;



}
td.menutablelast {
	text-align: left;
	border-top-style: groove;
	border-right-style: groove;
	border-bottom-style: ridge;
	border-left-style: ridge;
	border-top-color: #5D737B;
	border-right-color: #5D737B;
	border-bottom-color: #5D737B;
	border-left-color: #5D737B;
	border-top-width: thin;
	border-left-width: medium;
	background-color: #EAE9FE;
	border-bottom-width: medium;
	border-right-width: thin;




}
.menusection {
	font-weight: bold;
	color: #001158;
	font-size: smaller;


}
.menulist {
	margin: 3px auto auto 10px;

}
.bgy {
	background-color: #669966;
}
.right {
	text-align: right;
}
.center {
	text-align: center;
}

.nonfloat {
	clear: both;
}

.floatr {
	float: right;
}

.floatl {
	float: left;
}