<style>
ol.propositions, ol.propositions ol{
  padding-left: 1em; /*入れ子が起こるたびにインデント．0でもよいと思う*/
}

ol.propositions li{
  list-style-type:none; /*標準の番号を消す*/
  margin-left: 3em;     /*下のmargin-leftの符号違いを設定*/
}

p.ichi{
  padding-left: 3em; /*入れ子が起こるたびにインデント．0でもよいと思う*/
}

.red{
    color: red;
}
</style>