/* 修改网页的宽度，变宽一些 */
div.document {
    width: 75%;
}
div.body {
    max-width: none;
}
