ref: a462ed445fba17987b9138c0c9b14d4e640910ee
dir: /docs/style.css/
@import url(http://fonts.googleapis.com/css?family=Source+Sans+Pro:400,400italic,600,600italic|Source+Code+Pro); body { font-family: 'Source Sans Pro', sans-serif; font-size: 12pt; margin: 3pc; max-width: 45em; text-align: justify; } pre, tt, code { font-family: 'Source Code Pro', monospaced; font-size: 11pt; } h2 { border-bottom: 2px solid black; }