body {
    margin: .5em 1% .1em 1%;
    background-color: #FFFFE0;
//	background-image: url(./sengai2.jpg);
  	letter-spacing:0.1em;
    color: black;
	width: 700px;
}
p {
    line-height: 140%;
	margin:1em 0 1em 1em
}
pre, ul, li {
	line-height: 140%;
}
a {
}
a:hover {
    color: red;
    background-color: white;
    text-decoration: underline;
}
.tools {
	text-align: right;
    padding: 0 .5em 0 .5em;
    margin: 0 0 0 0;
}
.pse{
	font-family:"WG Pinyin Serif","Times New Roman",serif;
}
.psa{
	font-family:"WG Pinyin Sans",Arial,sans-serif;
}
.l{
	font-size:large
}
.xl{
	font-size:x-large
}
.s{
	font-size:small
}
.xs{
	font-size:x-small
}
.u{
	text-decoration: underline
}
.lt{
	text-decoration: line-through
}
.header {
    text-align: left;
    border: 3px solid #990000;
    color: #000000;
/*    background: #D0D0FF;*/
    background: #FFFFFF;
    font-family:sans-serif;
    font-size:20pt; 
    font-weight:bold; 
    margin-left:0; margin-right:0; margin-top:.2em; margin-bottom:1em; padding-left:.5em; padding-right:.5em; padding-top:.1em; padding-bottom:.1em
}

.header a:link, .header a:visited {
	color: #000000;
}
.header a:active, .header a:hover {
	color: #000000;
}





/*
.content {
    line-height: 140%;
    margin: 1em 0 1em 1em;
}
*/
.footer {
    font-style: normal; /* italic */
    text-align: right;
}
.InterWiki {
	color: black;
	background: #eee;
}
body.frozen {
    color: black;
/*	background: #eee;	*/
    background-color: #FFFACD;
	background-image: url(./sengai2.jpg);
}
h2 {
    border:1px solid; text-align: left;
    font-family:sans-serif;
    font-size:18pt;
    color: #FFFFFF;
    background: #990000;
    padding:.1em .5em .1em .5em
}


h2 a:link, h2 a:visited {
	color: #FFFFFF;
}
h2 a:active, h2 a:hover {
	color: #000000;
}



h3 {
    border:1px dotted #FF7F24; text-align: left;
    color: #FFFFFF;
    background: #CD4F39;
    font-family:sans-serif;
    font-size:14pt;
    padding:.1em .5em .1em .5em
    /* margin: .2em 0 0 0; */
}

h3 a:link, h3 a:visited {
	color: #FFFFFF;
}
h3 a:active, h3 a:hover {
	color: #000000;
}

h4 {
/*    border:1px solid #FF7F24; text-align: left;
    color: #000080;
    background: #FFFFFF;
    font-family:sans-serif;	*/
    font-size:12pt;
    padding:.0 0 0 0;

/*    padding:.0 0 0 1em; */

/*    padding:.1em .5em .1em .5em*/
    /* margin: .2em 0 0 0; */; letter-spacing:1; font-weight:bold*/
}
.date {
	font-family: monospace;
}
a img {
	border: none;
}

/* diff */
.added {
	color: blue;
}
.deleted {
	color: red;
}
.same {
	color: #666;
}
.diff {
	color: black;
	background: #eee;
}

pre{
	padding:10px;
	border:1px ridge #FFFF99;
	background-color:#FFFFCC;
	text-indent:0;
	margin-left:0;
	margin-right:0 
}


/* table */
table {
	background: gray;
	width: 500px;
}
td {
	margin: 1px;
	padding: 5px;
	background: white;
	vertical-align: top;
	text-align: left;
}

/* preview */
.preview {
	color: black;
	background: #fcc;
}

.error {
}