/*ツールのリストページl用*/
body {
  color: #666;
  background-color: #ffffff;
	margin: 0;
	padding: 10px;
}
:link { color: teal; background: #ffffff }
:visited { color: silver; background: #ffffff }
a:active { color: red; background: #ffffff }
a:hover {	color: gray; background-color: yellow}

h1 { font-size: 200%; margin: 1em; padding: 1px; }
h2 {
	font-weight: normal;
	font-size: 150%;
	margin: 1em 0 1em 1em;
	padding: 1px;
	}
	
h3 {
	font-weight: normal;
	font-size: 120%;
	margin: 1em 0 1em 1em;
	padding: 1px;
	}

p {
	font-size: 100%;
	margin: 0.5em 0.5em 0.5em 2em;
	padding: 0;
    }
i { 
  color: #6600ff;
  background-color:#FFFFFF;
	font-size: 8pt;
	margin: 0.3em 0em 0.2em 2em;
	padding: 0px 0px 0px 0px;
}
 pre {
	font-family: monospace;
	font-size: 100%;
	margin: 1em 1em 1em 3em;
	padding: 0;
    }
p.copyright { font-size: small }
.system { color: olive; }
hr { background-color: yellow; height: 2pt; }
.datetime { font-size: 80%; }