From 28e559bc09f76c258c90179bf0f2b5f263e2a99f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 12 Oct 2015 17:03:20 +0200 Subject: Update user guide --- guide/ch01.html | 7 +------ guide/ch02.html | 7 +------ guide/ch03.html | 7 +------ guide/ch04.html | 7 +------ guide/ch05.html | 7 +------ guide/ch06.html | 7 +------ guide/ch07.html | 7 +------ guide/ch08.html | 7 +------ guide/ch09.html | 7 +------ guide/ch10.html | 7 +------ guide/index.html | 9 ++------- guide/pt01.html | 7 +------ guide/pt02.html | 7 +------ guide/pt03.html | 7 +------ 14 files changed, 15 insertions(+), 85 deletions(-) diff --git a/guide/ch01.html b/guide/ch01.html index 9bb8a14..f816946 100644 --- a/guide/ch01.html +++ b/guide/ch01.html @@ -14,11 +14,6 @@ main h2, main h3{margin-top:2em} a{color:#d9230f;text-decoration:none} a:hover{text-decoration:underline} h1, h2, h3{font-weight:normal} -h1 a{color:black} -h1 a:hover{color:#d9230f;text-decoration:none} -span.var{color:teal} -span.op{color:maroon} -span.dir{color:purple} div.navfooter{margin-bottom:1em} --> @@ -26,7 +21,7 @@ div.navfooter{margin-bottom:1em}