From d0700b00ea6eebc070b1049646d253565d7feda5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 28 Nov 2020 11:07:34 +0000 Subject: Update website css --- docs/css/org.css | 14 +++++++------- docs/proof/Compiler.html | 10 +++++++++- 2 files changed, 16 insertions(+), 8 deletions(-) (limited to 'docs') diff --git a/docs/css/org.css b/docs/css/org.css index 6267368..908265f 100644 --- a/docs/css/org.css +++ b/docs/css/org.css @@ -29,7 +29,6 @@ body { } #left-bar { - float: left; position: fixed; left: 0px; top: 0px; @@ -39,6 +38,11 @@ body { background-color: #A5573E; } + .logo { + text-align: center; + position: relative; + } + .logo > a { color: #fdf6e3; font-size: 5rem; @@ -46,17 +50,13 @@ body { text-decoration: none; } - .logo { - text-align: center; - margin-bottom: 10px; - } - .logo > a:hover { border-bottom: none; } #navbar { text-align: center; + position: relative; } #navbar > span { @@ -77,7 +77,7 @@ body { color: #fdf6e3; } - header > p { + header p { color: #fdf6e3; line-height: 1.3; } diff --git a/docs/proof/Compiler.html b/docs/proof/Compiler.html index fa9c633..173d581 100644 --- a/docs/proof/Compiler.html +++ b/docs/proof/Compiler.html @@ -13,7 +13,15 @@ - + +

+ +

Compiler Proof

-- cgit