Customize small features

master
nschoe 9 years ago
parent fc922da6a7
commit 18e767ccd4

4
.gitignore vendored

@ -0,0 +1,4 @@
shell.nix
dist/
_site/
_cache/

@ -21,11 +21,13 @@ html,body,p,div,h1,h2,h3,h4,h5,h6,img,article,section {
src: url('/fonts/oxygen.otf');
}*/
/* GENERAL */
html {
font-family: 'Oxygen', sans-serif;
/*font-family: 'Oxygen', sans-serif;*/
font-family: 'Lora', sans-serif;
font-size: 13pt;
}
body {
@ -96,6 +98,7 @@ header {
height: 60px;
background: linear-gradient(rgba(0,0,0,0.9), rgba(0,0,0,0.7));
border-bottom: 3px solid black;
font-size: 11pt;
}
header > a {
@ -310,4 +313,4 @@ figcaption {
font-weight: bold;
font-size: 0.8em;
color: gray;
}
}

@ -44,7 +44,7 @@ function computeScroll () {
}
function animateScroll (timestamp) {
if (timestamp - scrollTS >= 500) {
if (timestamp - scrollTS >= 100) {
scrollTS = timestamp;
var newScroll = computeScroll();
@ -70,4 +70,4 @@ function makeTOCTransparent (evt) {
function makeTOCOpaque (evt) {
// document.getElementById("toc").getElementsByTagName("ul")[0].style.color = "rgba(255,255,255,1.0)";
document.getElementById("toc").getElementsByTagName("ul")[0].className = "";
}
}

@ -115,7 +115,8 @@ nschoeslabsRSSConfig = FeedConfiguration
config :: Configuration
config = defaultConfiguration
{
deployCommand = "rsync -avz -e ssh ./_site/ nschoe@nschoe.com:public_html/"
-- deployCommand = "rsync -avz -e ssh ./_site/ nschoe@nschoe.com:public_html/"
deployCommand = "rsync -avz -e ssh ./_site/ nschoe@178.32.220.77:/www/"
}
--------------------------------------------------------------------------------
@ -148,4 +149,4 @@ myPandocCompiler' withToc = pandocCompilerWith defaultHakyllReaderOptions $
{ writerTableOfContents = True
, writerTemplate = "$if(toc)$<div id=\"toc\"><h3>Table of contents</h3>$toc$</div>$endif$\n$body$"
, writerStandalone = True
}
}

@ -5,12 +5,13 @@
<meta author="Nicolas SCHOEMAEKER (nschoe) <ns.schoe _at_ gmail _dot_ com">
<meta description="My place on the Internet to share and explain what I know">
<link rel="icon" href="/favicon.gif" type="image/gif" sizes="128x128">
<link rel="icon" href="/favicon.gif" type="image/gif" sizes="128x128">
<title>nschoe's labs - $title$</title>
<link href='http://fonts.googleapis.com/css?family=Bubbler+One' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Oxygen' rel='stylesheet' type='text/css'>
<!-- <link href='http://fonts.googleapis.com/css?family=Oxygen' rel='stylesheet' type='text/css'> -->
<link href='https://fonts.googleapis.com/css?family=Lora' rel='stylesheet' type='text/css'>
<link rel="stylesheet" type="text/css" href="/css/default.css">
<link rel="stylesheet" type="text/css" href="/css/syntax_highlighting.css">
</head>

Loading…
Cancel
Save