From 94208d9cbb37d7d2900e6b42c9a1efab1d792827 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A9ry=20Debongnie?= Date: Wed, 29 May 2019 10:19:45 +0200 Subject: [PATCH] [IMP] extras: add some css --- extras/index.html | 47 ++++++++++++++++++++++++++++++----------------- extras/main.css | 23 +++++++++++++++++++++++ 2 files changed, 53 insertions(+), 17 deletions(-) create mode 100644 extras/main.css diff --git a/extras/index.html b/extras/index.html index aee18461..fd035801 100644 --- a/extras/index.html +++ b/extras/index.html @@ -3,28 +3,41 @@ OWL Extras + -

🦉 OWL Extra Stuff 🦉

+
+

🦉 OWL Extra Stuff 🦉

+
Mysterious OWL: A web framework for structured, dynamic and maintainable applications
+
-

Benchmarks

-

The goal is to compare some operations on large lists

+
+

Misc

+
+ Playground (local) + Github + Owl main page + Owl Documentation +
+
- +
+

Benchmarks

+ + +
-

Playground

- Playground diff --git a/extras/main.css b/extras/main.css new file mode 100644 index 00000000..d933b056 --- /dev/null +++ b/extras/main.css @@ -0,0 +1,23 @@ +body { + font-family: sans-serif; +} + +.title, .section { + width: 768px; + margin: auto; +} + +.title div { + color: #333333; + font-style: italic; +} +.section { + background-color: #d5d5d5; + padding: 16px; + margin-top: 10px; + margin-bottom: 10px; +} + +.links a { + margin: 10px 5px; +} \ No newline at end of file