Skip to content

Commit 00a585b

Browse files
author
github-actions
committed
Update documentation for branch main
1 parent 4ed8544 commit 00a585b

File tree

3 files changed

+11
-11
lines changed

3 files changed

+11
-11
lines changed

main/extra_stylesheet.css

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1246,7 +1246,7 @@ address {
12461246
blockquote.doxtable {
12471247
margin-left:-7px;
12481248
margin-bottom: 6px;
1249-
padding-left: 3px;
1249+
padding-left: 8px;
12501250
border-left:4px solid;
12511251
border-color: #D0C000;
12521252
background-color: var(--page-background-color);
@@ -1489,15 +1489,15 @@ dl.section
14891489
dl.note
14901490
{
14911491
margin-left:-7px;
1492-
padding-left: 3px;
1492+
padding-left: 8px;
14931493
border-left:4px solid;
14941494
border-color: #D0C000;
14951495
}
14961496

14971497
dl.warning, dl.attention
14981498
{
14991499
margin-left:-7px;
1500-
padding-left: 3px;
1500+
padding-left: 8px;
15011501
border-left:4px solid;
15021502
border-color: #FF0000;
15031503
}
@@ -1513,39 +1513,39 @@ dl.pre, dl.post, dl.invariant
15131513
dl.deprecated
15141514
{
15151515
margin-left:-7px;
1516-
padding-left: 3px;
1516+
padding-left: 8px;
15171517
border-left:4px solid;
15181518
border-color: #505050;
15191519
}
15201520

15211521
dl.todo
15221522
{
15231523
margin-left:-7px;
1524-
padding-left: 3px;
1524+
padding-left: 8px;
15251525
border-left:4px solid;
15261526
border-color: #00C0E0;
15271527
}
15281528

15291529
dl.test
15301530
{
15311531
margin-left:-7px;
1532-
padding-left: 3px;
1532+
padding-left: 8px;
15331533
border-left:4px solid;
15341534
border-color: #3030E0;
15351535
}
15361536

15371537
dl.bug
15381538
{
15391539
margin-left:-7px;
1540-
padding-left: 3px;
1540+
padding-left: 8px;
15411541
border-left:4px solid;
15421542
border-color: #C08050;
15431543
}
15441544

15451545
dl.safety
15461546
{
15471547
margin-left:-7px;
1548-
padding-left: 3px;
1548+
padding-left: 8px;
15491549
border-left:4px solid;
15501550
border-color: #008000;
15511551
}

main/footer.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
function writeHeader() {
2-
document.write('Version 0.0.0-dirty1');
2+
document.write('Version 0.0.0');
33
};
44

55
function writeFooter() {
6-
document.write('Generated on Fri Nov 10 2023 11:35:06 for CMSIS-DAP 0.0.0-dirty1+gb934cc4. Copyright © 2023 Arm Limited (or its affiliates). All rights reserved.');
6+
document.write('Generated on Tue Dec 12 2023 14:53:16 for CMSIS-DAP 0.0.0. Copyright © 2023 Arm Limited (or its affiliates). All rights reserved.');
77
};

version.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//--- list of versions ---
22
const versions = {
3-
"latest": "0.0.0-dirty1"
3+
"latest": "0.0.0"
44
}
55
//--- list of versions ---
66

0 commit comments

Comments
 (0)