@charset "EUC-JP";

/* Overwrite infoheader style */
.infoheader {
  font-size:10px;
  padding:3px 5px;
}

/* 履歴表示 */
.history_rev {
  text-align:center;
}
.history_modify {
  text-align:center;
  padding:3px 10px;
}
.history_editor {
  text-align:center;
  padding:3px 10px;
}
.history_diff {
  font-size:70%;
  padding-right:10px;
}
.history_diffprevious {
  font-size:70%;
}

/* コメント入力フォーム */
#IDerrormsg { 
  font-size:80%;
  color:red;
}
.comment_formtable {
  font-size: 14px;
}
.comment_textbox { 
  border: 1px solid gray;
}