Skip to content

Commit 5657799

Browse files
author
MFC Action
committed
Docs @ d863869
1 parent b25cc47 commit 5657799

File tree

12 files changed

+72
-20
lines changed

12 files changed

+72
-20
lines changed

‎documentation/doxygen.css

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1218,18 +1218,14 @@ div.header
12181218
background-color: #F3F9FE;
12191219
margin: 0px;
12201220
border-bottom: 1px solid #8DC8FF;
1221+
border-left: 1px solid #8DC8FF;
12211222
}
12221223

12231224
div.headertitle
12241225
{
12251226
padding: 5px 5px 5px 10px;
12261227
}
12271228

1228-
.PageDocRTL-title div.headertitle {
1229-
text-align: right;
1230-
direction: rtl;
1231-
}
1232-
12331229
dl {
12341230
padding: 0 0 0 0;
12351231
}

‎documentation/navtree.css

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,13 +102,19 @@
102102
background-size:100%;
103103
background-repeat:repeat-y;
104104
background-attachment: scroll;
105+
transition: opacity 0.5s ease;
106+
opacity:0;
105107
cursor:ew-resize;
106108
height:100%;
107109
right:0;
108110
top:0;
109111
width:6px;
110112
}
111113

114+
.ui-resizable-e:hover {
115+
opacity: 1.0;
116+
}
117+
112118
.ui-resizable-handle {
113119
display:none;
114120
font-size:0.1px;
@@ -124,6 +130,13 @@
124130
background-repeat:repeat-x;
125131
background-color: #F3F9FE;
126132
-webkit-overflow-scrolling : touch; /* iOS 5+ */
133+
scrollbar-color: transparent transparent;
134+
transition: scrollbar-color 0.3s ease;
135+
border-right: 1px solid #C4E2FF;
136+
}
137+
138+
#nav-tree.hovered {
139+
scrollbar-color: #43A4FF #F3F9FE;
127140
}
128141

129142
#nav-sync {

‎documentation/navtree.js

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -474,6 +474,10 @@ function initNavTree(toroot,relpath) {
474474
}
475475
});
476476

477+
const navtree = $('#nav-tree');
478+
navtree.on('mouseover', () => { navtree.addClass('hovered'); });
479+
navtree.on('mouseout', () => { navtree.removeClass('hovered'); });
480+
477481
$("div.toc a[href]").click(function(e) {
478482
e.preventDefault();
479483
const aname = $(this).attr("href");

‎post_process/doxygen.css

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1218,18 +1218,14 @@ div.header
12181218
background-color: #F3F9FE;
12191219
margin: 0px;
12201220
border-bottom: 1px solid #8DC8FF;
1221+
border-left: 1px solid #8DC8FF;
12211222
}
12221223

12231224
div.headertitle
12241225
{
12251226
padding: 5px 5px 5px 10px;
12261227
}
12271228

1228-
.PageDocRTL-title div.headertitle {
1229-
text-align: right;
1230-
direction: rtl;
1231-
}
1232-
12331229
dl {
12341230
padding: 0 0 0 0;
12351231
}

‎post_process/navtree.css

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,13 +102,19 @@
102102
background-size:100%;
103103
background-repeat:repeat-y;
104104
background-attachment: scroll;
105+
transition: opacity 0.5s ease;
106+
opacity:0;
105107
cursor:ew-resize;
106108
height:100%;
107109
right:0;
108110
top:0;
109111
width:6px;
110112
}
111113

114+
.ui-resizable-e:hover {
115+
opacity: 1.0;
116+
}
117+
112118
.ui-resizable-handle {
113119
display:none;
114120
font-size:0.1px;
@@ -124,6 +130,13 @@
124130
background-repeat:repeat-x;
125131
background-color: #F3F9FE;
126132
-webkit-overflow-scrolling : touch; /* iOS 5+ */
133+
scrollbar-color: transparent transparent;
134+
transition: scrollbar-color 0.3s ease;
135+
border-right: 1px solid #C4E2FF;
136+
}
137+
138+
#nav-tree.hovered {
139+
scrollbar-color: #43A4FF #F3F9FE;
127140
}
128141

129142
#nav-sync {

‎post_process/navtree.js

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -474,6 +474,10 @@ function initNavTree(toroot,relpath) {
474474
}
475475
});
476476

477+
const navtree = $('#nav-tree');
478+
navtree.on('mouseover', () => { navtree.addClass('hovered'); });
479+
navtree.on('mouseout', () => { navtree.removeClass('hovered'); });
480+
477481
$("div.toc a[href]").click(function(e) {
478482
e.preventDefault();
479483
const aname = $(this).attr("href");

‎pre_process/doxygen.css

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1218,18 +1218,14 @@ div.header
12181218
background-color: #F3F9FE;
12191219
margin: 0px;
12201220
border-bottom: 1px solid #8DC8FF;
1221+
border-left: 1px solid #8DC8FF;
12211222
}
12221223

12231224
div.headertitle
12241225
{
12251226
padding: 5px 5px 5px 10px;
12261227
}
12271228

1228-
.PageDocRTL-title div.headertitle {
1229-
text-align: right;
1230-
direction: rtl;
1231-
}
1232-
12331229
dl {
12341230
padding: 0 0 0 0;
12351231
}

‎pre_process/navtree.css

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,13 +102,19 @@
102102
background-size:100%;
103103
background-repeat:repeat-y;
104104
background-attachment: scroll;
105+
transition: opacity 0.5s ease;
106+
opacity:0;
105107
cursor:ew-resize;
106108
height:100%;
107109
right:0;
108110
top:0;
109111
width:6px;
110112
}
111113

114+
.ui-resizable-e:hover {
115+
opacity: 1.0;
116+
}
117+
112118
.ui-resizable-handle {
113119
display:none;
114120
font-size:0.1px;
@@ -124,6 +130,13 @@
124130
background-repeat:repeat-x;
125131
background-color: #F3F9FE;
126132
-webkit-overflow-scrolling : touch; /* iOS 5+ */
133+
scrollbar-color: transparent transparent;
134+
transition: scrollbar-color 0.3s ease;
135+
border-right: 1px solid #C4E2FF;
136+
}
137+
138+
#nav-tree.hovered {
139+
scrollbar-color: #43A4FF #F3F9FE;
127140
}
128141

129142
#nav-sync {

‎pre_process/navtree.js

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -474,6 +474,10 @@ function initNavTree(toroot,relpath) {
474474
}
475475
});
476476

477+
const navtree = $('#nav-tree');
478+
navtree.on('mouseover', () => { navtree.addClass('hovered'); });
479+
navtree.on('mouseout', () => { navtree.removeClass('hovered'); });
480+
477481
$("div.toc a[href]").click(function(e) {
478482
e.preventDefault();
479483
const aname = $(this).attr("href");

‎simulation/doxygen.css

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1218,18 +1218,14 @@ div.header
12181218
background-color: #F3F9FE;
12191219
margin: 0px;
12201220
border-bottom: 1px solid #8DC8FF;
1221+
border-left: 1px solid #8DC8FF;
12211222
}
12221223

12231224
div.headertitle
12241225
{
12251226
padding: 5px 5px 5px 10px;
12261227
}
12271228

1228-
.PageDocRTL-title div.headertitle {
1229-
text-align: right;
1230-
direction: rtl;
1231-
}
1232-
12331229
dl {
12341230
padding: 0 0 0 0;
12351231
}

‎simulation/navtree.css

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,13 +102,19 @@
102102
background-size:100%;
103103
background-repeat:repeat-y;
104104
background-attachment: scroll;
105+
transition: opacity 0.5s ease;
106+
opacity:0;
105107
cursor:ew-resize;
106108
height:100%;
107109
right:0;
108110
top:0;
109111
width:6px;
110112
}
111113

114+
.ui-resizable-e:hover {
115+
opacity: 1.0;
116+
}
117+
112118
.ui-resizable-handle {
113119
display:none;
114120
font-size:0.1px;
@@ -124,6 +130,13 @@
124130
background-repeat:repeat-x;
125131
background-color: #F3F9FE;
126132
-webkit-overflow-scrolling : touch; /* iOS 5+ */
133+
scrollbar-color: transparent transparent;
134+
transition: scrollbar-color 0.3s ease;
135+
border-right: 1px solid #C4E2FF;
136+
}
137+
138+
#nav-tree.hovered {
139+
scrollbar-color: #43A4FF #F3F9FE;
127140
}
128141

129142
#nav-sync {

‎simulation/navtree.js

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -474,6 +474,10 @@ function initNavTree(toroot,relpath) {
474474
}
475475
});
476476

477+
const navtree = $('#nav-tree');
478+
navtree.on('mouseover', () => { navtree.addClass('hovered'); });
479+
navtree.on('mouseout', () => { navtree.removeClass('hovered'); });
480+
477481
$("div.toc a[href]").click(function(e) {
478482
e.preventDefault();
479483
const aname = $(this).attr("href");

0 commit comments

Comments
 (0)