Advertisement
Guest User

Untitled

a guest
Jun 1st, 2022
89
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.50 KB | None | 0 0
  1. table th img {
  2. height: 1rem;
  3. vertical-align: middle;
  4. }
  5.  
  6. i.fa.fa-bolt, i.fa.fa-globe, i.fa.fa-diagram-project, i.fa.fa-grapes {
  7. font-size: 1rem;
  8. text-align: center;
  9. width: 1rem;
  10. vertical-align: middle;
  11. }
  12.  
  13. i.fa {
  14. width: 1rem;
  15. font-size: 1rem;
  16. text-align: center;
  17. vertical-align: middle;
  18. }
  19.  
  20. .letter-index {
  21. display: inline-flex;
  22. }
  23.  
  24. .letter-index p {
  25. display: flex;
  26. min-width: 2.3rem;
  27. justify-content: center;
  28. }
  29.  
  30. .letter-index.link-empty a {
  31. pointer-events: none;
  32. color: #888888;
  33. }
  34.  
  35. .version-list p.last {
  36. display: none;
  37. }
  38.  
  39. .version-list:hover p.last {
  40. display: block;
  41. }
  42.  
  43. .version-list a {
  44. display: inline-block;
  45. min-width: 10rem;
  46. }
  47.  
  48. .md-typeset a.help-button {
  49. position: fixed;
  50. bottom: 1rem;
  51. right: 1rem;
  52. width: auto;
  53. height: 2rem;
  54. color: #f2f2f2;
  55. background-color: #333333;
  56. text-align: center;
  57. box-shadow: 2px 2px 2px rgba(51, 51, 51, 0.8);
  58. border-radius: 1rem;
  59. padding: 0.3rem 1rem;
  60. }
  61.  
  62. @media print {
  63. .help-button {
  64. display: none;
  65. }
  66. }
  67.  
  68. .align-center img {
  69. margin-left: auto;
  70. margin-right: auto;
  71. display: block;
  72. }
  73.  
  74. @media only screen and (max-width: 76.1875em) {
  75. .md-content {
  76. margin-right: 0rem;
  77. }
  78. }
  79.  
  80. .caption {
  81. font-size: 85%;
  82. }
  83.  
  84. .footnote-reference {
  85. vertical-align: super;
  86. font-size: 75%;
  87. }
  88.  
  89. .figure {
  90. display: inline;
  91. }
  92.  
  93. /* hide link style when no documentation history available or dev version */
  94. a.no-style-link[href="#"] {
  95. color: #333333;
  96. pointer-events: none;
  97. }
  98. /* add space to the elements. First child is the title */
  99. details.with-top-margin :nth-child(2) {
  100. margin-top: .6rem;
  101. }
  102.  
  103. .first-line-details {
  104. display: flex;
  105. flex-wrap: wrap;
  106. }
  107. /* show error color when value is not provided */
  108. .colored-error i.error,
  109. .colored-error i.error + span {
  110. color: #ff5252;
  111. }
  112. /* replace html spaces by css spaces */
  113. .first-line-details i + span {
  114. margin: 0 10px 0 5px;
  115. }
  116.  
  117. /* add color to unmaintained title */
  118. section#unmaintained h2 {
  119. color: #ff5252;
  120. }
  121.  
  122. /* style used for topic / tag items */
  123. .pill-button {
  124. background-color: #dde9f2;
  125. border: none;
  126. color: black;
  127. padding: 5px 15px;
  128. text-align: center;
  129. text-decoration: none;
  130. display: inline-block;
  131. margin: 4px 4px;
  132. border-radius: 16px;
  133. }
  134.  
  135. /* STYLES FOR CUSTOM NAVBARS WITH FILTER AND CONTENT */
  136.  
  137. /* display the anchor element on headers only when hover */
  138. .md-typeset h1:hover a.headerlink {
  139. opacity: 1;
  140. }
  141.  
  142. /* hide sidebars because we will use custom filter bar */
  143. .md-sidebar.md-sidebar--primary,
  144. .md-sidebar.md-sidebar--secondary {
  145. display: none;
  146. }
  147.  
  148. /* remove style from original left and right sidebar */
  149. .md-content,
  150. .md-content__inner {
  151. margin-right: 0rem;
  152. margin-left: 0rem;
  153. }
  154. .md-content__inner:before {
  155. height: 0;
  156. }
  157. .md-grid {
  158. padding-top: 0;
  159. max-width: 100%;
  160. }
  161.  
  162. /* create own left sidebar and content */
  163. .md-content .custom-left-sidebar {
  164. position: sticky;
  165. width: 12rem;
  166. overflow: hidden;
  167. top: 60px;
  168. display: inline-block;
  169. vertical-align: top;
  170. margin: 0 1vw;
  171. }
  172. .md-content .project-list {
  173. display: inline-block;
  174. width: calc(90vw - 12rem);
  175. padding: 0 2vw;
  176. border-left: 1px solid;
  177. }
  178. @media only screen and (max-width: 777px) {
  179. .md-content .project-list,
  180. .md-content .custom-left-sidebar {
  181. display: block;
  182. }
  183. .md-content .project-list {
  184. width: 90%;
  185. margin: 0 auto;
  186. }
  187. .md-content .custom-left-sidebar {
  188. position: relative;
  189. top: 0px;
  190. margin: 0 auto;
  191. width: 90%;
  192. }
  193. }
  194. /* Center page header */
  195. #software-catalog > h1 {
  196. text-align: center;
  197. }
  198.  
  199. /* used to hide section when filter is applied */
  200. .project-list.loading {
  201. display: none;
  202. }
  203. .project-list section.filtered-hide {
  204. display: none;
  205. }
  206.  
  207. .project-list section > h1 {
  208. margin-top: 2rem;
  209. margin-bottom: 1rem;
  210. }
  211.  
  212. .project-list .projects-title {
  213. font-size: 2.5rem;
  214. }
  215.  
  216. /* custom theming the filter inputs */
  217. .custom-left-sidebar .name-filter {
  218. border: solid 1px;
  219. height: 35px;
  220. padding: 10px;
  221. width: 100%;
  222. border-radius: 5px;
  223. }
  224. .custom-left-sidebar .teams-dropdown {
  225. height: 35px;
  226. width: 100%;
  227. border-radius: 5px;
  228. padding: 5px;
  229. }
  230. .custom-left-sidebar .reset-filter-btn {
  231. border: solid 1px;
  232. padding: 5px 10px;
  233. border-radius: 5px;
  234. margin: 20px 10px 0 0;
  235. }
  236. .custom-left-sidebar input[type='checkbox'] {
  237. margin: 0 5px 0 0;
  238. }
  239. .custom-left-sidebar .filter-title {
  240. font-size: 1.5rem;
  241. }
  242.  
  243. .custom-left-sidebar > div {
  244. margin: 10px 0;
  245. }
  246.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement