font-display: swap;
}
-/* Avoid using legacy CJK serif fonts in Windows like Batang */
+/* Avoid using legacy CJK serif fonts in Windows like Batang. */
@font-face {
font-family: 'Noto Sans KR';
- src: url("noto-sans-kr-v13-korean-regular.woff") format("woff");
+ src: url("noto-sans-kr-regular.woff2") format("woff2"),
+ url("noto-sans-kr-regular.woff") format("woff");
font-display: swap;
- unicode-range: U+A960-A97F, U+AC00-D7AF, U+D7B0-D7FF;
+ unicode-range: U+AC00-D7AF, U+3130-318F, U+1100-11FF, U+A960-A97F, U+D7B0-D7FF;
}
* {
}
h1, h2, h3, h4, h5, h6 {
font-weight: 500;
+}
+h1, h2, h3, h4 {
margin: 20px 0 15px 0;
padding-bottom: 6px;
}
+h5, h6 {
+ margin: 15px 0 5px 0;
+}
h1.fqn {
display: flex;
border-bottom: 1px dashed;
pre {
padding: 14px;
}
-.type-decl pre {
+.docblock.item-decl {
+ margin-left: 0;
+}
+.item-decl pre {
overflow-x: auto;
}
overflow-x: auto;
}
+.rustdoc:not(.source) .example-wrap > pre.line-numbers {
+ width: auto;
+ overflow-x: visible;
+}
+
.rustdoc .example-wrap > pre {
margin: 0;
}
white-space: pre-wrap;
}
-.docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5, .docblock h6 {
- border-bottom: 1px solid;
-}
-
.top-doc .docblock h2 { font-size: 1.3em; }
.top-doc .docblock h3 { font-size: 1.15em; }
.top-doc .docblock h4,
-.top-doc .docblock h5,
+.top-doc .docblock h5 {
+ font-size: 1.1em;
+}
.top-doc .docblock h6 {
font-size: 1em;
}
flex-grow: 1;
margin: 0px;
padding: 0px;
+ overflow-wrap: anywhere;
}
.in-band > code, .in-band > .code-header {
.block a.current.crate { font-weight: 500; }
.item-table {
- display: table-row;
- /* align content left */
- justify-items: start;
+ display: table;
}
.item-row {
display: table-row;
.docblock {
margin-left: 12px;
}
+
+ .docblock code {
+ overflow-wrap: anywhere;
+ }
}
-/* This part is for the new "examples" components */
-.scraped-example:not(.expanded) .code-wrapper pre.line-numbers,
-.scraped-example:not(.expanded) .code-wrapper .example-wrap pre.rust {
+/* Begin: styles for --scrape-examples feature */
+
+.scraped-example-title {
+ font-family: 'Fira Sans';
+}
+
+.scraped-example:not(.expanded) .code-wrapper pre.line-numbers {
overflow: hidden;
- height: 240px;
+ max-height: 240px;
+}
+
+.scraped-example:not(.expanded) .code-wrapper .example-wrap pre.rust {
+ overflow-y: hidden;
+ max-height: 240px;
+ padding-bottom: 0;
}
.scraped-example .code-wrapper .prev {
.scraped-example:not(.expanded) .code-wrapper:before {
content: " ";
width: 100%;
- height: 20px;
+ height: 5px;
position: absolute;
z-index: 100;
top: 0;
.scraped-example:not(.expanded) .code-wrapper:after {
content: " ";
width: 100%;
- height: 20px;
+ height: 5px;
position: absolute;
z-index: 100;
bottom: 0;
.scraped-example:not(.expanded) .code-wrapper {
overflow: hidden;
- height: 240px;
+ max-height: 240px;
}
.scraped-example .code-wrapper .line-numbers {
overflow-y: hidden;
}
-.scraped-example .line-numbers span.highlight {
- background: #f6fdb0;
+.scraped-example .example-wrap .rust span.highlight {
+ background: #fcffd6;
}
-.scraped-example .example-wrap .rust span.highlight {
+.scraped-example .example-wrap .rust span.highlight.focus {
background: #f6fdb0;
}
+.more-examples-toggle {
+ margin-top: 10px;
+}
+
+.more-examples-toggle summary {
+ color: #999;
+ font-family: 'Fira Sans';
+}
+
.more-scraped-examples {
- padding-left: 10px;
- border-left: 1px solid #ccc;
+ margin-left: 25px;
+ display: flex;
+ flex-direction: row;
+ width: calc(100% - 25px);
}
-.toggle-examples .collapse-toggle {
- position: relative;
+.more-scraped-examples-inner {
+ /* 20px is width of toggle-line + toggle-line-inner */
+ width: calc(100% - 20px);
+}
+
+.toggle-line {
+ align-self: stretch;
+ margin-right: 10px;
+ margin-top: 5px;
+ padding: 0 4px;
+ cursor: pointer;
+}
+
+.toggle-line:hover .toggle-line-inner {
+ background: #aaa;
}
-.toggle-examples a {
- color: #999 !important; // FIXME(wcrichto): why is important needed
+.toggle-line-inner {
+ min-width: 2px;
+ background: #ddd;
+ height: 100%;
+}
+
+.more-scraped-examples .scraped-example {
+ margin-bottom: 20px;
+}
+
+.more-scraped-examples .scraped-example:last-child {
+ margin-bottom: 0;
+}
+
+.example-links a {
+ margin-top: 20px;
+ font-family: 'Fira Sans';
}
+
+.example-links ul {
+ margin-bottom: 0;
+}
+
+/* End: styles for --scrape-examples feature */