dt:before {
	 content:"○";
 }
BODY {
  color: black;
  background-color: white;
}
H1 {
  width: 100%;
  text-align: center;
  border: 1px solid #8888f8;
  background-color: #333333;
  color: #ffffee;
}
H2 {
  width: 100%;
  border: 1px solid #333333;
  background-color: #333333;
  color: #ffffee;
}

/* class=imp (important) */
.imp {
  margin: 10px;
  margin-left: 30px;
  font-weight: bold;
  padding: 2px;
}

/* class=indent (not important) */
.indent {
  margin: 10px;
  margin-left: 30px;
  padding: 2px;
}

/* class=unixindent (indent in command sample) */
.unixindent {
  margin: 0px;
  margin-left: 35px;
  padding: 0px;
}
/* class=unixcmd */
.unixcmd {
  color: white;
  background-color: #444444;
  border: 1px solid black;
  margin: 3px;
  margin-left: 10px;
  padding: 3px;
  font-family: monospace;
}
.unixcode {
  color: black;
  background-color: #ddddee;
  border-bottom: 2px solid #7777aa;
  border-right: 2px solid #7777aa;
  border-left: 1px solid #bbbbdd;
  border-top: 1px solid #bbbbdd;
  margin: 3px;
  margin-left: 10px;
  padding: 3px;
  font-family: monospace;
}
/* prgmemo.html や genre.html のテーブル */
.unixtable {
  border: 1px solid black;
  margin: 4px;
  border-collapse: collapse;
  background-color: #e9e9e9;
}
.unixtable td {
  padding: 1px;
  padding-left: 6px;
  padding-right: 6px;
  border: 1px solid black;
}
/* UNIX の部屋の、環境変数・コンフィグなどのページ先頭にある解説 DIV */
.unixintro {
  border: 1px solid black;
  margin: 10px;
  padding: 10px;
  background-color: #f5f5f5;
}

/* UNIX の部屋でのコマンドの見出し */
H3 {
  font-size: 100%;
  width: 100%;
  padding: 2px;
  border-bottom: 3px solid #7777aa;
/*  background-color: #ccccff; */
  color: #000000;
}

/* UNIX の部屋での中レベル見出し */
.unixtopic {
  font-weight: bold;
/*  border-bottom: 2px solid #d08080; */
}


/* class=tips */
.tips {
  border-left: 5px solid #8888cc;
  margin: 18px;
  padding-left: 5px;
}

/* class=code */
.code {
  color: black;
  background-color: #ddddee;
  border-bottom: 2px solid #7777aa;
  border-right: 2px solid #7777aa;
  border-left: 1px solid #bbbbdd;
  border-top: 1px solid #bbbbdd;
  margin-left: 18px;
  padding: 2px;
/*
  float: left;
  overflow: scroll;
  overflow: auto;
  max-height: 20em;
*/
}

/* class=code 内の pre */
.code pre {
  margin: 0px;
}


/* class=cmd */
.cmd {
  color: white;
  background-color: #444444;
  border: 1px solid black;
  margin: 13px;
  padding: 2px;
}

/* class=cmd 内の pre */
.cmd pre {
  margin: 0px;
}

.navi {
  font-weight: bold;
  background-color: #e0e0e0;
  border: 2px solid white;
  padding: 2px;
}

.cvsid {
  font-size: 80%;
  color: #666666;
  border-top: 2px solid;
}

/* 更新記録の日付部分 */
.historydate {
  margin: 0px;
  padding: 0px;
}

/* 更新記録の更新内容部分 */
.historycontent {
  margin: 0px;
  margin-left: 2em;
  padding: 0px;
}

.attention {
  font-weight: bold;
  color: red;
}

/* class=cmd 内の class=attention。コマンド実行例の注釈などに使用 */
.cmd .attention {
  font-weight: bold;
  color: yellow;
}