Lines Matching refs:px
45 --border-radius-large: 8px;
46 --border-radius-small: 4px;
47 --border-radius-medium: 6px;
50 --spacing-small: 5px;
51 --spacing-medium: 10px;
52 --spacing-large: 16px;
55 --box-shadow: 0 2px 8px 0 rgba(0,0,0,.075);
67 --page-font-size: 15.6px;
68 --navigation-font-size: 14.4px;
69 --toc-font-size: 13.4px;
70 --code-font-size: 14px; /* affects code, fragment */
71 --title-font-size: 22px;
74 --content-line-height: 27px;
76 --content-maxwidth: 1050px;
77 --table-line-height: 24px;
79 --toc-width: 200px;
80 --toc-max-height: calc(100vh - 2 * var(--spacing-medium) - 85px);
111 …* Visibility of the top navigation on screens >= 768px. On smaller screen the menu is always visib…
129 * (`searchbar-width` is only applied on screens >= 768px.
131 --searchbar-height: 33px;
132 --searchbar-width: 210px;
152 --fragment-lineheight: 20px;
164 --tree-item-height: 30px;
167 --memtitle-font-size: 18px;
169 --webkit-scrollbar-size: 7px;
170 --webkit-scrollbar-padding: 4px;
176 @media screen and (max-width: 767px) {
178 --page-font-size: 16px;
179 --navigation-font-size: 16px;
180 --toc-font-size: 15px;
181 --code-font-size: 15px; /* affects code, fragment */
182 --title-font-size: 22px;
194 --box-shadow: 0 2px 8px 0 rgba(0,0,0,.35);
255 --box-shadow: 0 2px 8px 0 rgba(0,0,0,.30);
351 border-bottom: 1px solid var(--separator-color);
354 @media screen and (min-width: 768px) {
376 @media screen and (max-width: 767px) {
416 border-bottom: 1px solid var(--separator-color);
417 margin-bottom: -1px;
424 @media screen and (max-width: 767px) {
439 @media screen and (min-width: 768px) {
464 border: 1px solid var(--separator-color);
473 transform: translate(0px, -2px);
478 transform: translate(0px, 0px);
549 border: 1px solid var(--separator-color);
562 padding-left: 8px;
569 margin-left: 8px;
590 @media screen and (max-width: 767px) {
605 box-shadow: inset 0 0 0 1px var(--primary-color);
612 @media screen and (max-width: 767px) {
614 height: 50px;
620 height: calc(var(--searchbar-height) - 2px);
622 width: calc(var(--searchbar-width) - 64px);
630 top: calc(calc(var(--searchbar-height) / 2) - 11px);
639 padding-top: calc(calc(var(--searchbar-height) / 2) - 12px);
645 top: calc(calc(var(--searchbar-height) / 2) - 12px);
651 transform: translate(0, 15px);
656 transform: translate(0, 20px);
664 border: 1px solid var(--separator-color);
665 transform: translate(0, 20px);
672 margin: 4px;
699 border: 1px solid var(--separator-color);
721 @media screen and (max-width: 767px) {
725 width: calc(100vw - 30px);
733 width: calc(100vw - 110px);
739 transform: translate(0, 15px);
744 transform: translate(0, 20px);
752 transform: translate(0, 20px);
761 top: 3px !important;
762 right: 6px !important;
763 left: 45px;
782 min-width: 8px;
786 @media screen and (max-width: 767px) {
798 margin-right: 1px;
815 bottom: 12px;
816 right: 12px;
831 top: 1px;
832 bottom: 1px;
834 width: 4px;
859 margin-right: 2px;
876 width: 4px;
878 box-shadow: inset -1px 0 0 0 var(--separator-color);
886 border-bottom: 1px solid var(--separator-color);
891 @media screen and (min-width: 1000px) {
901 min-width: 200px;
944 padding: 4px 9px;
945 border-radius: 12px;
950 margin-right: 2px;
989 border-bottom: 0px;
992 100px 0 var(--page-background-color),
993 -100px 0 var(--page-background-color),
994 100px 0.75px var(--separator-color),
995 -100px 0.75px var(--separator-color),
996 500px 0 var(--page-background-color),
997 -500px 0 var(--page-background-color),
998 500px 0.75px var(--separator-color),
999 -500px 0.75px var(--separator-color),
1000 900px 0 var(--page-background-color),
1001 -900px 0 var(--page-background-color),
1002 900px 0.75px var(--separator-color),
1003 -900px 0.75px var(--separator-color),
1004 1400px 0 var(--page-background-color),
1005 -1400px 0 var(--page-background-color),
1006 1400px 0.75px var(--separator-color),
1007 -1400px 0.75px var(--separator-color),
1008 1900px 0 var(--page-background-color),
1009 -1900px 0 var(--page-background-color),
1010 1900px 0.75px var(--separator-color),
1011 -1900px 0.75px var(--separator-color);
1036 left: -10px;
1037 top: 4px;
1042 right: -8px;
1043 bottom: -25px;
1067 text-shadow: 0 0 15px var(--primary-light-color);
1097 border-left: 1px solid var(--separator-color);
1143 @media screen and (max-width: 999px) {
1152 border: 1px solid var(--separator-color);
1178 border-left: 4px solid transparent;
1179 border-right: 4px solid transparent;
1180 border-top: 5px solid var(--primary-color);
1213 border: 1px solid var(--separator-color);
1221 padding: 2px 6px;
1232 @media screen and (max-width: 767px) {
1249 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
1256 margin: var(--spacing-medium) calc(0px - var(--spacing-large));
1261 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
1276 margin: var(--spacing-medium) calc(0px - var(--spacing-medium));
1327 width: 27px;
1339 …box-shadow: -999999px 0px 0 999999px var(--fragment-linenumber-background), -999998px 0px 0 999999…
1370 margin-bottom: 2px;
1375 border-left: 8px solid var(--warning-color-dark);
1385 border-left: 8px solid var(--note-color-dark);
1395 border-left: 8px solid var(--todo-color-dark);
1409 border-left: 8px solid var(--bug-color-dark);
1419 border-left: 8px solid var(--deprecated-color-dark);
1428 margin-inline-start: 0px;
1433 border-left: 8px solid var(--invariant-color-dark);
1457 border: 1px solid var(--separator-color);
1462 box-shadow: 0px var(--spacing-medium) 0 -1px var(--fragment-background), var(--box-shadow);
1489 bottom: calc(0px - var(--spacing-medium));
1491 right: -14px;
1502 padding-left: 3px;
1503 margin-right: -4px;
1506 margin-top: -6px;
1532 border-bottom: 1px solid var(--separator-color);
1534 margin-bottom: -1px;
1553 margin-left: 2px;
1566 margin-top: 3px;
1588 border: 1px solid var(--separator-color);
1599 padding: 12px;
1607 border-bottom: 1px solid var(--separator-color);
1627 margin-left: calc(0px - var(--spacing-large));
1628 margin-right: calc(0px - var(--spacing-large));
1637 box-shadow: 0 0 0 1px var(--separator-color);
1642 padding: 1px;
1687 border: 1px solid var(--separator-color);
1728 border-bottom: 1px solid var(--separator-color);
1753 border-bottom: 1px solid var(--separator-color);
1754 border-right: 1px solid var(--separator-color);
1795 border-top: 1px solid var(--separator-color);
1796 border-bottom: 1px solid var(--separator-color);
1802 padding-top: 2px;
1807 border-left: 1px solid var(--separator-color);
1808 border-right: 1px solid var(--separator-color);
1815 border-left: 1px solid var(--separator-color);
1821 border-right: 1px solid var(--separator-color);
1828 border-left: 1px solid var(--separator-color);
1835 border-right: 1px solid var(--separator-color);
1865 text-indent: -12px;
1875 border-left: 4px solid transparent;
1876 border-right: 4px solid transparent;
1877 border-top: 5px solid var(--primary-color);
1878 margin-top: 8px;
1881 margin-left: -10px;
1886 margin-right: 10px;
1901 @media screen and (max-width: 767px) {
1913 margin: 0 calc(0px - var(--spacing-large)) 0 calc(0px - var(--spacing-large));
1932 margin-bottom: calc(0px - var(--page-font-size));
1972 max-height: 200px;
1985 height: 1px;
1991 box-shadow: 100px 0 var(--separator-color),
1992 -100px 0 var(--separator-color),
1993 500px 0 var(--separator-color),
1994 -500px 0 var(--separator-color),
1995 900px 0 var(--separator-color),
1996 -900px 0 var(--separator-color),
1997 1400px 0 var(--separator-color),
1998 -1400px 0 var(--separator-color),
1999 1900px 0 var(--separator-color),
2000 -1900px 0 var(--separator-color);
2008 @media screen and (max-width: 767px) {
2010 margin-left: calc(0px - var(--spacing-large));
2011 margin-right: calc(0px - var(--spacing-large));
2020 border-top: 1px solid var(--separator-color);
2021 border-bottom: 1px solid var(--separator-color);
2054 min-width: 250px;
2093 @media screen and (max-width: 767px) {
2095 margin-left: calc(0px - var(--spacing-large));
2096 margin-right: calc(0px - var(--spacing-large));
2146 border: 1px solid var(--separator-color);
2162 border-top: 1px solid var(--separator-color);
2163 border-bottom: 1px solid var(--separator-color);
2165 box-shadow: 0 0.75px 0 var(--separator-color);
2170 width: 60px;
2201 margin-left: -8px;
2214 border: 5px solid var(--page-background-color);
2218 transform: translateY(-1px) scaleY(4.2);
2220 margin-left: 6px;
2225 border: 5px solid var(--separator-color);
2229 transform: translateY(-1px) scaleY(3.2);
2353 font-size: 22px;
2387 width: 28px;
2388 height: 28px;
2392 border: 1px solid var(--fragment-foreground);
2414 width: 18px;
2415 height: 18px;
2426 @media screen and (max-width: 767px) {
2455 margin-bottom: -3px;
2456 margin-top: -4px;
2472 padding-inline-start: 0px;
2492 border-bottom: 1px solid var(--separator-color);
2497 @media screen and (max-width: 767px) {
2499 margin: 0 calc(0px - var(--spacing-large));
2515 box-shadow: 0 1px 0 0 var(--separator-color);
2540 box-shadow: 8px 0 0 -7px var(--separator-color);
2570 height: 3px;
2591 border-spacing: 10px;
2614 border: 1px solid var(--separator-color);
2655 transform: translateX(-3px);
2660 transform: translateX(3px);
2663 @media screen and (max-width: 450px) {