@charset "EUC-JP";

/* "Gawky Auk" Style Sheet*/
/* Last modified: Hirofumi Saito (2002/09/27)*/

a {
  text-decoration: none;
}

a:link {
  color: #888888;
}

a:visited {
  color: rgb(128, 128, 192);
}

a:hover {
  background-color: #ccd;
}

h1, h2, h3, h4, h5, h6, p, ul, dl, ol, pre, form, address, td, caption {
	line-height: 150%;
}

div.header-box {
  text-align: right;
  margin: 1em;
  padding: 1em;
  border-width: 2px;
  border-style: outset;
}

div.body-box {
  margin: 1em;
  padding: 1em;
  border-width: 2px;
  border-style: outset;
}

div.abstract {
  text-align: left;
  padding: 1em;
}

p {
  text-indent: 1em;
}

h1 {
  font-weight: bold;
  border-width: 0 0 2px 0;
  border-style: solid;
  color: #888888;
}

h2 {
  font-weight: bold;
  color: white;
  background-color: #888888;
  padding: 0.4em 1em 0.4em 1em;
}
h3 {
  font-weight: bold;
  color: #888888;
}
body.cygwin-announce h2 {
	color: #228856;
	background-color: white;
    border-style: solid;
    border-width: 0 0 0.1em 0;
	padding: 0;
}
h3 {
    clear: both;
    border-style: solid;
    border-width: 0 0 0.1em 0;
	margin-left: 2%;
}
p.footnote {
	font-size:   90%;
    line-height: 120%;
	text-indent: 0%;
	margin-top: 0.5em;
	margin-bottom: 0;
}
div.footnote {
	margin-left: 20%;
	padding: 0 0.5em 1em 1em;
    border-style: solid;
    border-width: 2px 0 0 0;	
}	
span.footnote-link {
	font-size:   80%; 
}
p.caution {
    text-align: center;
	color: red;
    font-weight:  bold;
}
table {  
    border: solid black 1px;
    border-collapse: collapse;
}
th {
    background-color: lightgray;
}
th, td { 
    border: solid black 1px;
    padding: 4px;
}
pre.console {
    color:       white;
    background-color: black;
    padding:      0.5em;
    white-space:  pre;
    border-color: #555555;
    border-style: outset;
    border-width: 2px;
    margin-left:  5%;
    margin-right: 5%;
}

div.column { 
    margin: 1em; 5% 1em 5%;
    padding: 0 1em 0 1em;
    border: solid #228856; 2px;
	font-size: 90%;
}
div.column h3 { 
    border: 0px;
	margin-left: 0;
    text-align: center;
}

address {
  text-align: center;
  padding: 0.5em;
}