@font-face { font-family: 'Museo500'; src: url(fonts/Museo500-Regular.otf); font-weight: normal; font-style: normal; } @font-face { font-family: 'MuseoSlab'; src: url(fonts/Museo_Slab.otf); font-weight: normal; font-style: normal; } @font-face { font-family: 'Cantarell'; src: local('Cantarell'), local('Cantarell Regular'), url(fonts/Cantarell-Regular.otf); } @font-face { font-family: 'Cantarell'; font-weight: bold; src: local('Cantarell'), local('Cantarell Bold'), local('Cantarell-Bold'), url(fonts/Cantarell-Bold.otf); } body { margin: auto; padding-right: 1em; padding-left: 1em; max-width: 60em; /* border-left: 1px solid black; border-right: 1px solid black; */ color: black; line-height: 140%; color: #000; font-family: Cantarell, Roboto, 'Droid Sans', Ubuntu, 'DejaVu Sans', Arial, sans-serif; } h1, h2, h3, h4 { font-family: 'Museo500', 'Roboto'; } pre { border: 1px dotted gray; background-color: #ececec; color: #000; padding: 0.5em; } code { font-family: monospace; } h1 a, h2 a, h3 a, h4 a, h5 a { text-decoration: none; color: #000; } h1, h2, h3, h4, h5 { color: #000; } h1 { padding-top: 1em; margin-top: 4em; border-top: 2px solid black; font-size: 200%; } h2 { /* border-bottom: 1px dotted black; */ font-size: 150%; padding-top: 1em; } h3 { font-size: 120%; } h4 { font-size: 90%; font-style: italic; } h5 { font-size: 90%; font-style: italic; } h1.title { font-size: 200%; font-weight: bold; padding-top: 0.2em; padding-bottom: 0.2em; text-align: left; border: none; } h2.author { text-align: right; } div#TOC { padding: 20px; background: #ccc; } dt code { font-weight: bold; } dd p { margin-top: 0; } #footer { padding-top: 1em; font-size: 70%; color: gray; text-align: center; } div.figure { padding-top: 1em; padding-bottom: 1em; border: 1px solid black; text-align: center; } p.caption { font-size: 80%; font-style: italic; }