Skip to content

Commit

Permalink
First commit: minimal set of pages with one post.
Browse files Browse the repository at this point in the history
  • Loading branch information
Olivier Nicole committed Dec 7, 2017
0 parents commit e6a208d
Show file tree
Hide file tree
Showing 13 changed files with 807 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
.stack-work
_cache
_site
8 changes: 8 additions & 0 deletions contact.markdown
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
---
title: Contact
---

```{.ocaml}
let dmn = String.concat "." ["chnik"; "fr"] in
String.concat "@" ["olivier"; dmn]
```
92 changes: 92 additions & 0 deletions css/default.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,92 @@
body {
color: black;
font-size: 16px;
margin: 0px auto 0px auto;
max-width: 16cm;
}

div#header {
border-bottom: 2px solid black;
margin-bottom: 30px;
padding: 12px 0px 12px 0px;
}

div#logo a {
color: black;
float: left;
font-size: 18px;
font-weight: bold;
text-decoration: none;
}

div#header #navigation {
text-align: right;
}

div#header #navigation a {
color: rgb(200,0,0);
font-size: 14px;
font-weight: bold;
margin-left: 12px;
text-decoration: none;
text-transform: uppercase;
}

div#footer {
border-top: solid 2px black;
color: #555;
font-size: 12px;
margin-top: 30px;
padding: 12px 0px 12px 0px;
text-align: right;
}

h1 {
font-size: 24px;
}

h2 {
font-size: 20px;
}

div#content {
font-family: sans-serif;
}

div#content a, div#footer a {
color: rgb(200,0,0);
text-decoration: none;
border-bottom: 1px dashed rgb(200,0,0);
}

div.info {
color: #555;
font-size: 14px;
font-style: italic;
}

div.sourceCode, p .sourceCode, p code {
font-size: 13px;
border-style: solid;
border-width: 0.5mm;
border-color: rgb(200,200,200);
background-color: rgb(250,250,250);
padding: 0mm;
}

div.sourceCode {
padding-left: 3mm;
padding-right: 3mm;
}

/* Inline version */
p .sourceCode, p code {
font-size: 13px;
border-style: solid;
border-width: 0.5mm;
border-color: rgb(200,200,200);
background-color: rgb(250,250,250);
padding: 0mm;
padding-left: 1mm;
padding-right: 1mm;
}
18 changes: 18 additions & 0 deletions css/syntax.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
/* Generated by pandoc. */
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
td.sourceCode { padding-left: 5px; }
.sourceCode span.kw { color: #007020; font-weight: bold; }
.sourceCode span.dt { color: #902000; }
.sourceCode span.dv { color: #40a070; }
.sourceCode span.bn { color: #40a070; }
.sourceCode span.fl { color: #40a070; }
.sourceCode span.ch { color: #4070a0; }
.sourceCode span.st { color: #4070a0; }
.sourceCode span.co { color: #60a0b0; font-style: italic; }
.sourceCode span.ot { color: #007020; }
.sourceCode span.al { color: red; font-weight: bold; }
.sourceCode span.fu { color: #06287e; }
.sourceCode span.re { }
.sourceCode span.er { color: red; font-weight: bold; }
11 changes: 11 additions & 0 deletions index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
---
title: Home
---

<h2>Olivier Nicole</h2>

<p>I am an M2 student in Computer Science living in Paris. My interests include
functional programming, metaprogramming and analysis of binary executables.</p>

<h2>Latest posts</h2>
$partial("templates/post-list.html")$
12 changes: 12 additions & 0 deletions personal-website.cabal
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
name: personal-website
version: 0.1.0.0
build-type: Simple
cabal-version: >= 1.10

executable site
main-is: site.hs
build-depends: base == 4.*
, hakyll == 4.9.*
, pandoc
ghc-options: -threaded
default-language: Haskell2010
Loading

0 comments on commit e6a208d

Please sign in to comment.