From dcb2d5eaaadaea9348233389bade1e6b6538aea9 Mon Sep 17 00:00:00 2001
From: mDuo13 <mduo13@gmail.com>
Date: Mon, 16 Apr 2018 16:15:01 -0700
Subject: [PATCH] Change page-toc bullets to be different from overall-toc
 arrows

---
 assets/css/devportal.css | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/assets/css/devportal.css b/assets/css/devportal.css
index 6dedc0b56f..1df08166c8 100644
--- a/assets/css/devportal.css
+++ b/assets/css/devportal.css
@@ -292,12 +292,24 @@ pre code {
   margin-bottom: 0;
 }
 .dev_nav_sidebar li:before {
-  content: "\f105"; /* fontawesome angle-right */
+  content: "\f111"; /* fontawesome circle */
   font-family: FontAwesome;
+  font-size: 8px;
   position: relative;
   left: -15px;
+  top: -2px;
   margin-right: -5px;
 }
+.dev_nav_sidebar .level-3:before {
+  content: "\f0c8"; /* fontawesome square */
+  font-size: 6px;
+  top: -2px;
+  left: -14px;
+  color: #888;
+}
+.dev_nav_sidebar .level-2:before {
+  content: "\f1db"; /* fontawesome circle-thin */
+}
 
 .dev_nav_wrapper {
   position: fixed;