spec-up-t 1.1.25 → 1.1.26

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,27 @@
1
+ .loader {
2
+ width: 20px;
3
+ height: 20px;
4
+ margin: auto;
5
+ display: block;
6
+ text-align: center;
7
+ border: 8px solid #ccc;
8
+ border-top-color: #3498db;
9
+ border-radius: 50%;
10
+ animation: spin 1s linear infinite;
11
+ }
12
+
13
+ .loadertext {
14
+ text-align: center;
15
+ margin: 0.5em 0;
16
+ }
17
+
18
+ /* Animation keyframes */
19
+ @keyframes spin {
20
+ 0% {
21
+ transform: rotate(0deg);
22
+ }
23
+
24
+ 100% {
25
+ transform: rotate(360deg);
26
+ }
27
+ }
@@ -0,0 +1,102 @@
1
+ /* #repo_issues {
2
+ width: calc(100% - 1.5em);
3
+ max-width: 450px;
4
+ border-left: 1px solid rgba(0, 0, 0, 0.15);
5
+ } */
6
+
7
+ #repo_issues>header {
8
+ background: #eee;
9
+ border-bottom: 1px solid #ddd;
10
+ }
11
+
12
+ #repo_issues>header span:first-of-type {
13
+ font-weight: bold;
14
+ padding-top: 0.1em;
15
+ }
16
+
17
+ #repo_issues>header .repo-issue-toggle {
18
+ margin-left: auto;
19
+ color: inherit;
20
+ font-weight: bold;
21
+ text-decoration: none;
22
+ }
23
+
24
+ #repo_issue_list {
25
+ list-style: none;
26
+ margin: 0;
27
+ padding: 0 1.25em 1.25em;
28
+ font-size: 0.85em;
29
+ overflow: auto;
30
+ -ms-overflow-style: none;
31
+ /* Internet Explorer 10+ */
32
+ scrollbar-width: none;
33
+ /* Firefox */
34
+ }
35
+
36
+ #repo_issue_list::-webkit-scrollbar {
37
+ display: none;
38
+ /* Safari and Chrome */
39
+ }
40
+
41
+ #repo_issue_list:empty:before {
42
+ content: "No issues found";
43
+ display: block;
44
+ text-align: center;
45
+ font-size: 1.1em;
46
+ color: #aaa;
47
+ margin: 1em 0 0;
48
+ }
49
+
50
+ .repo-issue detail-box {
51
+ display: flex;
52
+ flex-direction: column;
53
+ padding: 1em 0;
54
+ border-bottom: 1px solid #ddd;
55
+ }
56
+
57
+ .repo-issue detail-box>section {
58
+ order: 1;
59
+ }
60
+
61
+ .repo-issue detail-box>section:empty+.repo-issue-title [detail-box-toggle] {
62
+ display: none;
63
+ }
64
+
65
+ .repo-issue-title {
66
+ display: flex;
67
+ align-items: center;
68
+ }
69
+
70
+ .repo-issue-link {
71
+ flex: 1;
72
+ margin: 0 0 0 0.5em;
73
+ }
74
+
75
+ .repo-issue-number {
76
+ height: 1em;
77
+ margin: 0 0.4em 0 0;
78
+ padding: 0.3em 0.25em 0;
79
+ border-radius: 3px;
80
+ font-weight: bold;
81
+ background: #eee;
82
+ border: 1px solid #ddd;
83
+ text-align: center;
84
+ line-height: 1em;
85
+ }
86
+
87
+ .repo-issue-number:before {
88
+ content: "#";
89
+ font-weight: normal;
90
+ margin: 0 0.1em 0 0;
91
+ }
92
+
93
+ .repo-issue [detail-box-toggle] {
94
+ margin: 0 0 0 1em;
95
+ opacity: 0.35;
96
+ transition: opacity 0.4s;
97
+ }
98
+
99
+ .repo-issue [detail-box-toggle]:hover,
100
+ .repo-issue detail-box[open] [detail-box-toggle] {
101
+ opacity: 1;
102
+ }
@@ -2,39 +2,6 @@
2
2
  * Search bar, input, nav, nr of results
3
3
  */
4
4
 
5
- #container-search-h7vc6omi2hr2880 {
6
- margin-top: 1em;
7
- }
8
-
9
- #search-h7vc6omi2hr2880 {
10
- margin: 0.1em 0.5em;
11
- padding: 0.2em;
12
- height: 1.5em;
13
- border-radius: 5px;
14
- }
15
-
16
- #search-h7vc6omi2hr2880:active {
17
- font-size: 16px;
18
- }
19
-
20
- #back-and-forth-buttons-container-search-h7vc6omi2hr2880 {
21
- padding: 0;
22
- display: inline-block;
23
- }
24
-
25
- #back-and-forth-buttons-container-search-h7vc6omi2hr2880 button {
26
- margin-right: 0.5em;
27
- }
28
-
29
- #total-matches-search-h7vc6omi2hr2880 {
30
- font-size: 0.8em;
31
- }
32
-
33
- /* Keep this and use when more items are added to this header */
34
- /* .panel-header#header {
35
- flex-wrap: wrap;
36
- height: auto;
37
- } */
38
5
 
39
6
  /*
40
7
  * Search results, matches, and highlighting
@@ -0,0 +1,120 @@
1
+ /* Sticky and scrollable sidebar */
2
+
3
+ /* Ensure the container has enough height */
4
+ .container {
5
+ min-height: 100vh;
6
+ /* Full viewport height */
7
+ }
8
+
9
+ /* Sticky and scrollable sidebar on medium screens and up */
10
+ @media (min-width: 768px) {
11
+ .sidebar {
12
+ position: sticky;
13
+ /* Sticks to the top while scrolling */
14
+ top: 0;
15
+ /* Aligns to the top of the parent container */
16
+ height: 100vh;
17
+ /* Full viewport height */
18
+ overflow-y: auto;
19
+ /* Scrollbar appears if content overflows */
20
+ z-index: 100;
21
+ /* Keeps sidebar above other content */
22
+ }
23
+ }
24
+ /* End sticky and scrollable sidebar */
25
+
26
+
27
+ /* TOC Container */
28
+ .toc {
29
+ padding: 0 0 1.75em;
30
+ /* Bottom padding for spacing below TOC */
31
+ font-size: 0.85em;
32
+ /* Slightly smaller font for compactness */
33
+ counter-reset: toc1;
34
+ /* Initialize counter for top-level items */
35
+ }
36
+
37
+ /* Reset list styling for all ul elements */
38
+ .toc,
39
+ .toc ul {
40
+ margin: 0;
41
+ padding: 0;
42
+ list-style: none;
43
+ }
44
+
45
+ /* Indent nested levels for hierarchy */
46
+ .toc ul ul {
47
+ padding-left: 1em;
48
+ /* Indentation for sub-levels */
49
+ }
50
+
51
+ /* Style links */
52
+ .toc a {
53
+ display: block;
54
+ /* Full clickable area */
55
+ padding: 0.4em 0.3em 0.225em;
56
+ /* Consistent padding */
57
+ text-decoration: none;
58
+ color: var(--toc-text);
59
+ /* Use variable for text color */
60
+ transition: background 0.2s ease;
61
+ /* Smooth hover transition */
62
+ text-indent: -1.2em;
63
+ /* Negative indent for the first line */
64
+ padding-left: 1.2em;
65
+ /* Indent for the second line */
66
+ }
67
+
68
+ /* Hover effect */
69
+ .toc a:hover {
70
+ background: var(--toc-bg);
71
+ /* Subtle background on hover */
72
+ }
73
+
74
+ /* Top-level items numbering */
75
+ .toc>li>a:before {
76
+ counter-increment: toc1;
77
+ content: counter(toc1) ".";
78
+ /* e.g., "1." */
79
+ padding-right: 0.5em;
80
+ /* Space between number and text */
81
+ }
82
+
83
+ /* Reset counter for second level */
84
+ .toc>li>ul {
85
+ counter-reset: toc2;
86
+ }
87
+
88
+ /* Second-level items numbering */
89
+ .toc>li>ul>li>a:before {
90
+ counter-increment: toc2;
91
+ content: counter(toc1) "." counter(toc2) ".";
92
+ /* e.g., "1.1." */
93
+ padding-right: 0.5em;
94
+ }
95
+
96
+ /* Reset counter for third level */
97
+ .toc>li>ul>li>ul {
98
+ counter-reset: toc3;
99
+ }
100
+
101
+ /* Third-level items numbering */
102
+ .toc>li>ul>li>ul>li>a:before {
103
+ counter-increment: toc3;
104
+ content: counter(toc1) "." counter(toc2) "." counter(toc3) ".";
105
+ /* e.g., "1.1.1." */
106
+ padding-right: 0.5em;
107
+ }
108
+
109
+
110
+ .powered-by {
111
+ font-size: 0.7em;
112
+ }
113
+
114
+ /* Accessibility: Focus styles */
115
+ .toc a:focus {
116
+ outline: 2px solid var(--toc-text);
117
+ /* Visible focus indicator */
118
+ outline-offset: 2px;
119
+ /* Space outside the element */
120
+ }
@@ -0,0 +1,142 @@
1
+
2
+ h2,h3,h4,h5,h6 {
3
+ margin-top: 1.5em !important;
4
+ }
5
+
6
+
7
+ /* START The “#” before every term that serves as an anchor */
8
+ .toc-anchor {
9
+ font-size: 0.875em;
10
+ color: inherit;
11
+ text-decoration: none;
12
+ opacity: 0.35;
13
+ order: -1;
14
+ transition: opacity 0.3s ease;
15
+ }
16
+
17
+ .toc-anchor:hover {
18
+ opacity: 1;
19
+ }
20
+ /* END */
21
+
22
+
23
+ /* Terminology Section Utility Container */
24
+ #terminology-section-utility-container {
25
+ background: var(--card-bg);
26
+ display: flex;
27
+ flex-wrap: wrap;
28
+ justify-content: center;
29
+ margin: 1em auto;
30
+ padding: 0;
31
+ width: 100%;
32
+ }
33
+
34
+ /* Small devices (landscape phones, 576px and up) */
35
+ @media (min-width: 576px) {
36
+ #terminology-section-utility-container {
37
+ position: sticky;
38
+ top: 3.5em;
39
+ }
40
+ }
41
+ /* End Terminology Section Utility Container */
42
+
43
+
44
+ /* Transclusions */
45
+ .transcluded-xref-term {
46
+ background: #a9dde03b !important;
47
+ padding: 0.5em;
48
+ margin: 1em 0;
49
+ }
50
+
51
+ .transclusion-heading {
52
+ font-size: 1.3em;
53
+ font-weight: bold;
54
+ margin: 1em 0 0.5em;
55
+ }
56
+ /* End Transclusions */
57
+
58
+
59
+ /* Start No xref found */
60
+ .btn,
61
+ .no-xref-found-message {
62
+ font-variant: small-caps;
63
+ text-transform: uppercase;
64
+ }
65
+
66
+ .no-xref-found-message {
67
+ background: #f8c481 !important;
68
+ color: #03365f !important;
69
+ margin: 0 0.5em;
70
+ padding: 0 0.8em;
71
+ border-radius: 0.25rem;
72
+ font-size: 0.8rem;
73
+ }
74
+ /* End No xref found */
75
+
76
+ /* START: Definition list for terms styled as Bootstrap Cards */
77
+ dl.terms-and-definitions-list {
78
+ margin: 0;
79
+ padding: 0;
80
+ }
81
+
82
+ dl.terms-and-definitions-list>dt {
83
+ font-weight: 700;
84
+ /* Bootstrap uses 700 for bold */
85
+ margin: 0;
86
+ background-color: var(--card-bg-dt);
87
+ border: 1px solid var(--card-border);
88
+ padding: 0.1rem 1.25rem;
89
+ /* Bootstrap card-header padding */
90
+ border-radius: 0.375rem 0.375rem 0 0;
91
+ /* Bootstrap default border-radius */
92
+ box-shadow: 0 0.125rem 0.25rem var(--card-shadow);
93
+ color: var(--card-text);
94
+ }
95
+
96
+ dl.terms-and-definitions-list>dd {
97
+ margin: 0;
98
+ background-color: var(--card-bg);
99
+ border: 1px solid var(--card-border);
100
+ border-top: none;
101
+ padding: 1rem 1.25rem;
102
+ /* Consistent Bootstrap card-body padding */
103
+ box-shadow: 0 0.125rem 0.25rem var(--card-shadow);
104
+ color: var(--card-text);
105
+ }
106
+
107
+ /* Style paragraphs inside dd */
108
+ dl.terms-and-definitions-list dd p {
109
+ margin: 0;
110
+ color: var(--card-text);
111
+ }
112
+
113
+ /* Remove borders between consecutive <dd> elements */
114
+ dl.terms-and-definitions-list dt+dd {
115
+ border-bottom: none;
116
+ }
117
+ dl.terms-and-definitions-list dd+dd {
118
+ border-top: none;
119
+ border-bottom: none;
120
+ }
121
+
122
+ /* Add spacing between card groups */
123
+ dl.terms-and-definitions-list dd+dt {
124
+ margin-top: 1.5rem;
125
+ /* Bootstrap-like spacing between cards */
126
+ }
127
+
128
+ /* Style the last dd in each group */
129
+ dl.terms-and-definitions-list dd.last-dd {
130
+ border-radius: 0 0 0.375rem 0.375rem;
131
+ /* Rounded bottom corners */
132
+ border-bottom: 1px solid var(--card-border);
133
+ }
134
+
135
+ /* Optional: Add hover effect similar to Bootstrap interactive cards */
136
+ dl.terms-and-definitions-list>dt:hover {
137
+ background-color: var(--card-hover-bg);
138
+ transition: background-color 0.2s ease-in-out;
139
+ /* Smooth transition */
140
+ }
141
+
142
+ /* END: Definition list for terms styled as Bootstrap Cards */
@@ -0,0 +1,51 @@
1
+ /* Define theme variables */
2
+ :root {
3
+ --card-bg: #fff;
4
+ --card-bg-dt: #fcfcfc;
5
+ --toc-bg: #fff;
6
+ --toc-text: #212529;
7
+ --header-navbar-bg: #f8f9fa;
8
+ --header-navbar-text: #212529;
9
+ /* Light mode background */
10
+ --card-text: #212529;
11
+ /* Light mode text */
12
+ --card-border: rgba(0, 0, 0, 0.125);
13
+ /* Light mode border */
14
+ --card-shadow: rgba(0, 0, 0, 0.075);
15
+ /* Light mode shadow */
16
+ --card-hover-bg: #f8f9fa;
17
+ /* Light mode hover */
18
+
19
+ }
20
+
21
+ /* Dark theme overrides */
22
+ [data-bs-theme="dark"] {
23
+ --card-bg: #212529;
24
+ --card-bg-dt: #24282d;
25
+ --toc-bg: #212529;
26
+ --toc-text: #f8f9fa;
27
+ --header-navbar-bg: #343a40;
28
+ --header-navbar-text: #f8f9fa;
29
+
30
+ /* Dark mode background */
31
+ --card-text: #f8f9fa;
32
+ /* Dark mode text */
33
+ --card-border: rgba(255, 255, 255, 0.125);
34
+ /* Dark mode border */
35
+ --card-shadow: rgba(0, 0, 0, 0.2);
36
+ /* Dark mode shadow (subtle) */
37
+ --card-hover-bg: #343a40;
38
+ /* Dark mode hover */
39
+
40
+ }
41
+
42
+ /*/~ Optional: Respect system preference ~/
43
+ @media (prefers-color-scheme: dark) {
44
+ :root {
45
+ --card-bg: #212529;
46
+ --card-text: #f8f9fa;
47
+ --card-border: rgba(255, 255, 255, 0.125);
48
+ --card-shadow: rgba(0, 0, 0, 0.2);
49
+ --card-hover-bg: #343a40;
50
+ }
51
+ }*/
@@ -0,0 +1,39 @@
1
+ /*
2
+ Author: Kor Dwarshuis, kor@dwarshuis.com
3
+ Created: 2025-03-16
4
+ Description: Adjusts font size on body with plus, minus, and reset buttons
5
+ */
6
+
7
+ function adjustFontSize() {
8
+ const body = document.body;
9
+ const DEFAULT_SIZE = parseFloat(window.getComputedStyle(body).fontSize); // Define default font size for reset
10
+
11
+ function adjust(change) {
12
+ // Get current font size from body (in pixels)
13
+ let currentSize = parseFloat(window.getComputedStyle(body).fontSize);
14
+
15
+ // Calculate new size
16
+ let newSize = currentSize + change;
17
+
18
+ // Set reasonable min/max limits (e.g., 10px to 50px)
19
+ if (newSize >= 10 && newSize <= 50) {
20
+ body.style.fontSize = `${newSize}px`;
21
+ }
22
+ }
23
+
24
+ function reset() {
25
+ const body = document.body;
26
+
27
+ // Set font size to default value
28
+ body.style.fontSize = `${DEFAULT_SIZE}px`;
29
+ }
30
+
31
+ // Add event listeners to buttons
32
+ document.getElementById('decreaseBtn').addEventListener('click', () => adjust(-2));
33
+ document.getElementById('increaseBtn').addEventListener('click', () => adjust(2));
34
+ document.getElementById('resetBtn').addEventListener('click', reset);
35
+ }
36
+
37
+ document.addEventListener("DOMContentLoaded", function () {
38
+ adjustFontSize();
39
+ });