.mark {
	color:#f0f00;
}

a	{ text-decoration:none }
a:hover {
		color: red;
		/* font-style: italic; */
		background-color: #AAAAFF;
}

h1 {
	margin:1em 1px 1px 0.5em;
	border-style: solid;
	border-width: 1px 1px 2px 1em; /* 上、右、下、左の枠 */
	border-color: #ffffff #ffffff #555555 #aaaaaa;
//	border-width: 2px 2px 4px 4px; /* 上、右、下、左の枠 */
//	border-color: #00ff00 #00ff00 #55ff55 #55ff55;
	font-size:170%;
	line-height:105%;
}

h2 {
	margin:1em 1px 1px 1em;
	border-style: solid;
	border-width: 1px 1px 2px 1em;
	font-size:140%;
}

h3 {
	border-style: solid;
	border-width: 0px 1px 2px 3px;
	margin:0.5em 1px 1px 1em;
	font-size:120%;
}

p {
	text-indent: 0.5em;
	line-height:105%;
	margin:5px 50px 1px 0px;
}

li {
	text-indent: 0.25em;
	margin-top:0.5em;
	margin-bottom:0.25em;
}

body{
	font-family: serif;
	margin:1px 1px 50px 1px;
	background-color:#ece9d8;
}

pre{
  white-space:  pre;
  padding:      0.5em;
//  border-color: #1e1dff;
  border-color: #5e5dff;
  border-style: solid;
  border-width: 1px;
  overflow: auto;
  word-wrap:break-word;
  word-break:break-all;
}

div.indent {
	margin:0.5em 1px 1px 1em;

}

div.title {
	font-size:200%;
}

img.view {
	border-style: solid;
	border-width: 1px 1px 1px 1px;
}

table.defined {
	border-style: solid;
	border-width: 1px 1px 1px 1px;
}