From 97814ee52aa2bee54001afb3cf0517f2c7c2af76 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 | 99 ++++++++++++++++++++++++++++-------- src/doc/rust.md | 8 +-- src/doc/tutorial.md | 30 +++++------ 7 files changed, 115 insertions(+), 59 deletions(-) diff --git a/src/doc/full-toc.inc b/src/doc/full-toc.inc index 35681f1796d8b..604a65dc8a9b9 100644 --- a/src/doc/full-toc.inc +++ b/src/doc/full-toc.inc @@ -1,6 +1,11 @@