Deploy website

Deploy website version based on 6fe2a05585
This commit is contained in:
Website Deployment Script 2017-10-26 19:07:45 +00:00
parent 6fe2a05585
commit 2a94db2d64
25 changed files with 93 additions and 90 deletions

View file

@ -733,11 +733,14 @@ a:hover code {
text-decoration: none;
}
.hljs {
font-family: "SFMono-Regular",source-code-pro,Menlo,Monaco,Consolas,"Roboto Mono","Droid Sans Mono","Liberation Mono",Consolas,"Courier New",Courier,monospace;
border-left: 4px solid #2E8555;
font-size: 13px;
pre code {
display:block;
margin: 20px 0;
padding:0.5em;
border-left: 4px solid #2E8555;
font-family: "SFMono-Regular",source-code-pro,Menlo,Monaco,Consolas,"Roboto Mono","Droid Sans Mono","Liberation Mono",Consolas,"Courier New",Courier,monospace;
font-size: 13px;
overflow-x:auto;
}
/** GitHub **/