@font-face{font-family:"Glyphicons Halflings";src:url(//maxcdn.bootstrapcdn.com/bootstrap/3.1.1/fonts/glyphicons-halflings-regular.woff) format("woff"),url(//maxcdn.bootstrapcdn.com/bootstrap/3.2.0/fonts/glyphicons-halflings-regular.ttf) format("truetype")}h1,h2{border-bottom:dotted #808080 1px}h1{margin:0 0 10px;padding-bottom:10px;color:#404040}#page_content p{font-size:18px;line-height:28px;font-style:italic;font-weight:normal;font-family:georgia, serif;padding-bottom:16px;margin:13px 0}body.windows #page_content p{font-size:17px}