Web site: 13.11 now stable
Fixed editor fonts and overflow in right pane