From 77dffb341baa10655a4317fcf82664e62209c371 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Fri, 18 Sep 2020 14:24:08 +0200 Subject: [PATCH] Use consistent indentation for Doxygen custom stylesheet Most of this file is indented with tabs but parts are indented with spaces. Closes #1770. (cherry picked from commit 58df92acad5ec924274b3c33d277279475a6a645) --- docs/extra.scss | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/docs/extra.scss b/docs/extra.scss index 32993429..6c5f3c25 100644 --- a/docs/extra.scss +++ b/docs/extra.scss @@ -77,8 +77,8 @@ $box-todo-color: hsl(200,80%,85%); } .sm-dox,.sm-dox a,.sm-dox a:focus,.sm-dox a:active,.sm-dox a:hover,.sm-dox a.highlighted,.sm-dox ul a:hover { - background:none; - text-shadow:none; + background:none; + text-shadow:none; } .sm-dox a span.sub-arrow { @@ -94,13 +94,13 @@ $box-todo-color: hsl(200,80%,85%); } .sm-dox ul a:hover { - background:$header-footer-link-color; - text-shadow:none; + background:$header-footer-link-color; + text-shadow:none; } .sm-dox ul.sm-nowrap a { color:$default-text-color; - text-shadow:none; + text-shadow:none; } #main-nav,#main-menu,#main-menu a,#main-menu a:visited,#main-menu a:hover,#main-menu li,.memdoc,dl.reflist dd,div.toc li,.ah,span.lineno,span.lineno a,span.lineno a:hover,.note code,.pre code,.post code,.invariant code,.warning code,.attention code,.deprecated code,.bug code,.todo code,.test code,.doxtable code,.markdownTable code { @@ -141,20 +141,20 @@ h1,h2,h2.groupheader,h3,div.toc h3,h4,h5,h6,strong,em { } h1 { - padding-top:0.5em; - font-size:180%; + padding-top:0.5em; + font-size:180%; } h2 { - padding-top:0.5em; - margin-bottom:0; - font-size:140%; + padding-top:0.5em; + margin-bottom:0; + font-size:140%; } h3 { - padding-top:0.5em; - margin-bottom:0; - font-size:110%; + padding-top:0.5em; + margin-bottom:0; + font-size:110%; } .glfwheader { @@ -232,12 +232,12 @@ address.footer { } .memtitle { - display:none; + display:none; } .memproto,.memname { - font-weight:bold; - text-shadow:none; + font-weight:bold; + text-shadow:none; } #main-menu {