body {
 width: 1024px;
 background-color:#ffffff;
 margin-left: 7%;
 margin-right: 7%
}

.navi {
 font-size: 80%;
 text-align:	left;
 margin-top:	0.5em;
 margin-bottom:	0.5em;
}

.centernavi {
 font-size: 80%;
 text-align:	center;
}

/* size */

h1 { font-size: 174.9%; }
h2 { font-size: 132.2%; }
h3 { font-size: 115.0%; }
h4 { font-size: 100.0%; }
h5 { font-size: 100.0%; }
h6 { font-size: 100.0%; }

h1 { font-size: 174.9%; }
h2 { font-size: 132.2%; }
h3 { font-size: 115.0%; }
h4 { font-size: 100.0%; }
h5 { font-size: 100.0%; }
h6 { font-size: 100.0%; }


/* font */

h1 {
  font-family: Verdena, Arial, Helvetica, sans-serif;
  font-weight: bold;
}

h2, h3, h4, h5, h6 {
  font-family: Verdena, Arial, Helvetica, sans-serif;
  font-weight: bold;
}

/* color */

h1 {
  /*
  background: url(./figs/090428-title.jpg) repeat;
  */
  background-color: #449944;
  color: #ffffff;
  margin-top: 1.0em;
  margin-bottom: 1.0em;
  padding: 10px 20px 10px 20px;
  text-shadow: black 4px 5px 4px;
}

h1.src {
  background-color: #ffffff;
  color: #449944;
  font-size: 132.2%;
  text-shadow: none;
  margin-top: 1.0em;
  margin-bottom: 0.0em;
  padding: 10px 0px;
}

h2 {
  border-left: 0.6em solid #449944;
  border-bottom: 2px solid #449944;
  text-shadow: gray 4px 3px 10px;
  margin-top: 1.0em;
  margin-bottom: 1.0em;
  padding: 10px 10px 10px 10px;
}

h3, h4, h5, h6 {
  /*
  border-left: 0.6em solid #5555bb;
  */
  border-bottom: 2px solid #449944;
  /*
  text-shadow: gray 4px 3px 10px;
  */
  margin-top: 1.0em;
  margin-bottom: 1.0em;
  padding: 3px;
  padding-left: 5px;
  /*
  padding: 10px 10px 10px 10px;
  */
}

h3 {
  border-bottom: 2px solid #449944;
  border-left: 2px solid #449944;
}

h4 {
  border-bottom: 2px dotted #449944;
}

h5 {
  border-bottom: none;
}

th {
	background-color: #cccccc;
}

a:link {
    color: #000099;
}
a:visited {
    color: #000099;
}
a:hover {
    color: #ff0000;
}

pre.src {
    font-family: Courier, monospace;
	font-size: 80%;
	background-color: #cccccc;
}

/* layout, design */

table {
	border-collapse: collapse;
}

th, td {
	padding: 5px;
	border: solid 1px black;
}

div.header {
	text-align: center;
}

div.header img {
	padding: 5px 50px;
	width: 900px;
	height: 250px;
}

div.menu {
	text-align: center;
}

div.menu ul {
	margin: 20px 0px 30px 0px;
	padding: 0px;
}

div.menu li {
	width: 150px;
	padding: 5px;
	display: inline;
	margin-right: 30px;
	font-weight: bold;
	font-size: 125%;
}

.paper span.title {
	font-style: italic;
}

.paper span.volume {
	font-weight: bold;
}

ul.paper {
	list-style-type: circle;
}

ul.info {
	list-style-type: none;
	margin-left: 0px;
	padding-left: 0px;
}

ul.lecture ul.src {
	margin: 0px 0px 0px 180px;
	padding: 0px;
	list-style-type: none;
}

.important {
    color: #ff0000;
	font-weight: bold;
}