.vector {
  /*
  font-weight : 900  ;
  font-style  : oblique ;
  font-family : cursive ;
  */
  font : 900 1.25em cursive,"MS 明朝";
  
}

/* 不可視演算子。べき乗^など */
.inv-opr {
  display: none;
}

.question, .marked, .proposition {
  font-family : "ＭＳ Ｐ明朝","MS明朝" ;
  margin  : 0em 3em ;
  padding : 0.25em ;
  border : thin outset #111188 ;
  background-color :   #111188 ;
  
}

.img-floater img {
  float: right;
  
}

.img-floater pre {
  float: left;
  
}

.img-floater {
  overflow : hidden ;
}

img.inline-mimetex {
  margin: 0;
  border: none;
  background-color: transparent;
  float :none;
  display: inline;
}
img.block-mimetex {
  margin: 0 auto;
  border: none;
  background-color: transparent;
  float :none;
  display: block;
}

/* 数式などの論理的な流れを持った
 * 一連の文章に対して連番を振らずに
 * マークアップする。
 */
ol.logical-expressions {
  list-style-type: none;
  margin : 0;
  padding: 0;
}
ol.logical-expressions li {
  margin : 0.125em 0;
  padding: 0.125em 0;
}

/* 番号を振った等式などへの参照をハイパーリンクで与える。
 * ジャンプしても戸惑うので普通っぽい書式に見せかける。
 */
a.ref-eqn, a.ref-eqn:link, a.ref-eqn:hover,
a.ref-eqn:visited, a.ref-eqn:active,
a.ref-img, a.ref-img:link, a.ref-img:hover,
a.ref-img:visited, a.ref-img:active
{
  color: #DD9999;
  text-decoration: none;
}

/* a.ref-imgで文章から参照する際の参照先として、図にキャプチャを
 * つけるためにdlでマークアップする。
 */
dl.referenced-images {
  border: 4px #444499 outset;
  background: #445599;
  width: 30%;
  float: right;
}
dl.referenced-images dt {
  text-align: center;
}
dl.referenced-images dd {
  margin-left: 0;
}
dl.referenced-images dd img {
  float : none;
  border: none;
}

#explain-program dl {
  /*
  margin-left : 1em ;
  */
  overflow:hidden;
  clear : both ;
  
}

#explain-program dt {
  clear : both ;
  float : left ;
  width : 3em ;
  
}

#explain-program dd {
  float : left ;
  width : 80% ;
  
}

.clearer {
  clear : both ;
  
}

/*
■!■■!■■!■■!■■!■■!■■!■■!■■!■■!■■!■■!■
widthを指定してSOLIDに枠組み

*/

.jump2comment {
  vertical-align: super; 
  font-size : 0.8em ;
  
}

.listed-comments {
  font-size : 0.75em ;
  
  
}

.listed-comments dt {
  float   : left ;
  clear   : left ;
  display : inline ;
  width   : 2em ;
  
}

.listed-comments dd {
  float   : left ;
  display : inline ;
  width   : 75% ;
  
}

table.multi-expression {
  background-color: transparent ; /*透明*/
  border:0px #1111AA solid;
  border-collapse:collapse;
  display: inline;
  padding: 0px;
  margin : 0em;
  table-layout : auto;
  font-size : 1em ;
  
}

table.multi-expression caption {
  display:none;
  
}

table.multi-expression tr{
  background-color: transparent ; /*透明*/
  border:0px #1111AA solid;
  padding: 0px;
  margin : 0px;
  
}

table.multi-expression td{
  background-color: transparent ; /*透明*/
  border:0px #1111AA solid;
  padding: 0em 0.15em;
  margin : 0em;
  height : 1em;
  /*white-space : nowrap;
  */
}

/* class名暫定 : 体 … 体ＫのKって何の頭文字だっけ？？ */
.k, .ring {
  font-weight : 900  ;
  text-decoration : none;
  border : none;
  
}