ref: a5c747f1d40e8d6659a37a8d25f13fb5acf8e767
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; }