From 9dcb95789edbd320e480dbb7a138d1cc22efae0e Mon Sep 17 00:00:00 2001 From: Sven Dowideit Date: Mon, 9 Feb 2015 14:07:31 +1000 Subject: [PATCH] remove the text-indent and increase the font size Signed-off-by: Sven Dowideit Upstream-commit: 6257505dbc44bb58c56ac92677dbf07548c0c74a Component: engine --- components/engine/docs/theme/mkdocs/css/docs.css | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/components/engine/docs/theme/mkdocs/css/docs.css b/components/engine/docs/theme/mkdocs/css/docs.css index 7aaea12286..767aa1f8e3 100644 --- a/components/engine/docs/theme/mkdocs/css/docs.css +++ b/components/engine/docs/theme/mkdocs/css/docs.css @@ -50,8 +50,8 @@ #leftnav li { margin-top: 20px; - text-indent: -16px; - padding-left: 16px; + // text-indent: -16px; + padding-left: 10px; } #leftnav .nav-tabs.nav ul li { margin-top: 5px; @@ -130,7 +130,7 @@ pre { box-sizing: border-box; } #nav_menu #docsnav #main-nav > li { - font-size: 14px; + font-size: 15px; font-weight: 400; color: #253237; line-height: 2em; @@ -195,13 +195,13 @@ pre { display: block; } .dd_menu li a { - font-size: 14px; + font-size: 15px; font-weight: 400; color: #005976; } .dd_menu li a:hover { text-decoration: none; - font-size: 14px; + font-size: 15px; font-weight: 400; color: #24b8eb; }