spec-up-t 1.1.55 → 1.2.0

package/assets/css/adjust-font-size.css

@@ -1,3 +1,4 @@
+/* Styling for font size adjustment buttons */
 .adjust-font-size #decreaseBtn {
     background: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 100 100" xmlns:xlink="http://www.w3.org/1999/xlink"><text x="50%" y="50%" font-family="Times New Roman" font-size="50" fill="black" dominant-baseline="middle" text-anchor="middle">A</text></svg>') no-repeat center;
     background-color: #a9dde0;
@@ -18,6 +19,7 @@
     border-bottom-right-radius: 4px;
     border-top-left-radius: 0;
     border-top-right-radius: 4px;
+    margin-left: -1px !important; /* Fix the spacing issue between buttons */
 }
 
 .adjust-font-size #decreaseBtn {
@@ -25,4 +27,13 @@
     border-bottom-right-radius: 0;
     border-top-left-radius: 4px;
     border-top-right-radius: 0;
+}
+
+/* Ensure the adjust-font-size button group displays buttons tightly together */
+.adjust-font-size.btn-group {
+    display: inline-flex;
+}
+
+.adjust-font-size.btn-group .btn {
+    position: relative;
 }

package/assets/css/collapse-meta-info.css

@@ -4,18 +4,37 @@
   Description: Make the meta-info tables collapsible
 */
 
-dl>dd:has(table).meta-info-content-wrapper {
-  max-height: 10em;
-  transition: max-height 0.3s ease-out;
-  /* This should be higher than the tallest content */
+/* Wrapper for meta info content */
+dl > dd:has(table).meta-info-content-wrapper {
+  display: block;
+  position: relative;
+  max-height: none;
+  height: auto;
+  overflow: visible;
+  transition: all 0.3s ease-out;
 }
 
-dl>dd:has(table).collapsed.meta-info-content-wrapper {
+/* Collapsed state for meta info content */
+dl > dd:has(table).collapsed.meta-info-content-wrapper {
+  max-height: 0;
+  height: 0;
   padding-top: 0;
   padding-bottom: 0;
-
+  margin-top: 0;
+  margin-bottom: 0;
   overflow: hidden;
-  transition: max-height 0.3s ease-out;
-  max-height: 0;
+  transition: all 0.3s ease-out;
   line-height: 0;
+}
+
+/* The inner content wrapper to ensure proper spacing */
+dl > dd:has(table).meta-info-content-wrapper > div {
+  display: block;
+  padding: inherit;
+}
+
+/* Meta info toggle button */
+.meta-info-toggle-button {
+  position: relative;
+  cursor: pointer;
 }

package/assets/css/create-term-filter.css

@@ -0,0 +1,11 @@
+/* Hide local terms */
+.hide-local-terms #content dl.terms-and-definitions-list > dt:not(.transcluded-xref-term),
+.hide-local-terms #content dl.terms-and-definitions-list > dd:not(.transcluded-xref-term) {
+    display: none !important;
+}
+
+/* Hide transcluded terms */
+.hide-external-terms #content dl.terms-and-definitions-list > dt.transcluded-xref-term,
+.hide-external-terms #content dl.terms-and-definitions-list > dd.transcluded-xref-term {
+    display: none !important;
+}

package/assets/css/index.css

@@ -42,6 +42,21 @@ main * {
   /* Breaks words at logical places according to the language */
 }
 
+/* Fix for Bootstrap's responsive tables */
+.table-responsive {
+  overflow-x: auto !important;
+  -webkit-overflow-scrolling: touch;
+  width: 100%;
+  max-width: 100%;
+}
+
+/* Override the overflow-wrap property for table-responsive content */
+.table-responsive * {
+  overflow-wrap: normal !important;
+  word-break: normal !important;
+  white-space: nowrap !important;
+}
+
 dd td img {
   max-width: 30px;
 }

package/assets/css/prism.css

@@ -1,157 +1,180 @@
- /* PrismJS 1.29.0
+ /* PrismJS 1.30.0
     To update this file, download PrismJS from https://prismjs.com/download.html and use this url, that includes only the languages and plugins you need:
 
-    https://prismjs.com/download.html#themes=prism-tomorrow&languages=markup+css+clike+javascript+abnf+diff+git+http+js-extras+json+json5+js-templates+regex+yaml&plugins=line-numbers+highlight-keywords
+    https: //prismjs.com/download.html#themes=prism&languages=markup+css+clike+javascript+abnf+diff+git+http+js-extras+json+json5+js-templates+regex+yaml&plugins=line-numbers+highlight-keywords
 */
 
-code[class*=language-],
-pre[class*=language-] {
-    color: #ccc;
-    background: 0 0;
-    font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
-    font-size: 1em;
-    text-align: left;
-    white-space: pre;
-    word-spacing: normal;
-    word-break: normal;
-    word-wrap: normal;
-    line-height: 1.5;
-    -moz-tab-size: 4;
-    -o-tab-size: 4;
-    tab-size: 4;
-    -webkit-hyphens: none;
-    -moz-hyphens: none;
-    -ms-hyphens: none;
-    hyphens: none
-}
-
-pre[class*=language-] {
-    padding: 1em;
-    margin: .5em 0;
-    overflow: auto
-}
-
-:not(pre)>code[class*=language-],
-pre[class*=language-] {
-    background: #2d2d2d
-}
-
-:not(pre)>code[class*=language-] {
-    padding: .1em;
-    border-radius: .3em;
-    white-space: normal
-}
-
-.token.block-comment,
-.token.cdata,
-.token.comment,
-.token.doctype,
-.token.prolog {
-    color: #999
-}
-
-.token.punctuation {
-    color: #ccc
-}
-
-.token.attr-name,
-.token.deleted,
-.token.namespace,
-.token.tag {
-    color: #e2777a
-}
-
-.token.function-name {
-    color: #6196cc
-}
-
-.token.boolean,
-.token.function,
-.token.number {
-    color: #f08d49
-}
-
-.token.class-name,
-.token.constant,
-.token.property,
-.token.symbol {
-    color: #f8c555
-}
-
-.token.atrule,
-.token.builtin,
-.token.important,
-.token.keyword,
-.token.selector {
-    color: #cc99cd
-}
-
-.token.attr-value,
-.token.char,
-.token.regex,
-.token.string,
-.token.variable {
-    color: #7ec699
-}
-
-.token.entity,
-.token.operator,
-.token.url {
-    color: #67cdcc
-}
-
-.token.bold,
-.token.important {
-    font-weight: 700
-}
-
-.token.italic {
-    font-style: italic
-}
-
-.token.entity {
-    cursor: help
-}
-
-.token.inserted {
-    color: green
-}
-
-pre[class*=language-].line-numbers {
-    position: relative;
-    padding-left: 3.8em;
-    counter-reset: linenumber
-}
-
-pre[class*=language-].line-numbers>code {
-    position: relative;
-    white-space: inherit
-}
-
-.line-numbers .line-numbers-rows {
-    position: absolute;
-    pointer-events: none;
-    top: 0;
-    font-size: 100%;
-    left: -3.8em;
-    width: 3em;
-    letter-spacing: -1px;
-    border-right: 1px solid #999;
-    -webkit-user-select: none;
-    -moz-user-select: none;
-    -ms-user-select: none;
-    user-select: none
-}
-
-.line-numbers-rows>span {
-    display: block;
-    counter-increment: linenumber
-}
-
-.line-numbers-rows>span:before {
-    content: counter(linenumber);
-    color: #999;
-    display: block;
-    padding-right: .8em;
-    text-align: right
-}
+ code[class*=language-],
+ pre[class*=language-] {
+     color: #000;
+     background: 0 0;
+     text-shadow: 0 1px #fff;
+     font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
+     font-size: 1em;
+     text-align: left;
+     white-space: pre;
+     word-spacing: normal;
+     word-break: normal;
+     word-wrap: normal;
+     line-height: 1.5;
+     -moz-tab-size: 4;
+     -o-tab-size: 4;
+     tab-size: 4;
+     -webkit-hyphens: none;
+     -moz-hyphens: none;
+     -ms-hyphens: none;
+     hyphens: none
+ }
+
+ code[class*=language-] ::-moz-selection,
+ code[class*=language-]::-moz-selection,
+ pre[class*=language-] ::-moz-selection,
+ pre[class*=language-]::-moz-selection {
+     text-shadow: none;
+     background: #b3d4fc
+ }
+
+ code[class*=language-] ::selection,
+ code[class*=language-]::selection,
+ pre[class*=language-] ::selection,
+ pre[class*=language-]::selection {
+     text-shadow: none;
+     background: #b3d4fc
+ }
+
+ @media print {
+
+     code[class*=language-],
+     pre[class*=language-] {
+         text-shadow: none
+     }
+ }
+
+ pre[class*=language-] {
+     padding: 1em;
+     margin: .5em 0;
+     overflow: auto
+ }
+
+ :not(pre)>code[class*=language-],
+ pre[class*=language-] {
+     background: #f5f2f0
+ }
+
+ :not(pre)>code[class*=language-] {
+     padding: .1em;
+     border-radius: .3em;
+     white-space: normal
+ }
+
+ .token.cdata,
+ .token.comment,
+ .token.doctype,
+ .token.prolog {
+     color: #708090
+ }
+
+ .token.punctuation {
+     color: #999
+ }
+
+ .token.namespace {
+     opacity: .7
+ }
+
+ .token.boolean,
+ .token.constant,
+ .token.deleted,
+ .token.number,
+ .token.property,
+ .token.symbol,
+ .token.tag {
+     color: #905
+ }
+
+ .token.attr-name,
+ .token.builtin,
+ .token.char,
+ .token.inserted,
+ .token.selector,
+ .token.string {
+     color: #690
+ }
+
+ .language-css .token.string,
+ .style .token.string,
+ .token.entity,
+ .token.operator,
+ .token.url {
+     color: #9a6e3a;
+     background: hsla(0, 0%, 100%, .5)
+ }
+
+ .token.atrule,
+ .token.attr-value,
+ .token.keyword {
+     color: #07a
+ }
+
+ .token.class-name,
+ .token.function {
+     color: #dd4a68
+ }
+
+ .token.important,
+ .token.regex,
+ .token.variable {
+     color: #e90
+ }
+
+ .token.bold,
+ .token.important {
+     font-weight: 700
+ }
+
+ .token.italic {
+     font-style: italic
+ }
+
+ .token.entity {
+     cursor: help
+ }
+
+ pre[class*=language-].line-numbers {
+     position: relative;
+     padding-left: 3.8em;
+     counter-reset: linenumber
+ }
+
+ pre[class*=language-].line-numbers>code {
+     position: relative;
+     white-space: inherit
+ }
+
+ .line-numbers .line-numbers-rows {
+     position: absolute;
+     pointer-events: none;
+     top: 0;
+     font-size: 100%;
+     left: -3.8em;
+     width: 3em;
+     letter-spacing: -1px;
+     border-right: 1px solid #999;
+     -webkit-user-select: none;
+     -moz-user-select: none;
+     -ms-user-select: none;
+     user-select: none
+ }
+
+ .line-numbers-rows>span {
+     display: block;
+     counter-increment: linenumber
+ }
+
+ .line-numbers-rows>span:before {
+     content: counter(linenumber);
+     color: #999;
+     display: block;
+     padding-right: .8em;
+     text-align: right
+ }

package/assets/css/prism.dark.css

@@ -0,0 +1,157 @@
+ /* PrismJS 1.29.0
+    To update this file, download PrismJS from https://prismjs.com/download.html and use this url, that includes only the languages and plugins you need:
+
+    https://prismjs.com/download.html#themes=prism-tomorrow&languages=markup+css+clike+javascript+abnf+diff+git+http+js-extras+json+json5+js-templates+regex+yaml&plugins=line-numbers+highlight-keywords
+*/
+
+ code[class*=language-],
+ pre[class*=language-] {
+     color: #ccc;
+     background: 0 0;
+     font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
+     font-size: 1em;
+     text-align: left;
+     white-space: pre;
+     word-spacing: normal;
+     word-break: normal;
+     word-wrap: normal;
+     line-height: 1.5;
+     -moz-tab-size: 4;
+     -o-tab-size: 4;
+     tab-size: 4;
+     -webkit-hyphens: none;
+     -moz-hyphens: none;
+     -ms-hyphens: none;
+     hyphens: none
+ }
+
+ pre[class*=language-] {
+     padding: 1em;
+     margin: .5em 0;
+     overflow: auto
+ }
+
+ :not(pre)>code[class*=language-],
+ pre[class*=language-] {
+     background: #2d2d2d
+ }
+
+ :not(pre)>code[class*=language-] {
+     padding: .1em;
+     border-radius: .3em;
+     white-space: normal
+ }
+
+ .token.block-comment,
+ .token.cdata,
+ .token.comment,
+ .token.doctype,
+ .token.prolog {
+     color: #999
+ }
+
+ .token.punctuation {
+     color: #ccc
+ }
+
+ .token.attr-name,
+ .token.deleted,
+ .token.namespace,
+ .token.tag {
+     color: #e2777a
+ }
+
+ .token.function-name {
+     color: #6196cc
+ }
+
+ .token.boolean,
+ .token.function,
+ .token.number {
+     color: #f08d49
+ }
+
+ .token.class-name,
+ .token.constant,
+ .token.property,
+ .token.symbol {
+     color: #f8c555
+ }
+
+ .token.atrule,
+ .token.builtin,
+ .token.important,
+ .token.keyword,
+ .token.selector {
+     color: #cc99cd
+ }
+
+ .token.attr-value,
+ .token.char,
+ .token.regex,
+ .token.string,
+ .token.variable {
+     color: #7ec699
+ }
+
+ .token.entity,
+ .token.operator,
+ .token.url {
+     color: #67cdcc
+ }
+
+ .token.bold,
+ .token.important {
+     font-weight: 700
+ }
+
+ .token.italic {
+     font-style: italic
+ }
+
+ .token.entity {
+     cursor: help
+ }
+
+ .token.inserted {
+     color: green
+ }
+
+ pre[class*=language-].line-numbers {
+     position: relative;
+     padding-left: 3.8em;
+     counter-reset: linenumber
+ }
+
+ pre[class*=language-].line-numbers>code {
+     position: relative;
+     white-space: inherit
+ }
+
+ .line-numbers .line-numbers-rows {
+     position: absolute;
+     pointer-events: none;
+     top: 0;
+     font-size: 100%;
+     left: -3.8em;
+     width: 3em;
+     letter-spacing: -1px;
+     border-right: 1px solid #999;
+     -webkit-user-select: none;
+     -moz-user-select: none;
+     -ms-user-select: none;
+     user-select: none
+ }
+
+ .line-numbers-rows>span {
+     display: block;
+     counter-increment: linenumber
+ }
+
+ .line-numbers-rows>span:before {
+     content: counter(linenumber);
+     color: #999;
+     display: block;
+     padding-right: .8em;
+     text-align: right
+ }