Update less.js
Update less.js

Fix:

#synopsis, #about {
  h2 {
    font-size: 30px;  
    padding: 10px 0;
  }
  h1 + h2 {
      margin-top: 15px;  
  }
  h3 { font-size: 22px }
}
GerHobbelt/CodeMirror2,GerHobbelt/CodeMirror2