From fb9ea2eaca50108bcf1da1bdc6067986410f4240 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrien=20T=C3=A9tar?= Date: Sat, 12 Apr 2014 21:06:02 +0200 Subject: [PATCH] doc: add webfonts and tweak the styles accordingly --- src/doc/full-toc.inc | 7 ++- src/doc/guide-lifetimes.md | 4 +- src/doc/guide-tasks.md | 2 +- src/doc/po/ja/tutorial.md.po | 24 ++++----- src/doc/rust.css | 101 +++++++++++++++++++++++++++-------- src/doc/rust.md | 34 +++++------- src/doc/tutorial.md | 31 ++++++----- 7 files changed, 129 insertions(+), 74 deletions(-) diff --git a/src/doc/full-toc.inc b/src/doc/full-toc.inc index 35681f1796d..604a65dc8a9 100644 --- a/src/doc/full-toc.inc +++ b/src/doc/full-toc.inc @@ -1,6 +1,11 @@