// WDoc base stylesheet. Rendered by the Rust WDoc renderer through codec::css.
stylesheet __wdoc_base_styles {
rule rule_001 {
selector = "*, *::before, *::after"
box_sizing = "border-box"
margin = "0"
padding = "0"
}
rule rule_002 {
selector = ":root"
vars = {
"--nav-width" = "260px"
"--content-max-width" = "960px"
"--font-body" = "-apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, sans-serif"
"--font-heading" = "var(--font-body)"
"--font-terminal" = "\"JetBrainsMono Nerd Font\", \"Apple Color Emoji\", \"Segoe UI Emoji\", \"Noto Color Emoji\", monospace"
"--color-bg" = "#ffffff"
"--color-text" = "#1a1a1a"
"--color-nav-bg" = "#f5f5f5"
"--color-nav-border" = "#e0e0e0"
"--color-link" = "#0366d6"
"--color-nav-hover" = "#e8e8e8"
"--color-nav-active" = "#dbeafe"
"--color-code-bg" = "#f6f8fa"
"--color-code-border" = "#e1e4e8"
"--color-toggle-bg" = "#e0e0e0"
"--color-toggle-knob" = "#ffffff"
"--color-table-border" = "#d0d7de"
"--color-table-header-bg" = "#f0f3f6"
"--color-table-stripe" = "#f6f8fa"
}
}
rule rule_003 {
selector = "[data-theme=\"dark\"]"
vars = {
"--color-bg" = "#0d1117"
"--color-text" = "#e6edf3"
"--color-nav-bg" = "#161b22"
"--color-nav-border" = "#30363d"
"--color-link" = "#58a6ff"
"--color-nav-hover" = "#1f2937"
"--color-nav-active" = "#1c3a5f"
"--color-code-bg" = "#161b22"
"--color-code-border" = "#30363d"
"--color-toggle-bg" = "#30363d"
"--color-toggle-knob" = "#e6edf3"
"--color-table-border" = "#30363d"
"--color-table-header-bg" = "#161b22"
"--color-table-stripe" = "#0d1117"
}
}
rule rule_004 {
selector = "html"
font_size = "16px"
}
rule rule_005 {
selector = "body"
font_family = "var(--font-body)"
color = "var(--color-text)"
background = "var(--color-bg)"
line_height = "1.6"
display = "flex"
min_height = "100vh"
}
rule rule_006 {
selector = ".wdoc-nav"
width = "var(--nav-width)"
min_width = "var(--nav-width)"
background = "var(--color-nav-bg)"
border_right = "1px solid var(--color-nav-border)"
padding = "1.5rem 0"
overflow_y = "auto"
position = "fixed"
top = "0"
left = "0"
bottom = "0"
display = "flex"
flex_direction = "column"
}
rule rule_007 {
selector = ".wdoc-nav-title"
font_size = "1.1rem"
font_weight = "700"
padding = "0 1.25rem 1rem"
border_bottom = "1px solid var(--color-nav-border)"
margin_bottom = "0.75rem"
}
rule rule_008 {
selector = ".wdoc-nav ul"
list_style = "none"
flex = "1"
}
rule rule_009 {
selector = ".wdoc-nav li a"
display = "block"
padding = "0.35rem 1.25rem"
color = "var(--color-text)"
text_decoration = "none"
font_size = "0.9rem"
}
rule rule_010 {
selector = ".wdoc-nav li a:hover"
background = "var(--color-nav-hover)"
}
rule rule_011 {
selector = ".wdoc-nav li a.active"
background = "var(--color-nav-active)"
font_weight = "600"
}
rule rule_012 {
selector = ".wdoc-nav li ul"
padding_left = "1rem"
}
rule rule_013 {
selector = ".wdoc-theme-toggle"
padding = "0.75rem 1.25rem"
border_top = "1px solid var(--color-nav-border)"
display = "flex"
align_items = "center"
gap = "0.5rem"
font_size = "0.8rem"
color = "var(--color-text)"
cursor = "pointer"
user_select = "none"
}
rule rule_014 {
selector = ".wdoc-theme-toggle-track"
width = "36px"
height = "20px"
background = "var(--color-toggle-bg)"
border_radius = "10px"
position = "relative"
transition = "background 0.2s"
}
rule rule_015 {
selector = ".wdoc-theme-toggle-knob"
width = "16px"
height = "16px"
background = "var(--color-toggle-knob)"
border_radius = "50%"
position = "absolute"
top = "2px"
left = "2px"
transition = "transform 0.2s"
}
rule rule_016 {
selector = "[data-theme=\"dark\"] .wdoc-theme-toggle-knob"
props = {
"transform" = "translateX(16px)"
}
}
rule rule_017 {
selector = ".wdoc-theme-icon"
font_size = "1rem"
}
rule rule_018 {
selector = ".wdoc-content"
margin_left = "var(--nav-width)"
max_width = "var(--content-max-width)"
padding = "2rem 2.5rem"
margin_right = "auto"
}
rule rule_019 {
selector = ".wdoc-content"
margin_left = "calc(var(--nav-width) + max(0px, (100vw - var(--nav-width) - var(--content-max-width)) / 2))"
}
rule rule_020 {
selector = ".wdoc-vsplit"
display = "flex"
flex_direction = "row"
gap = "1.5rem"
width = "100%"
}
rule rule_021 {
selector = ".wdoc-hsplit"
display = "flex"
flex_direction = "column"
gap = "1.5rem"
width = "100%"
}
rule rule_022 {
selector = ".wdoc-split"
min_width = "0"
}
rule rule_023 {
selector = ".wdoc-heading"
margin_top = "1.5rem"
margin_bottom = "0.5rem"
font_family = "var(--font-heading)"
}
rule rule_024 {
selector = "h1.wdoc-heading"
font_size = "2rem"
margin_top = "0"
}
rule rule_025 {
selector = "h2.wdoc-heading"
font_size = "1.5rem"
}
rule rule_026 {
selector = "h3.wdoc-heading"
font_size = "1.25rem"
}
rule rule_027 {
selector = "h4.wdoc-heading"
font_size = "1.1rem"
}
rule rule_028 {
selector = "h5.wdoc-heading"
font_size = "1rem"
}
rule rule_029 {
selector = "h6.wdoc-heading"
font_size = "0.9rem"
}
rule rule_030 {
selector = ".wdoc-paragraph"
margin_bottom = "1rem"
}
rule rule_031 {
selector = ".wdoc-paragraph ul, .wdoc-paragraph ol, .wdoc-callout-body ul, .wdoc-callout-body ol"
padding_left = "0"
margin_bottom = "0.5rem"
list_style_position = "inside"
}
rule rule_032 {
selector = ".wdoc-paragraph li, .wdoc-callout-body li"
margin_bottom = "0.25rem"
}
rule rule_033 {
selector = ".wdoc-code"
background = "var(--color-code-bg)"
border = "1px solid var(--color-code-border)"
border_radius = "6px"
padding = "1rem"
margin_bottom = "1rem"
overflow_x = "auto"
font_size = "0.875rem"
line_height = "1.5"
}
rule rule_034 {
selector = ".wdoc-code code"
font_family = "\"SFMono-Regular\", Consolas, \"Liberation Mono\", Menlo, monospace"
background = "none"
padding = "0"
}
rule rule_035 {
selector = ".wdoc-code .hljs"
background = "transparent"
padding = "0"
}
rule rule_036 {
selector = ".wdoc-equation"
margin = "1.25rem 0"
overflow_x = "auto"
text_align = "center"
}
rule rule_037 {
selector = ".wdoc-equation-inline"
display = "inline"
white_space = "nowrap"
}
rule rule_038 {
selector = ".wdoc-equation mjx-container"
min_width = "0"
}
rule rule_039 {
selector = ".wdoc-diagram"
margin_bottom = "1rem"
text_align = "center"
}
font_face font_040 {
font_family = "\"JetBrainsMono Nerd Font\""
src = "url(\"fonts/JetBrainsMonoNerdFontMono-Regular.ttf\") format(\"truetype\")"
font_weight = "400"
font_style = "normal"
font_display = "swap"
}
font_face font_041 {
font_family = "\"JetBrainsMono Nerd Font\""
src = "url(\"fonts/JetBrainsMonoNerdFontMono-Bold.ttf\") format(\"truetype\")"
font_weight = "700"
font_style = "normal"
font_display = "swap"
}
font_face font_042 {
font_family = "\"JetBrainsMono Nerd Font\""
src = "url(\"fonts/JetBrainsMonoNerdFontMono-Italic.ttf\") format(\"truetype\")"
font_weight = "400"
font_style = "italic"
font_display = "swap"
}
font_face font_043 {
font_family = "\"JetBrainsMono Nerd Font\""
src = "url(\"fonts/JetBrainsMonoNerdFontMono-BoldItalic.ttf\") format(\"truetype\")"
font_weight = "700"
font_style = "italic"
font_display = "swap"
}
keyframes keyframes_044 {
name = "wdoc-terminal-blink"
frame frame_045 {
selector = "0%, 49%"
opacity = "1"
}
frame frame_046 {
selector = "50%, 100%"
opacity = "0"
}
}
rule rule_047 {
selector = ".wdoc-terminal-blink"
animation = "wdoc-terminal-blink 1s steps(1, end) infinite"
}
rule rule_048 {
selector = ".wdoc-terminal-menu-item-bg, .wdoc-terminal-menu-item-label-hover"
opacity = "0"
transition = "opacity 120ms ease"
}
rule rule_049 {
selector = ".wdoc-terminal-menu-item.wdoc-state-hovered .wdoc-terminal-menu-item-bg, .wdoc-terminal-menu-item.wdoc-state-hovered .wdoc-terminal-menu-item-label-hover"
opacity = "1"
}
rule rule_050 {
selector = ".wdoc-terminal-menu[visibility=\"hidden\"]:not(.wdoc-state-shown) .wdoc-terminal-menu-item, .wdoc-terminal-menu[pointer-events=\"none\"]:not(.wdoc-state-shown) .wdoc-terminal-menu-item, .wdoc-terminal-dropdown-menu:not(.wdoc-state-shown) .wdoc-terminal-menu-item"
pointer_events = "none !important"
cursor = "default !important"
}
rule rule_051 {
selector = ".wdoc-terminal-menu-item-disabled"
opacity = ".45"
}
rule rule_052 {
selector = ".wdoc-terminal-menu-item-disabled .wdoc-terminal-menu-item-bg, .wdoc-terminal-menu-item-disabled .wdoc-terminal-menu-item-label-hover"
opacity = "0 !important"
}
rule rule_053 {
selector = ".wdoc-terminal-control-hover"
opacity = "0"
transition = "opacity 120ms ease"
}
rule rule_054 {
selector = ".wdoc-terminal-control.wdoc-state-hovered .wdoc-terminal-control-hover"
opacity = "1"
}
rule rule_055 {
selector = ".wdoc-terminal-control-disabled"
opacity = ".45"
}
rule rule_056 {
selector = ".wdoc-terminal-control-disabled .wdoc-terminal-control-hover"
opacity = "0 !important"
}
rule rule_057 {
selector = ".wdoc-terminal-dropdown-menu"
opacity = "0"
visibility = "hidden"
pointer_events = "none"
transition = "opacity 120ms ease"
}
rule rule_058 {
selector = ".wdoc-terminal-dropdown-menu.wdoc-state-shown"
opacity = "1"
visibility = "visible"
pointer_events = "all"
}
rule rule_059 {
selector = ".wdoc-diagram svg"
max_width = "100%"
height = "auto"
}
rule rule_060 {
selector = ".wdoc-callout"
border_left = "4px solid var(--color-nav-border)"
border_radius = "6px"
padding = "1rem 1.25rem"
margin_bottom = "1rem"
background = "var(--color-code-bg)"
}
rule rule_061 {
selector = ".wdoc-callout-header"
font_weight = "600"
margin_bottom = "0.5rem"
display = "flex"
align_items = "center"
gap = "0.5rem"
font_size = "1rem"
}
rule rule_062 {
selector = ".wdoc-callout-body > *:last-child"
margin_bottom = "0"
}
rule rule_063 {
selector = ".wdoc-diagram svg a"
cursor = "pointer"
}
rule rule_064 {
selector = ".wdoc-diagram svg a:hover rect, .wdoc-diagram svg a:hover circle, .wdoc-diagram svg a:hover ellipse"
opacity = "0.85"
}
rule rule_065 {
selector = ".wdoc-image"
max_width = "100%"
height = "auto"
border_radius = "6px"
margin_bottom = "1rem"
display = "block"
}
rule rule_066 {
selector = ".wdoc-table"
width = "100%"
border_collapse = "collapse"
margin_bottom = "1rem"
font_size = "0.9rem"
}
rule rule_067 {
selector = ".wdoc-table caption"
caption_side = "top"
text_align = "left"
font_weight = "600"
padding_bottom = "0.5rem"
color = "var(--color-text)"
}
rule rule_068 {
selector = ".wdoc-table th, .wdoc-table td"
border = "1px solid var(--color-table-border)"
padding = "0.5rem 0.75rem"
text_align = "left"
}
rule rule_069 {
selector = ".wdoc-table th"
background = "var(--color-table-header-bg)"
font_weight = "600"
}
rule rule_070 {
selector = ".wdoc-table tbody tr:nth-child(even)"
background = "var(--color-table-stripe)"
}
rule rule_071 {
selector = "a"
color = "var(--color-link)"
text_decoration = "none"
}
rule rule_072 {
selector = "a:hover"
text_decoration = "underline"
}
rule rule_073 {
selector = "body.wdoc-template-site"
display = "block"
min_height = "100vh"
}
rule rule_074 {
selector = ".wdoc-site-header"
border_bottom = "1px solid var(--color-nav-border)"
background = "var(--color-bg)"
}
rule rule_075 {
selector = ".wdoc-site-header-inner"
width = "min(1120px, 100%)"
margin = "0 auto"
padding = "1rem 1.5rem"
display = "flex"
align_items = "center"
gap = "1rem"
}
rule rule_076 {
selector = ".wdoc-site-logo"
width = "2.25rem"
height = "2.25rem"
object_fit = "contain"
}
rule rule_077 {
selector = ".wdoc-site-title"
font_weight = "700"
font_size = "1.05rem"
}
rule rule_078 {
selector = ".wdoc-site-nav"
border_bottom = "1px solid var(--color-nav-border)"
background = "var(--color-nav-bg)"
}
rule rule_079 {
selector = ".wdoc-site-nav > *"
width = "min(1120px, 100%)"
margin = "0 auto"
padding = "0.75rem 1.5rem"
}
rule rule_080 {
selector = ".wdoc-site-main"
width = "min(1120px, 100%)"
margin = "0 auto"
padding = "2rem 1.5rem 3rem"
}
rule rule_081 {
selector = ".wdoc-site-footer"
width = "min(1120px, 100%)"
margin = "0 auto"
padding = "2rem 1.5rem"
border_top = "1px solid var(--color-nav-border)"
color = "var(--color-text)"
opacity = "0.8"
}
rule rule_082 {
selector = ".wdoc-site-hero"
min_height = "22rem"
margin = "-2rem calc(50% - 50vw) 2rem"
padding = "4rem max(1.5rem, calc((100vw - 1120px) / 2))"
background = "var(--color-nav-bg)"
background_size = "cover"
background_position = "center"
color = "var(--color-text)"
display = "flex"
align_items = "center"
}
rule rule_083 {
selector = ".wdoc-site-hero[style*=\"background-image\"]"
color = "#fff"
}
rule rule_084 {
selector = ".wdoc-site-hero-inner"
width = "min(720px, 100%)"
}
rule rule_085 {
selector = ".wdoc-site-hero h1"
font_size = "3rem"
line_height = "1.1"
margin_bottom = "1rem"
}
rule rule_086 {
selector = ".wdoc-site-hero p"
font_size = "1.2rem"
}
rule rule_087 {
selector = ".wdoc-site-section"
margin = "2.5rem 0"
}
rule rule_088 {
selector = ".wdoc-site-section-title, .wdoc-site-list h1"
font_size = "2rem"
margin_bottom = "1rem"
}
rule rule_089 {
selector = ".wdoc-site-card-grid"
display = "grid"
grid_template_columns = "repeat(auto-fit, minmax(14rem, 1fr))"
gap = "1rem"
margin = "1rem 0"
}
rule rule_090 {
selector = ".wdoc-site-card, .wdoc-site-list-item"
display = "block"
border = "1px solid var(--color-nav-border)"
border_radius = "8px"
padding = "1rem"
background = "var(--color-bg)"
color = "var(--color-text)"
}
rule rule_091 {
selector = ".wdoc-site-card:hover, .wdoc-site-list-item:hover"
border_color = "var(--color-link)"
text_decoration = "none"
}
rule rule_092 {
selector = ".wdoc-site-card h3, .wdoc-site-list-item h3"
margin_bottom = "0.4rem"
}
rule rule_093 {
selector = ".wdoc-site-card span"
display = "block"
margin_top = "0.75rem"
font_size = "0.85rem"
opacity = "0.72"
}
rule rule_094 {
selector = "body.wdoc-template-presentation"
display = "block"
min_height = "100vh"
overflow = "hidden"
}
rule rule_095 {
selector = ".wdoc-presentation"
min_height = "100vh"
display = "flex"
background = "var(--color-bg)"
}
rule rule_096 {
selector = ".wdoc-presentation-nav"
display = "none"
}
rule rule_097 {
selector = ".wdoc-slide"
width = "min(100vw, 1280px)"
height = "min(100vh, 720px)"
margin = "auto"
padding = "clamp(1.5rem, 4vw, 4rem)"
display = "flex"
flex_direction = "column"
justify_content = "center"
overflow = "auto"
}
rule rule_098 {
selector = ".wdoc-slide > *:last-child"
margin_bottom = "0"
}
rule rule_099 {
selector = ".wdoc-slide h1.wdoc-heading"
font_size = "3.5rem"
}
rule rule_100 {
selector = ".wdoc-slide h2.wdoc-heading"
font_size = "2.35rem"
}
rule rule_101 {
selector = ".wdoc-slide .wdoc-paragraph, .wdoc-slide .wdoc-callout, .wdoc-slide .wdoc-table"
font_size = "1.22rem"
}
rule rule_102 {
selector = ".wdoc-slide .wdoc-code"
max_height = "46vh"
}
rule rule_103 {
selector = ".wdoc-slide .wdoc-diagram svg"
max_height = "58vh"
}
media media_104 {
query = "(max-width: 768px)"
rule rule_105 {
selector = ".wdoc-nav"
display = "none"
}
rule rule_106 {
selector = ".wdoc-content"
margin_left = "0"
padding = "1rem"
}
rule rule_107 {
selector = ".wdoc-site-header-inner, .wdoc-site-nav > *, .wdoc-site-main, .wdoc-site-footer"
padding_left = "1rem"
padding_right = "1rem"
}
rule rule_108 {
selector = ".wdoc-site-hero"
min_height = "18rem"
padding = "2rem 1rem"
}
rule rule_109 {
selector = ".wdoc-site-hero h1"
font_size = "2.25rem"
}
rule rule_110 {
selector = ".wdoc-vsplit"
flex_direction = "column"
}
rule rule_111 {
selector = ".wdoc-split"
flex = "1 1 auto !important"
}
rule rule_112 {
selector = "body.wdoc-template-presentation"
overflow = "auto"
}
rule rule_113 {
selector = ".wdoc-slide"
width = "100%"
height = "auto"
min_height = "100vh"
padding = "1rem"
}
rule rule_114 {
selector = ".wdoc-slide h1.wdoc-heading"
font_size = "2.25rem"
}
rule rule_115 {
selector = ".wdoc-slide h2.wdoc-heading"
font_size = "1.65rem"
}
rule rule_116 {
selector = ".wdoc-slide .wdoc-paragraph, .wdoc-slide .wdoc-callout, .wdoc-slide .wdoc-table"
font_size = "1rem"
}
}
}