This file contains 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 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 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 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 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 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 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 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 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 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