This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| license: gpl-3.0 | |
| height: 960 | |
| border: no |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| license: mit |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| license: mit |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| license: mit | |
| border: no |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| body,blockquote.note{ | |
| font: 18px/1.5 "Concourse T3",sans-serif; | |
| } | |
| a{ | |
| font-family:"Concourse C4",sans-serif; | |
| } | |
| .bookmark_title { | |
| font-family:"Concourse T4",sans-serif; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| body,p{ | |
| font:22px/1.5 "adobe text pro",sans-serif; | |
| font-family:"adobe text pro",sans-serif; | |
| color:#586e75; | |
| } | |
| *,html,#container,body{ | |
| background:#fdf6e3; | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| html { | |
| font: 18px/1.5 'equity text b', sans-serif; | |
| } | |
| body { | |
| max-width: 720px; | |
| background: rgba(246, 246, 239, 0.95); | |
| } | |
| body > center > table > tbody > tr:first-child > td a:first-child { | |
| margin-left: -16px; | |
| margin-right: 10px; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| html{ | |
| font:24px/1.6 "gesta","usual","facit",sans-serif; | |
| } | |
| html body, | |
| h1,h2,h3,h4,h5,h6, | |
| h1.title, h2.title, h3.title, h4.title, h5.title, h6.title, h3.author, .corpauthor, div.abstract div.abstract-title, div.toc div.toc-title, div.list-of-figures div.toc-title, div.list-of-tables div.toc-title, div.list-of-examples div.toc-title{ | |
| font-family: "gesta","usual","facit",sans-serif; | |
| } | |
| html body{ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @import url(https://fonts.googleapis.com/css?family=Fira+Mono|Fira+Sans:400,700); | |
| html{ | |
| font:18px/1.5 'Fira Sans', sans-serif; | |
| color:rgb(55,71,79); | |
| } | |
| body{ | |
| background:#fefefe; | |
| font:1rem; | |
| margin:2rem 1rem; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| vagrant ssh -- -L 15432:localhost:5432 |
NewerOlder