layout/

query.rs

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/. */

//! Utilities for querying the layout, as needed by layout.
use std::borrow::Cow;
use std::cell::LazyCell;
use std::ops::Deref;
use std::rc::Rc;
use std::sync::Arc;

use app_units::Au;
use bitflags::bitflags;
use embedder_traits::UntrustedNodeAddress;
use euclid::{Point2D, Rect, Size2D};
use layout_api::{
    AxesOverflow, BoxAreaType, CSSPixelRectVec, DangerousStyleElementOf, LayoutElement,
    LayoutElementType, LayoutNode, LayoutNodeType, OffsetParentResponse, ScrollContainerQueryFlags,
    ScrollContainerResponse,
};
use paint_api::display_list::ScrollTree;
use script::layout_dom::ServoLayoutNode;
use servo_arc::Arc as ServoArc;
use servo_base::text::Utf32CodeUnits;
use servo_geometry::{FastLayoutTransform, au_rect_to_f32_rect, f32_rect_to_au_rect};
use servo_url::ServoUrl;
use style::Zero;
use style::computed_values::display::T as Display;
use style::computed_values::position::T as Position;
use style::computed_values::visibility::T as Visibility;
use style::computed_values::white_space_collapse::T as WhiteSpaceCollapseValue;
use style::context::{QuirksMode, SharedStyleContext, StyleContext, ThreadLocalStyleContext};
use style::dom::{NodeInfo, OpaqueNode};
use style::properties::style_structs::Font;
use style::properties::{
    ComputedValues, Importance, LonghandId, PropertyDeclarationBlock, PropertyDeclarationId,
    PropertyId, ShorthandId, SourcePropertyDeclaration, parse_one_declaration_into,
};
use style::selector_parser::PseudoElement;
use style::shared_lock::SharedRwLock;
use style::stylesheets::{CssRuleType, Origin, UrlExtraData};
use style::stylist::RuleInclusion;
use style::traversal::resolve_style;
use style::values::computed::transform::Matrix3D;
use style::values::computed::{Float, Size};
use style::values::generics::font::LineHeight;
use style::values::generics::position::AspectRatio;
use style::values::specified::GenericGridTemplateComponent;
use style::values::specified::box_::DisplayInside;
use style_traits::{CSSPixel, ParsingMode, ToCss};
use webrender_api::units::LayoutPixel;

use crate::cell::RefOrAtomicRef;
use crate::display_list::{ClosestFragmentSearch, StackingContextTree, au_rect_to_length_rect};
use crate::dom::NodeExt;
use crate::flow::inline::text_transform::TextTransformationIterator;
use crate::fragment_tree::{
    BoxFragment, Fragment, FragmentFlags, FragmentTree, SpecificLayoutInfo,
};
use crate::geom::{AuOrAuto, LengthPercentageOrAuto, PhysicalRect, PhysicalSides};
use crate::layout_impl::LayoutThread;
use crate::style_ext::ComputedValuesExt;
use crate::taffy::SpecificTaffyGridInfo;

/// Calculate the cumulative transform from the root scroll node for `fragments`.
fn root_transform_for_fragments(
    scroll_tree: &ScrollTree,
    fragments: &[Fragment],
) -> Option<FastLayoutTransform> {
    let box_fragment = fragments
        .first()
        .and_then(Fragment::retrieve_box_fragment)?;
    let scroll_tree_node_id = box_fragment.spatial_tree_node()?;
    Some(scroll_tree.cumulative_node_to_root_transform(scroll_tree_node_id))
}

pub(crate) fn process_padding_request(node: ServoLayoutNode<'_>) -> Option<PhysicalSides<Au>> {
    let fragments = node.fragments_for_pseudo(None);
    let fragment = fragments.first()?;
    Some(
        fragment
            .retrieve_box_fragment()
            .map(|box_fragment| box_fragment.padding)
            .unwrap_or_default(),
    )
}

bitflags! {
    #[derive(Clone, Copy)]
    pub(crate) struct BoxAreaInclusion: u8 {
        const Transforms = 1 << 0;
        const Inlines = 1 << 1;
    }
}

pub(crate) fn process_box_area_request(
    layout_thread: &LayoutThread,
    stacking_context_tree: &StackingContextTree,
    node: ServoLayoutNode<'_>,
    area: BoxAreaType,
    inclusion: BoxAreaInclusion,
) -> Option<Rect<Au, CSSPixel>> {
    // Borrow fragments to avoid cloning on this hot path for accessibility and
    // `getBoundingClientRect()`.
    node.with_fragments(|fragments| {
        let mut rects = fragments
            .iter()
            .filter(|fragment| {
                inclusion.contains(BoxAreaInclusion::Inlines) ||
                    fragment
                        .retrieve_box_fragment()
                        .is_none_or(|fragment| !fragment.with_style().is_inline_box())
            })
            .filter_map(|node| node.cumulative_box_area_rect(area, layout_thread.into()))
            .peekable();

        rects.peek()?;
        let rect_union = rects.fold(Rect::zero(), |unioned_rect, rect| rect.union(&unioned_rect));

        if !inclusion.contains(BoxAreaInclusion::Transforms) {
            return Some(rect_union);
        }

        let Some(transform) =
            root_transform_for_fragments(&stacking_context_tree.paint_info.scroll_tree, fragments)
        else {
            return Some(Rect::new(rect_union.origin, Size2D::zero()));
        };

        transform_au_rectangle(rect_union, transform)
    })?
}

pub(crate) fn process_box_areas_request(
    layout_thread: &LayoutThread,
    stacking_context_tree: &StackingContextTree,
    node: ServoLayoutNode<'_>,
    area: BoxAreaType,
) -> CSSPixelRectVec {
    let fragments = node.fragments_for_pseudo(None);
    let transform =
        root_transform_for_fragments(&stacking_context_tree.paint_info.scroll_tree, &fragments);

    let rects = fragments
        .into_iter()
        .filter_map(move |fragment| fragment.cumulative_box_area_rect(area, layout_thread.into()));

    let Some(transform) = transform else {
        return rects
            .map(|rect| Rect::new(rect.origin, Size2D::zero()))
            .collect();
    };

    rects
        .filter_map(move |rect| transform_au_rectangle(rect, transform))
        .collect()
}

pub fn process_client_rect_request(node: ServoLayoutNode<'_>) -> Rect<i32, CSSPixel> {
    node.fragments_for_pseudo(None)
        .first()
        .map(Fragment::client_rect)
        .unwrap_or_default()
}

/// Process a query for the current CSS zoom of an element.
/// <https://drafts.csswg.org/cssom-view/#dom-element-currentcsszoom>
///
/// Returns the effective zoom of the element, which is the product of all zoom
/// values from the element up to the root. Returns 1.0 if the element is not
/// being rendered (has no associated box).
pub fn process_current_css_zoom_query(node: ServoLayoutNode<'_>) -> f32 {
    let Some(layout_data) = node.inner_layout_data() else {
        return 1.0;
    };
    let layout_box = layout_data.self_box.borrow();
    let Some(layout_box) = layout_box.as_ref() else {
        return 1.0;
    };
    layout_box
        .with_base(|base| base.style.effective_zoom.value())
        .unwrap_or(1.0)
}

/// <https://drafts.csswg.org/cssom-view/#scrolling-area>
pub fn process_node_scroll_area_request(
    layout_thread: &LayoutThread,
    requested_node: Option<ServoLayoutNode<'_>>,
    fragment_tree: Option<Rc<FragmentTree>>,
) -> Rect<i32, CSSPixel> {
    let Some(tree) = fragment_tree else {
        return Rect::zero();
    };

    let rect = match requested_node {
        Some(node) => node
            .fragments_for_pseudo(None)
            .first()
            .map(|fragment| fragment.scrolling_area(layout_thread))
            .unwrap_or_default(),
        None => tree
            .scrollable_overflow()
            .union(&tree.initial_containing_block),
    };

    Rect::new(
        rect.origin.map(Au::to_f32_px),
        rect.size.to_vector().map(Au::to_f32_px).to_size(),
    )
    .round()
    .to_i32()
}

/// Return the resolved value of property for a given (pseudo)element.
/// <https://drafts.csswg.org/cssom/#resolved-value>
pub fn process_resolved_style_request(
    context: &SharedStyleContext,
    initial_containing_block: Option<&PhysicalRect<Au>>,
    node: ServoLayoutNode<'_>,
    pseudo: &Option<PseudoElement>,
    property: &PropertyId,
) -> String {
    if node
        .as_element()
        .is_none_or(|element| element.style_data().is_none())
    {
        return process_resolved_style_request_for_unstyled_node(context, node, pseudo, property);
    }

    // We call process_resolved_style_request after performing a whole-document
    // traversal, so in the common case, the element is styled.
    let layout_element = node.as_element().unwrap();
    let layout_element = match pseudo {
        Some(pseudo_element_type) => {
            match layout_element.with_pseudo(*pseudo_element_type) {
                Some(layout_element) => layout_element,
                None => {
                    // The pseudo doesn't exist, return nothing.  Chrome seems to query
                    // the element itself in this case, Firefox uses the resolved value.
                    // https://www.w3.org/Bugs/Public/show_bug.cgi?id=29006
                    return String::new();
                },
            }
        },
        None => layout_element,
    };
    let node = layout_element.as_node();

    let style = &*layout_element.style(context);
    let longhand_id = match *property {
        PropertyId::NonCustom(id) => match id.longhand_or_shorthand() {
            Ok(longhand_id) => longhand_id,
            Err(shorthand_id) => return shorthand_to_css_string(shorthand_id, style),
        },
        PropertyId::Custom(ref name) => {
            return style.computed_value_to_string(PropertyDeclarationId::Custom(name));
        },
    }
    .to_physical(style.writing_mode);

    // From <https://drafts.csswg.org/css-transforms-2/#serialization-of-the-computed-value>
    let serialize_transform_value = |box_fragment: Option<&BoxFragment>| -> Result<String, ()> {
        let transform_list = &style.get_box().transform;

        // > When the computed value is a <transform-list>, the resolved value is one
        // > <matrix()> function or one <matrix3d()> function computed by the following
        // > algorithm:
        if transform_list.0.is_empty() {
            return Ok("none".into());
        }

        // > 1. Let transform be a 4x4 matrix initialized to the identity matrix. The
        // >    elements m11, m22, m33 and m44 of transform must be set to 1; all other
        // >    elements of transform must be set to 0.
        // > 2. Post-multiply all <transform-function>s in <transform-list> to transform.
        let length_rect = box_fragment
            .map(|box_fragment| au_rect_to_length_rect(&box_fragment.border_rect()).to_untyped());
        let (transform, is_3d) = transform_list.to_transform_3d_matrix(length_rect.as_ref())?;

        // > 3. Chose between <matrix()> or <matrix3d()> serialization:
        // >   ↪ If transform is a 2D matrix: Serialize transform to a <matrix()> function.
        // >   ↪ Otherwise: Serialize transform to a <matrix3d()> function. Chose between
        // >     <matrix()> or <matrix3d()> serialization:
        let matrix = Matrix3D::from(transform);
        if !is_3d {
            Ok(matrix.into_2d()?.to_css_string())
        } else {
            Ok(matrix.to_css_string())
        }
    };

    let computed_style = |fragment: Option<&Fragment>| match longhand_id {
        LonghandId::MinWidth
            if style.get_min_width() == &Size::Auto &&
                !should_honor_min_size_auto(fragment, style) =>
        {
            String::from("0px")
        },
        LonghandId::MinHeight
            if style.get_min_height() == &Size::Auto &&
                !should_honor_min_size_auto(fragment, style) =>
        {
            String::from("0px")
        },
        LonghandId::Transform => match serialize_transform_value(None) {
            Ok(value) => value,
            Err(..) => style.computed_value_to_string(PropertyDeclarationId::Longhand(longhand_id)),
        },
        _ => style.computed_value_to_string(PropertyDeclarationId::Longhand(longhand_id)),
    };

    // https://drafts.csswg.org/cssom/#dom-window-getcomputedstyle
    // Here we are trying to conform to the specification that says that getComputedStyle
    // should return the used values in certain circumstances. For size and positional
    // properties we might need to walk the Fragment tree to figure those out. We always
    // fall back to returning the computed value.

    // For line height, the resolved value is the computed value if it
    // is "normal" and the used value otherwise.
    if longhand_id == LonghandId::LineHeight {
        let font = style.get_font();
        let font_size = font.font_size.computed_size();
        return match font.line_height {
            // There could be a fragment, but it's only interesting for `min-width` and `min-height`,
            // so just pass None.
            LineHeight::Normal => computed_style(None),
            LineHeight::Number(value) => (font_size * value.0).to_css_string(),
            LineHeight::Length(value) => value.0.to_css_string(),
        };
    }

    // https://drafts.csswg.org/cssom/#dom-window-getcomputedstyle
    // The properties that we calculate below all resolve to the computed value
    // when the element is display:none or display:contents.
    let display = style.get_box().display;
    if display.is_none() || display.is_contents() {
        return computed_style(None);
    }

    let resolve_for_fragment = |fragment: &Fragment| {
        if let Some(box_fragment) = fragment.retrieve_box_fragment() &&
            let Some(initial_containing_block) = initial_containing_block &&
            matches!(
                longhand_id,
                LonghandId::Top | LonghandId::Right | LonghandId::Bottom | LonghandId::Left,
            ) &&
            let Some(insets) = box_fragment.resolved_insets_for_non_static(
                node,
                style,
                initial_containing_block,
            )
        {
            match longhand_id {
                LonghandId::Top => return insets.top.to_css_string(),
                LonghandId::Right => return insets.right.to_css_string(),
                LonghandId::Bottom => return insets.bottom.to_css_string(),
                LonghandId::Left => return insets.left.to_css_string(),
                _ => unreachable!("Should be impossible by matches! above"),
            }
        }

        // If we can compute the string do it, but otherwise fallback to a cruder
        // serialization of the value.
        if let Some(box_fragment) = fragment.retrieve_box_fragment() &&
            longhand_id == LonghandId::Transform &&
            let Ok(string) = serialize_transform_value(Some(&box_fragment))
        {
            return string;
        }

        if !matches!(
            fragment,
            Fragment::LayoutRoot(..) | Fragment::Box(..) | Fragment::Positioning(..)
        ) {
            return computed_style(Some(fragment));
        }

        // https://drafts.csswg.org/css-grid/#resolved-track-list
        // > The grid-template-rows and grid-template-columns properties are
        // > resolved value special case properties.
        //
        // > When an element generates a grid container box...
        let specific_layout_info = fragment
            .retrieve_box_fragment()
            .and_then(|box_fragment| box_fragment.specific_layout_info().as_deref().cloned());
        if display.inside() == DisplayInside::Grid &&
            let Some(SpecificLayoutInfo::Grid(info)) = specific_layout_info &&
            let Some(value) = resolve_grid_template(&info, style, longhand_id)
        {
            return value;
        }

        // https://drafts.csswg.org/cssom/#resolved-value-special-case-property-like-height
        // > If the property applies to the element or pseudo-element and the resolved value of the
        // > display property is not none or contents, then the resolved value is the used value.
        // > Otherwise the resolved value is the computed value.
        //
        // However, all browsers ignore that for margin and padding properties, and resolve to a length
        // even if the property doesn't apply: https://github.com/w3c/csswg-drafts/issues/10391
        let content_rect =
            LazyCell::new(|| fragment.base().map(|base| base.rect()).unwrap_or_default());
        let margins = LazyCell::new(|| {
            fragment
                .retrieve_box_fragment()
                .map(|fragment| fragment.margin)
                .unwrap_or_default()
        });
        let padding = LazyCell::new(|| {
            fragment
                .retrieve_box_fragment()
                .map(|fragment| fragment.padding)
                .unwrap_or_default()
        });
        match longhand_id {
            LonghandId::Width if resolved_size_should_be_used_value(fragment) => {
                content_rect.size.width
            },
            LonghandId::Height if resolved_size_should_be_used_value(fragment) => {
                content_rect.size.height
            },
            LonghandId::MarginBottom => margins.bottom,
            LonghandId::MarginTop => margins.top,
            LonghandId::MarginLeft => margins.left,
            LonghandId::MarginRight => margins.right,
            LonghandId::PaddingBottom => padding.bottom,
            LonghandId::PaddingTop => padding.top,
            LonghandId::PaddingLeft => padding.left,
            LonghandId::PaddingRight => padding.right,
            _ => return computed_style(Some(fragment)),
        }
        .to_css_string()
    };

    node.fragments_for_pseudo(*pseudo)
        .first()
        .map(resolve_for_fragment)
        .unwrap_or_else(|| computed_style(None))
}

fn resolved_size_should_be_used_value(fragment: &Fragment) -> bool {
    // https://drafts.csswg.org/css-sizing-3/#preferred-size-properties
    // > Applies to: all elements except non-replaced inlines
    match fragment {
        Fragment::LayoutRoot(layout_root) => {
            resolved_size_should_be_used_value(&layout_root.inner())
        },
        Fragment::Box(box_fragment) => !box_fragment.with_style().is_inline_box(),
        Fragment::Float(_) |
        Fragment::Positioning(_) |
        Fragment::AbsoluteOrFixedPositionedPlaceholder(_) |
        Fragment::Image(_) |
        Fragment::IFrame(_) => true,
        Fragment::Text(_) => false,
    }
}

fn should_honor_min_size_auto(fragment: Option<&Fragment>, style: &ComputedValues) -> bool {
    // <https://drafts.csswg.org/css-sizing-3/#automatic-minimum-size>
    // For backwards-compatibility, the resolved value of an automatic minimum size is zero
    // for boxes of all CSS2 display types: block and inline boxes, inline blocks, and all
    // the table layout boxes. It also resolves to zero when no box is generated.
    //
    // <https://github.com/w3c/csswg-drafts/issues/11716>
    // However, when a box is generated and `aspect-ratio` isn't `auto`, we need to preserve
    // the automatic minimum size as `auto`.
    let Some(box_fragment) = fragment.and_then(|fragment| fragment.retrieve_box_fragment()) else {
        return false;
    };
    let flags = box_fragment.base.flags;
    flags.contains(FragmentFlags::IS_FLEX_OR_GRID_ITEM) ||
        style.get_aspect_ratio() != &AspectRatio::auto()
}

fn resolve_grid_template(
    grid_info: &SpecificTaffyGridInfo,
    style: &ComputedValues,
    longhand_id: LonghandId,
) -> Option<String> {
    let (track_info, computed_value) = match longhand_id {
        LonghandId::GridTemplateRows => (
            &grid_info.info.rows,
            &style.get_position().grid_template_rows,
        ),
        LonghandId::GridTemplateColumns => (
            &grid_info.info.columns,
            &style.get_position().grid_template_columns,
        ),
        _ => return None,
    };

    match computed_value {
        // <https://drafts.csswg.org/css-grid/#resolved-track-list-standalone>
        // > When an element generates a grid container box, the resolved value of its grid-template-rows or
        // > grid-template-columns property in a standalone axis is the used value, serialized with:
        GenericGridTemplateComponent::None | GenericGridTemplateComponent::TrackList(_) => {
            (!track_info.positions.is_empty()).then(|| track_info.to_track_list_string(1.0))
        },

        // <https://drafts.csswg.org/css-grid/#resolved-track-list-subgrid>
        // > When an element generates a grid container box that is a subgrid, the resolved value of the
        // > grid-template-rows and grid-template-columns properties represents the used number of columns,
        // > serialized as the subgrid keyword followed by a list representing each of its lines as a
        // > line name set of all the line’s names explicitly defined on the subgrid (not including those
        // > adopted from the parent grid), without using the repeat() notation.
        // TODO: implement subgrid
        GenericGridTemplateComponent::Subgrid(_) => None,
    }
}

#[expect(unsafe_code)]
pub fn process_resolved_style_request_for_unstyled_node(
    context: &SharedStyleContext,
    node: ServoLayoutNode<'_>,
    pseudo: &Option<PseudoElement>,
    property: &PropertyId,
) -> String {
    // In a display: none subtree. No pseudo-element exists.
    if pseudo.is_some() {
        return String::new();
    }

    let mut tlc = ThreadLocalStyleContext::new();
    let mut context = StyleContext {
        shared: context,
        thread_local: &mut tlc,
    };

    let element = node.as_element().unwrap();
    let styles = resolve_style(
        &mut context,
        unsafe { element.dangerous_style_element() },
        RuleInclusion::All,
        pseudo.as_ref(),
        None,
    );
    let style = styles.primary();
    let longhand_id = match *property {
        PropertyId::NonCustom(id) => match id.longhand_or_shorthand() {
            Ok(longhand_id) => longhand_id,
            Err(shorthand_id) => return shorthand_to_css_string(shorthand_id, style),
        },
        PropertyId::Custom(ref name) => {
            return style.computed_value_to_string(PropertyDeclarationId::Custom(name));
        },
    };

    match longhand_id {
        // <https://drafts.csswg.org/css-sizing-3/#automatic-minimum-size>
        // The resolved value of an automatic minimum size is zero when no box is generated.
        LonghandId::MinWidth if style.get_min_width() == &Size::Auto => String::from("0px"),
        LonghandId::MinHeight if style.get_min_height() == &Size::Auto => String::from("0px"),

        // No need to care about used values here, since we're on a display: none
        // subtree, use the computed value.
        _ => style.computed_value_to_string(PropertyDeclarationId::Longhand(longhand_id)),
    }
}

fn shorthand_to_css_string(
    id: style::properties::ShorthandId,
    style: &style::properties::ComputedValues,
) -> String {
    use style::values::resolved::Context;
    let mut block = PropertyDeclarationBlock::new();
    let mut dest = String::new();
    for longhand in id.longhands() {
        block.push(
            style.computed_or_resolved_declaration(
                longhand,
                Some(&mut Context {
                    style,
                    for_property: PropertyId::NonCustom(longhand.into()),
                    current_longhand: None,
                }),
            ),
            Importance::Normal,
        );
    }
    match block.shorthand_to_css(id, &mut dest) {
        Ok(_) => dest,
        Err(_) => String::new(),
    }
}

struct OffsetParentFragments {
    parent: Arc<BoxFragment>,
    grandparent: Option<Fragment>,
}

impl OffsetParentFragments {
    fn grandparent_box_fragment(&self) -> Option<RefOrAtomicRef<'_, Arc<BoxFragment>>> {
        self.grandparent
            .as_ref()
            .and_then(|grandparent| grandparent.retrieve_box_fragment())
    }
}
/// <https://www.w3.org/TR/2016/WD-cssom-view-1-20160317/#dom-htmlelement-offsetparent>
#[expect(unsafe_code)]
fn offset_parent_fragments(node: ServoLayoutNode<'_>) -> Option<OffsetParentFragments> {
    // 1. If any of the following holds true return null and terminate this algorithm:
    //  * The element does not have an associated CSS layout box.
    //  * The element is the root element.
    //  * The element is the HTML body element.
    //  * The element’s computed value of the position property is fixed.
    let fragment = node.fragments_for_pseudo(None).first().cloned()?;
    let flags = fragment.base()?.flags;
    if flags.intersects(
        FragmentFlags::IS_ROOT_ELEMENT | FragmentFlags::IS_BODY_ELEMENT_OF_HTML_ELEMENT_ROOT,
    ) {
        return None;
    }

    if fragment
        .retrieve_box_fragment()
        .is_some_and(|fragment| fragment.style().get_box().position == Position::Fixed)
    {
        return None;
    }

    // 2.  Return the nearest ancestor element of the element for which at least one of
    //     the following is true and terminate this algorithm if such an ancestor is found:
    //  * The computed value of the position property is not static.
    //  * It is the HTML body element.
    //  * The computed value of the position property of the element is static and the
    //    ancestor is one of the following HTML elements: td, th, or table.
    let mut maybe_parent_node = unsafe { node.dangerous_dom_parent() };
    while let Some(parent_node) = maybe_parent_node {
        maybe_parent_node = unsafe { parent_node.dangerous_dom_parent() };

        if let Some(parent_fragment) = parent_node.fragments_for_pseudo(None).first() {
            let Some(parent_fragment) = parent_fragment.retrieve_box_fragment() else {
                continue;
            };

            let grandparent_fragment =
                maybe_parent_node.and_then(|node| node.fragments_for_pseudo(None).first().cloned());

            if parent_fragment.style().get_box().position != Position::Static {
                return Some(OffsetParentFragments {
                    parent: parent_fragment.clone(),
                    grandparent: grandparent_fragment,
                });
            }

            let flags = parent_fragment.base.flags;
            if flags.intersects(
                FragmentFlags::IS_BODY_ELEMENT_OF_HTML_ELEMENT_ROOT |
                    FragmentFlags::IS_TABLE_TH_OR_TD_ELEMENT,
            ) {
                return Some(OffsetParentFragments {
                    parent: parent_fragment.clone(),
                    grandparent: grandparent_fragment,
                });
            }
        }
    }

    None
}

#[inline]
pub fn process_offset_parent_query(
    layout_thread: &LayoutThread,
    scroll_tree: &ScrollTree,
    node: ServoLayoutNode<'_>,
) -> Option<OffsetParentResponse> {
    // Only consider the first fragment of the node found as per a
    // possible interpretation of the specification: "[...] return the
    // y-coordinate of the top border edge of the first CSS layout box
    // associated with the element [...]"
    //
    // FIXME: Browsers implement this all differently (e.g., [1]) -
    // Firefox does returns the union of all layout elements of some
    // sort. Chrome returns the first fragment for a block element (the
    // same as ours) or the union of all associated fragments in the
    // first containing block fragment for an inline element. We could
    // implement Chrome's behavior, but our fragment tree currently
    // provides insufficient information.
    //
    // [1]: https://github.com/w3c/csswg-drafts/issues/4541
    // > 1. If the element is the HTML body element or does not have any associated CSS
    //      layout box return zero and terminate this algorithm.
    let fragment = node.fragments_for_pseudo(None).first().cloned()?;
    let mut border_box =
        fragment.cumulative_box_area_rect(BoxAreaType::Border, layout_thread.into())?;
    let cumulative_sticky_offsets = fragment
        .retrieve_box_fragment()
        .and_then(|box_fragment| box_fragment.spatial_tree_node())
        .map(|node_id| {
            scroll_tree
                .cumulative_sticky_offsets(node_id)
                .map(Au::from_f32_px)
                .cast_unit()
        });
    border_box = border_box.translate(cumulative_sticky_offsets.unwrap_or_default());

    // 2.  If the offsetParent of the element is null return the x-coordinate of the left
    //     border edge of the first CSS layout box associated with the element, relative to
    //     the initial containing block origin, ignoring any transforms that apply to the
    //     element and its ancestors, and terminate this algorithm.
    let Some(offset_parent_fragment) = offset_parent_fragments(node) else {
        return Some(OffsetParentResponse {
            node_address: None,
            rect: border_box,
        });
    };

    let parent_fragment = &offset_parent_fragment.parent;
    let parent_is_static_body_element = parent_fragment
        .base
        .flags
        .contains(FragmentFlags::IS_BODY_ELEMENT_OF_HTML_ELEMENT_ROOT) &&
        parent_fragment.style().get_box().position == Position::Static;

    // For `offsetLeft`:
    // 3. Return the result of subtracting the y-coordinate of the top padding edge of the
    //    first CSS layout box associated with the offsetParent of the element from the
    //    y-coordinate of the top border edge of the first CSS layout box associated with the
    //    element, relative to the initial containing block origin, ignoring any transforms
    //    that apply to the element and its ancestors.
    //
    // We generalize this for `offsetRight` as described in the specification.
    //
    // The spec (https://www.w3.org/TR/cssom-view-1/#extensions-to-the-htmlelement-interface)
    // says that offsetTop/offsetLeft are always relative to the padding box of the offsetParent.
    // However, in practice this is not true in major browsers in the case that the offsetParent is the body
    // element and the body element is position:static. In that case offsetLeft/offsetTop are computed
    // relative to the root node's border box.
    //
    // See <https://github.com/w3c/csswg-drafts/issues/10549>.
    let parent_offset_rect = if parent_is_static_body_element {
        if let Some(grandparent_fragment) = offset_parent_fragment.grandparent_box_fragment() {
            grandparent_fragment.offset_by_cumulative_content_offset(
                &grandparent_fragment.border_rect(),
                layout_thread.into(),
            )
        } else {
            parent_fragment.offset_by_cumulative_content_offset(
                &parent_fragment.padding_rect(),
                layout_thread.into(),
            )
        }
    } else {
        parent_fragment.offset_by_cumulative_content_offset(
            &parent_fragment.padding_rect(),
            layout_thread.into(),
        )
    }
    .translate(
        cumulative_sticky_offsets
            .and_then(|_| parent_fragment.spatial_tree_node())
            .map(|node_id| {
                scroll_tree
                    .cumulative_sticky_offsets(node_id)
                    .map(Au::from_f32_px)
                    .cast_unit()
            })
            .unwrap_or_default(),
    );

    border_box = border_box.translate(-parent_offset_rect.origin.to_vector());

    Some(OffsetParentResponse {
        node_address: parent_fragment.base.tag.map(|tag| tag.node.into()),
        rect: border_box,
    })
}

fn is_containing_block_for_position(
    position: Position,
    ancestor_style: &ServoArc<ComputedValues>,
    ancestor_flags: FragmentFlags,
) -> bool {
    match position {
        Position::Static | Position::Relative | Position::Sticky => {
            !ancestor_style.is_inline_box(ancestor_flags)
        },
        Position::Absolute => {
            ancestor_style.establishes_containing_block_for_absolute_descendants(ancestor_flags)
        },
        Position::Fixed => {
            ancestor_style.establishes_containing_block_for_all_descendants(ancestor_flags)
        },
    }
}

fn containing_block_for_node<'a>(node: ServoLayoutNode<'a>) -> Option<ServoLayoutNode<'a>> {
    let node_style = node.with_layout_box_base(|base| base.style.clone())?;
    let position = node_style.get_box().position;
    let mut current_ancestor = node;

    #[expect(unsafe_code)]
    while let Some(ancestor) =
        unsafe { current_ancestor.dangerous_flat_tree_parent_considering_pseudos() }
    {
        current_ancestor = ancestor;

        let Some((ancestor_style, ancestor_flags)) = ancestor
            .with_layout_box_base(|base| (base.style.clone(), base.base_fragment_info.flags))
        else {
            continue;
        };

        if is_containing_block_for_position(position, &ancestor_style, ancestor_flags) {
            return Some(ancestor);
        }
    }
    None
}

fn containing_block_fragment(
    node: ServoLayoutNode,
    fragment: &BoxFragment,
) -> Option<Arc<BoxFragment>> {
    let containing_block_node = containing_block_for_node(node)?;
    containing_block_node.with_layout_box_base(|layout_box_base| {
        let fragments = layout_box_base.fragments();

        // When there is more than a single fragment the containing block has been fragmented,
        // so we need to search for the fragment that contains the one we are looking for.
        if fragments.len() > 1 {
            for potential_fragment in fragments.iter() {
                if let Some(potential_box_fragment) = potential_fragment.retrieve_box_fragment() &&
                    potential_box_fragment
                        .children
                        .iter()
                        .any(|child_fragment| child_fragment.is_box_fragment(fragment))
                {
                    return Some(potential_box_fragment.clone());
                }
            }
        }

        // Fall back to the first fragment which is necessary for the case of inline
        // formatting contexts which establish containing blocks for their nested contents.
        Some(fragments.first()?.retrieve_box_fragment()?.clone())
    }).flatten()
}

/// An implementation of `scrollParent` that can also be used to for `scrollIntoView`:
/// <https://drafts.csswg.org/cssom-view/#dom-htmlelement-scrollparent>.
///
#[inline]
pub(crate) fn process_scroll_container_query(
    node: Option<ServoLayoutNode<'_>>,
    query_flags: ScrollContainerQueryFlags,
    viewport_overflow: AxesOverflow,
) -> Option<ScrollContainerResponse> {
    let Some(node) = node else {
        return Some(ScrollContainerResponse::Viewport(viewport_overflow));
    };

    // 1. If any of the following holds true, return null and terminate this algorithm:
    //  - The element does not have an associated box.
    let (style, flags) =
        node.with_layout_box_base(|base| (base.style.clone(), base.base_fragment_info.flags))?;

    // - The element is the root element.
    // - The element is the body element.
    //
    // Note: We only do this for `scrollParent`, which needs to be null. But `scrollIntoView` on the
    // `<body>` or root element should still bring it into view by scrolling the viewport.
    if query_flags.contains(ScrollContainerQueryFlags::ForScrollParent) &&
        flags.intersects(
            FragmentFlags::IS_ROOT_ELEMENT | FragmentFlags::IS_BODY_ELEMENT_OF_HTML_ELEMENT_ROOT,
        )
    {
        return None;
    }

    if query_flags.contains(ScrollContainerQueryFlags::Inclusive) &&
        style.establishes_scroll_container(flags)
    {
        return Some(ScrollContainerResponse::Element(
            node.opaque().into(),
            style.effective_overflow(flags),
        ));
    }

    // - The element’s computed value of the position property is fixed and no ancestor
    //   establishes a fixed position containing block.
    //
    // This is handled below in step 2.

    // 2. Let ancestor be the containing block of the element in the flat tree and repeat these substeps:
    // - If ancestor is the initial containing block, return the scrollingElement for the
    //   element’s document if it is not closed-shadow-hidden from the element, otherwise
    //   return null.
    // - If ancestor is not closed-shadow-hidden from the element, and is a scroll
    //   container, terminate this algorithm and return ancestor.
    // - If the computed value of the position property of ancestor is fixed, and no
    //   ancestor establishes a fixed position containing block, terminate this algorithm
    //   and return null.
    // - Let ancestor be the containing block of ancestor in the flat tree.
    //
    // Notes: We don't follow the specification exactly below, but we follow the spirit.
    //
    // TODO: Handle the situation where the ancestor is "closed-shadow-hidden" from the element.
    let mut current_position_value = style.get_box().position;
    let mut current_ancestor = node;

    #[expect(unsafe_code)]
    while let Some(ancestor) = unsafe { current_ancestor.dangerous_flat_tree_parent() } {
        current_ancestor = ancestor;

        let Some((ancestor_style, ancestor_flags)) = ancestor
            .with_layout_box_base(|base| (base.style.clone(), base.base_fragment_info.flags))
        else {
            continue;
        };

        if !is_containing_block_for_position(
            current_position_value,
            &ancestor_style,
            ancestor_flags,
        ) {
            continue;
        }

        if ancestor_style.establishes_scroll_container(ancestor_flags) {
            return Some(ScrollContainerResponse::Element(
                ancestor.opaque().into(),
                ancestor_style.effective_overflow(ancestor_flags),
            ));
        }

        current_position_value = ancestor_style.get_box().position;
    }

    match current_position_value {
        Position::Fixed => None,
        _ => Some(ScrollContainerResponse::Viewport(viewport_overflow)),
    }
}

/// <https://html.spec.whatwg.org/multipage/#get-the-text-steps>
pub fn get_the_text_steps(node: ServoLayoutNode<'_>) -> String {
    // Step 1: If element is not being rendered or if the user agent is a non-CSS user agent, then
    // return element's descendant text content.
    // This is taken care of in HTMLElement code

    // Step 2: Let results be a new empty list.
    let mut results = Vec::new();
    let mut max_req_line_break_count = 0;

    // Step 3: For each child node node of element:
    let mut state = Default::default();
    for child in node.dom_children() {
        // Step 1: Let current be the list resulting in running the rendered text collection steps with node.
        let mut current = rendered_text_collection_steps(child, &mut state);
        // Step 2: For each item item in current, append item to results.
        results.append(&mut current);
    }

    let mut output = String::new();
    for item in results {
        match item {
            InnerOrOuterTextItem::Text(s) => {
                // Step 3.
                if !s.is_empty() {
                    if max_req_line_break_count > 0 {
                        // Step 5.
                        output.extend(std::iter::repeat_n('\u{000A}', max_req_line_break_count));
                        max_req_line_break_count = 0;
                    }
                    output.push_str(&s);
                }
            },
            InnerOrOuterTextItem::RequiredLineBreakCount(count) => {
                // Step 4.
                if output.is_empty() {
                    // Remove required line break count at the start.
                    continue;
                }
                // Store the count if it's the max of this run, but it may be ignored if no text
                // item is found afterwards, which means that these are consecutive line breaks at
                // the end.
                if count > max_req_line_break_count {
                    max_req_line_break_count = count;
                }
            },
        }
    }
    output
}

enum InnerOrOuterTextItem {
    Text(Cow<'static, str>),
    RequiredLineBreakCount(usize),
}

#[derive(Clone)]
struct RenderedTextCollectionState {
    /// Used to make sure we don't add a `\n` before the first row
    first_table_row: bool,
    /// Used to make sure we don't add a `\t` before the first column
    first_table_cell: bool,
    /// Keeps track of whether we're inside a table, since there are special rules like ommiting everything that's not
    /// inside a TableCell/TableCaption
    within_table: bool,
    /// Determines whether we truncate leading whitespaces for normal nodes or not
    may_start_with_whitespace: bool,
    /// Is set whenever we truncated a white space char, used to prepend a single space before the next element,
    /// that way we truncate trailing white space without having to look ahead
    did_truncate_trailing_white_space: bool,
    /// Is set to true when we're rendering the children of TableCell/TableCaption elements, that way we render
    /// everything inside those as normal, while omitting everything that's in a Table but NOT in a Cell/Caption
    within_table_content: bool,
}

impl Default for RenderedTextCollectionState {
    fn default() -> Self {
        RenderedTextCollectionState {
            first_table_row: true,
            first_table_cell: true,
            may_start_with_whitespace: true,
            did_truncate_trailing_white_space: false,
            within_table: false,
            within_table_content: false,
        }
    }
}

/// <https://html.spec.whatwg.org/multipage/#rendered-text-collection-steps>
#[expect(unsafe_code)]
fn rendered_text_collection_steps(
    node: ServoLayoutNode<'_>,
    state: &mut RenderedTextCollectionState,
) -> Vec<InnerOrOuterTextItem> {
    // Step 1. Let items be the result of running the rendered text collection
    // steps with each child node of node in tree order,
    // and then concatenating the results to a single list.
    let mut items = vec![];
    if !node.is_connected() || !(node.is_element() || node.is_text_node()) {
        return items;
    }

    match node.type_id() {
        Some(LayoutNodeType::Text) => {
            if let Some(parent_node) = unsafe { node.dangerous_dom_parent() } {
                match parent_node.type_id() {
                    // Any text contained in these elements must be ignored.
                    Some(
                        LayoutNodeType::Element(LayoutElementType::HTMLCanvasElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLImageElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLIFrameElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLObjectElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLInputElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLTextAreaElement) |
                        LayoutNodeType::Element(LayoutElementType::HTMLMediaElement),
                    ) => {
                        return items;
                    },
                    // Select/Option/OptGroup elements are handled a bit differently.
                    // Basically: a Select can only contain Options or OptGroups, while
                    // OptGroups may also contain Options. Everything else gets ignored.
                    Some(LayoutNodeType::Element(LayoutElementType::HTMLOptGroupElement)) => {
                        if let Some(grandparent_node) =
                            unsafe { parent_node.dangerous_dom_parent() }
                        {
                            if !matches!(
                                grandparent_node.type_id(),
                                Some(LayoutNodeType::Element(
                                    LayoutElementType::HTMLSelectElement
                                ))
                            ) {
                                return items;
                            }
                        } else {
                            return items;
                        }
                    },
                    Some(LayoutNodeType::Element(LayoutElementType::HTMLSelectElement)) => {
                        return items;
                    },
                    _ => {},
                }

                // Tables are also a bit special, mainly by only allowing
                // content within TableCell or TableCaption elements once
                // we're inside a Table.
                if state.within_table && !state.within_table_content {
                    return items;
                }

                let Some(parent_element) = parent_node.as_element() else {
                    return items;
                };
                let Some(style_data) = parent_element.style_data() else {
                    return items;
                };

                let element_data = style_data.element_data.borrow();
                let Some(style) = element_data.styles.get_primary() else {
                    return items;
                };

                // Step 2: If node's computed value of 'visibility' is not 'visible', then return items.
                //
                // We need to do this check here on the Text fragment, if we did it on the element and
                // just skipped rendering all child nodes then there'd be no way to override the
                // visibility in a child node.
                if style.get_inherited_box().visibility != Visibility::Visible {
                    return items;
                }

                // Step 3: If node is not being rendered, then return items. For the purpose of this step,
                // the following elements must act as described if the computed value of the 'display'
                // property is not 'none':
                let display = style.get_box().display;
                if display == Display::None {
                    match parent_element.type_id() {
                        // Even if set to Display::None, Option/OptGroup elements need to
                        // be rendered.
                        Some(
                            LayoutNodeType::Element(LayoutElementType::HTMLOptGroupElement) |
                            LayoutNodeType::Element(LayoutElementType::HTMLOptionElement),
                        ) => {},
                        _ => {
                            return items;
                        },
                    }
                }

                let text_content = node.text_content();

                let white_space_collapse = style.get_white_space_collapse();
                let preserve_whitespace =
                    white_space_collapse == &WhiteSpaceCollapseValue::Preserve;
                let is_inline = matches!(
                    display,
                    Display::InlineBlock | Display::InlineFlex | Display::InlineGrid
                );

                // Now we need to decide on whether to remove beginning white space or not, this
                // is mainly decided by the elements we rendered before, but may be overwritten by the white-space
                // property.
                let trim_leading_white_space =
                    !preserve_whitespace && (state.may_start_with_whitespace || is_inline);
                // FIXME: This assumes the element always start at a word boundary. But can fail:
                // a<span style="text-transform: capitalize">b</span>c
                let on_word_boundary = true;

                // Step 4: If node is a Text node, then for each CSS text box produced by node, in
                // content order, compute the text of the box after application of the CSS
                // 'white-space' processing rules and 'text-transform' rules, set items to the list
                // of the resulting strings, and return items. The CSS 'white-space' processing
                // rules are slightly modified: collapsible spaces at the end of lines are always
                // collapsed, but they are only removed if the line is the last line of the block,
                // or it ends with a br element. Soft hyphens should be preserved.
                let mut transformed_text = String::with_capacity(text_content.len());
                for iteration in TextTransformationIterator::new(
                    &text_content,
                    style,
                    trim_leading_white_space,
                    on_word_boundary,
                ) {
                    transformed_text.extend(iteration.characters());
                }

                let is_preformatted_element =
                    white_space_collapse == &WhiteSpaceCollapseValue::Preserve;

                let is_final_character_whitespace = transformed_text
                    .chars()
                    .next_back()
                    .filter(char::is_ascii_whitespace)
                    .is_some();

                let is_first_character_whitespace = transformed_text
                    .chars()
                    .next()
                    .filter(char::is_ascii_whitespace)
                    .is_some();

                // By truncating trailing white space and then adding it back in once we
                // encounter another text node we can ensure no trailing white space for
                // normal text without having to look ahead
                if state.did_truncate_trailing_white_space && !is_first_character_whitespace {
                    items.push(InnerOrOuterTextItem::Text(Cow::Borrowed(" ")));
                };

                if !transformed_text.is_empty() {
                    // Here we decide whether to keep or truncate the final white
                    // space character, if there is one.
                    if is_final_character_whitespace && !is_preformatted_element {
                        state.may_start_with_whitespace = false;
                        state.did_truncate_trailing_white_space = true;
                        transformed_text.pop();
                    } else {
                        state.may_start_with_whitespace = is_final_character_whitespace;
                        state.did_truncate_trailing_white_space = false;
                    }
                    items.push(InnerOrOuterTextItem::Text(Cow::Owned(transformed_text)));
                }
            } else {
                // If we don't have a parent element then there's no style data available,
                // in this (pretty unlikely) case we just return the Text fragment as is.
                items.push(InnerOrOuterTextItem::Text(Cow::Owned(
                    node.text_content().deref().into(),
                )));
            }
        },
        Some(LayoutNodeType::Element(LayoutElementType::HTMLBRElement)) => {
            // Step 5: If node is a br element, then append a string containing a single U+000A
            // LF code point to items.
            state.did_truncate_trailing_white_space = false;
            state.may_start_with_whitespace = true;
            items.push(InnerOrOuterTextItem::Text(Cow::Borrowed("\u{000A}")));
        },
        _ => {
            // First we need to gather some infos to setup the various flags
            // before rendering the child nodes
            let Some(element) = node.as_element() else {
                return items;
            };
            let Some(style_data) = element.style_data() else {
                return items;
            };

            let element_data = style_data.element_data.borrow();
            let Some(style) = element_data.styles.get_primary() else {
                return items;
            };
            let inherited_box = style.get_inherited_box();

            if inherited_box.visibility != Visibility::Visible {
                // If the element is not visible, then we'll immediately render all children,
                // skipping all other processing.
                // We can't just stop here since a child can override a parents visibility.
                for child in node.dom_children() {
                    items.append(&mut rendered_text_collection_steps(child, state));
                }
                return items;
            }

            let style_box = style.get_box();
            let display = style_box.display;
            let mut surrounding_line_breaks = 0;

            // Treat absolutely positioned or floated elements like Block elements
            if style_box.position == Position::Absolute || style_box.float != Float::None {
                surrounding_line_breaks = 1;
            }

            // Depending on the display property we have to do various things
            // before we can render the child nodes.
            match display {
                Display::Table => {
                    surrounding_line_breaks = 1;
                    state.within_table = true;
                },
                // Step 6: If node's computed value of 'display' is 'table-cell',
                // and node's CSS box is not the last 'table-cell' box of its
                // enclosing 'table-row' box, then append a string containing
                // a single U+0009 TAB code point to items.
                Display::TableCell => {
                    if !state.first_table_cell {
                        items.push(InnerOrOuterTextItem::Text(Cow::Borrowed(
                            "\u{0009}", /* tab */
                        )));
                        // Make sure we don't add a white-space we removed from the previous node
                        state.did_truncate_trailing_white_space = false;
                    }
                    state.first_table_cell = false;
                    state.within_table_content = true;
                },
                // Step 7: If node's computed value of 'display' is 'table-row',
                // and node's CSS box is not the last 'table-row' box of the nearest
                // ancestor 'table' box, then append a string containing a single U+000A
                // LF code point to items.
                Display::TableRow => {
                    if !state.first_table_row {
                        items.push(InnerOrOuterTextItem::Text(Cow::Borrowed(
                            "\u{000A}", /* Line Feed */
                        )));
                        // Make sure we don't add a white-space we removed from the previous node
                        state.did_truncate_trailing_white_space = false;
                    }
                    state.first_table_row = false;
                    state.first_table_cell = true;
                },
                // Step 9: If node's used value of 'display' is block-level or 'table-caption',
                // then append 1 (a required line break count) at the beginning and end of items.
                Display::Block => {
                    surrounding_line_breaks = 1;
                },
                Display::TableCaption => {
                    surrounding_line_breaks = 1;
                    state.within_table_content = true;
                },
                // InlineBlock's are a bit strange, in that they don't produce a Linebreak, yet
                // disable white space truncation before and after it, making it one of the few
                // cases where one can have multiple white space characters following one another.
                Display::InlineFlex | Display::InlineGrid | Display::InlineBlock
                    if state.did_truncate_trailing_white_space =>
                {
                    items.push(InnerOrOuterTextItem::Text(Cow::Borrowed(" ")));
                    state.did_truncate_trailing_white_space = false;
                    state.may_start_with_whitespace = true;
                },
                _ => {},
            }

            match node.type_id() {
                // Step 8: If node is a p element, then append 2 (a required line break count) at
                // the beginning and end of items.
                Some(LayoutNodeType::Element(LayoutElementType::HTMLParagraphElement)) => {
                    surrounding_line_breaks = 2;
                },
                // Option/OptGroup elements should go on separate lines, by treating them like
                // Block elements we can achieve that.
                Some(
                    LayoutNodeType::Element(LayoutElementType::HTMLOptionElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLOptGroupElement),
                ) => {
                    surrounding_line_breaks = 1;
                },
                _ => {},
            }

            if surrounding_line_breaks > 0 {
                items.push(InnerOrOuterTextItem::RequiredLineBreakCount(
                    surrounding_line_breaks,
                ));
                state.did_truncate_trailing_white_space = false;
                state.may_start_with_whitespace = true;
            }

            match node.type_id() {
                // Any text/content contained in these elements is ignored.
                // However we still need to check whether we have to prepend a
                // space, since for example <span>asd <input> qwe</span> must
                // product "asd  qwe" (note the 2 spaces)
                Some(
                    LayoutNodeType::Element(LayoutElementType::HTMLCanvasElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLImageElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLIFrameElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLObjectElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLInputElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLTextAreaElement) |
                    LayoutNodeType::Element(LayoutElementType::HTMLMediaElement),
                ) => {
                    if display != Display::Block && state.did_truncate_trailing_white_space {
                        items.push(InnerOrOuterTextItem::Text(Cow::Borrowed(" ")));
                        state.did_truncate_trailing_white_space = false;
                    };
                    state.may_start_with_whitespace = false;
                },
                _ => {
                    // Now we can finally iterate over all children, appending whatever
                    // they produce to items.
                    for child in node.dom_children() {
                        items.append(&mut rendered_text_collection_steps(child, state));
                    }
                },
            }

            // Depending on the display property we still need to do some
            // cleanup after rendering all child nodes
            match display {
                Display::InlineFlex | Display::InlineGrid | Display::InlineBlock => {
                    state.did_truncate_trailing_white_space = false;
                    state.may_start_with_whitespace = false;
                },
                Display::Table => {
                    state.within_table = false;
                },
                Display::TableCell | Display::TableCaption => {
                    state.within_table_content = false;
                },
                _ => {},
            }

            if surrounding_line_breaks > 0 {
                items.push(InnerOrOuterTextItem::RequiredLineBreakCount(
                    surrounding_line_breaks,
                ));
                state.did_truncate_trailing_white_space = false;
                state.may_start_with_whitespace = true;
            }
        },
    };
    items
}

pub fn find_character_offset_in_fragment_descendants(
    node: &ServoLayoutNode,
    stacking_context_tree: &StackingContextTree,
    point_in_viewport: Point2D<Au, CSSPixel>,
) -> Option<(OpaqueNode, Utf32CodeUnits)> {
    let mut search = ClosestFragmentSearch::default();
    for fragment in &node.fragments_for_pseudo(None) {
        if let Some(point_in_fragment) =
            stacking_context_tree.offset_in_fragment(fragment, point_in_viewport)
        {
            search.collect_relevant_children(fragment, point_in_fragment);
        }
    }
    search.into_dom_position()
}

pub fn process_containing_block_query(node: ServoLayoutNode) -> Option<UntrustedNodeAddress> {
    let containing_block = containing_block_for_node(node);
    containing_block.map(|node| node.opaque().into())
}

pub fn process_containing_block_descendant_query(
    possible_ancestor: ServoLayoutNode,
    mut possible_descendant: ServoLayoutNode,
) -> bool {
    while let Some(establishing_node) = containing_block_for_node(possible_descendant) {
        if establishing_node == possible_ancestor {
            return true;
        }
        possible_descendant = establishing_node;
    }
    false
}

pub fn process_resolved_font_style_query<'dom, E>(
    context: &SharedStyleContext,
    node: E,
    value: &str,
    url_data: ServoUrl,
    shared_lock: &SharedRwLock,
) -> Option<ServoArc<Font>>
where
    E: LayoutNode<'dom>,
{
    fn create_font_declaration(
        value: &str,
        url_data: &ServoUrl,
        quirks_mode: QuirksMode,
    ) -> Option<PropertyDeclarationBlock> {
        let mut declarations = SourcePropertyDeclaration::default();
        let result = parse_one_declaration_into(
            &mut declarations,
            PropertyId::NonCustom(ShorthandId::Font.into()),
            value,
            Origin::Author,
            &UrlExtraData(url_data.get_arc()),
            None,
            ParsingMode::DEFAULT,
            quirks_mode,
            CssRuleType::Style,
        );
        let declarations = match result {
            Ok(()) => {
                let mut block = PropertyDeclarationBlock::new();
                block.extend(declarations.drain(), Importance::Normal);
                block
            },
            Err(_) => return None,
        };
        // TODO: Force to set line-height property to 'normal' font property.
        Some(declarations)
    }
    fn resolve_for_declarations<'dom, E>(
        context: &SharedStyleContext,
        parent_style: Option<&ComputedValues>,
        declarations: PropertyDeclarationBlock,
        shared_lock: &SharedRwLock,
    ) -> ServoArc<ComputedValues>
    where
        E: LayoutNode<'dom>,
    {
        let parent_style = match parent_style {
            Some(parent) => parent,
            None => context.stylist.device().default_computed_values(),
        };
        context
            .stylist
            .compute_for_declarations::<DangerousStyleElementOf<'dom, E::ConcreteTypeBundle>>(
                &context.guards,
                parent_style,
                ServoArc::new(shared_lock.wrap(declarations)),
            )
    }

    // https://html.spec.whatwg.org/multipage/#dom-context-2d-font
    // 1. Parse the given font property value
    let quirks_mode = context.quirks_mode();
    let declarations = create_font_declaration(value, &url_data, quirks_mode)?;

    // TODO: Reject 'inherit' and 'initial' values for the font property.

    // 2. Get resolved styles for the parent element
    let element = node.as_element().unwrap();
    let parent_style = if node.is_connected() {
        if element.style_data().is_some() {
            element.style(context)
        } else {
            let mut tlc = ThreadLocalStyleContext::new();
            let mut context = StyleContext {
                shared: context,
                thread_local: &mut tlc,
            };
            #[expect(unsafe_code)]
            let styles = resolve_style(
                &mut context,
                unsafe { element.dangerous_style_element() },
                RuleInclusion::All,
                None,
                None,
            );
            styles.primary().clone()
        }
    } else {
        let default_declarations =
            create_font_declaration("10px sans-serif", &url_data, quirks_mode).unwrap();
        resolve_for_declarations::<E>(context, None, default_declarations, shared_lock)
    };

    // 3. Resolve the parsed value with resolved styles of the parent element
    let computed_values =
        resolve_for_declarations::<E>(context, Some(&*parent_style), declarations, shared_lock);

    Some(computed_values.clone_font())
}

pub(crate) fn transform_au_rectangle(
    rect_to_transform: Rect<Au, CSSPixel>,
    transform: FastLayoutTransform,
) -> Option<Rect<Au, CSSPixel>> {
    transform_f32_rectangle(
        au_rect_to_f32_rect(rect_to_transform).cast_unit(),
        transform,
    )
    .map(|transformed_rect| f32_rect_to_au_rect(transformed_rect).cast_unit())
}

pub(crate) fn transform_f32_rectangle(
    rect_to_transform: Rect<f32, LayoutPixel>,
    transform: FastLayoutTransform,
) -> Option<Rect<f32, LayoutPixel>> {
    match transform {
        FastLayoutTransform::Offset(offset) => Some(rect_to_transform.translate(offset)),
        FastLayoutTransform::Transform { transform, .. } => {
            transform.outer_transformed_rect(&rect_to_transform)
        },
    }
}

pub(crate) fn process_effective_overflow_query(node: ServoLayoutNode<'_>) -> Option<AxesOverflow> {
    let fragments = node.fragments_for_pseudo(None);
    let box_fragment = fragments.first()?.retrieve_box_fragment()?;

    Some(
        box_fragment
            .style()
            .effective_overflow(box_fragment.base.flags),
    )
}

impl BoxFragment {
    fn resolved_insets_for_non_static(
        &self,
        node: ServoLayoutNode,
        style: &ComputedValues,
        initial_containing_block: &PhysicalRect<Au>,
    ) -> Option<PhysicalSides<AuOrAuto>> {
        match style.get_box().position {
            Position::Static => None,
            Position::Relative => {
                self.resolved_insets_for_relative(node, style, initial_containing_block)
            },
            Position::Absolute | Position::Fixed => {
                self.resolved_insets_for_absolute(node, style, initial_containing_block)
            },
            Position::Sticky => Some(**self.resolved_sticky_insets()?),
        }
    }

    fn resolved_insets_for_relative(
        &self,
        node: ServoLayoutNode,
        style: &ComputedValues,
        initial_containing_block: &PhysicalRect<Au>,
    ) -> Option<PhysicalSides<AuOrAuto>> {
        let get_resolved_axis =
            |start: &LengthPercentageOrAuto, end: &LengthPercentageOrAuto, container_length: Au| {
                let start = start.map(|value| value.to_used_value(container_length));
                let end = end.map(|value| value.to_used_value(container_length));
                match (start.non_auto(), end.non_auto()) {
                    (None, None) => (Au::zero(), Au::zero()),
                    (None, Some(end)) => (-end, end),
                    (Some(start), None) => (start, -start),
                    // This is the overconstrained case, for which the resolved insets will
                    // simply be the computed insets.
                    (Some(start), Some(end)) => (start, end),
                }
            };

        // From <https://drafts.csswg.org/cssom/#resolved-values>:
        // "A resolved value special case property like top defined in another
        // specification If the property applies to a positioned element and the
        // resolved value of the display property is not none or contents, and
        // the property is not over-constrained, then the resolved value is the
        // used value. Otherwise the resolved value is the computed value."
        let insets = style.physical_box_offsets();
        let containing_block_rect_size = containing_block_fragment(node, self)
            .map(|fragment| fragment.content_rect())
            .unwrap_or(*initial_containing_block)
            .size;
        let (left, right) = get_resolved_axis(
            &insets.left,
            &insets.right,
            containing_block_rect_size.width,
        );
        let (top, bottom) = get_resolved_axis(
            &insets.top,
            &insets.bottom,
            containing_block_rect_size.height,
        );
        Some(au_or_auto_sides(PhysicalSides::new(
            top, right, bottom, left,
        )))
    }

    fn resolved_insets_for_absolute(
        &self,
        node: ServoLayoutNode,
        style: &ComputedValues,
        initial_containing_block: &PhysicalRect<Au>,
    ) -> Option<PhysicalSides<AuOrAuto>> {
        let insets = style.physical_box_offsets();
        let containing_block_rect = containing_block_fragment(node, self)
            .map(|fragment| fragment.containing_block_rect_for_absolute(style))
            .unwrap_or(*initial_containing_block);

        let margin_rect = self.margin_rect();
        let (top, bottom) = match (&insets.top, &insets.bottom) {
            (
                LengthPercentageOrAuto::LengthPercentage(top),
                LengthPercentageOrAuto::LengthPercentage(bottom),
            ) => (
                top.to_used_value(containing_block_rect.size.height),
                bottom.to_used_value(containing_block_rect.size.height),
            ),
            _ => (
                margin_rect.min_y() - containing_block_rect.min_y(),
                containing_block_rect.max_y() - margin_rect.max_y(),
            ),
        };
        let (left, right) = match (&insets.left, &insets.right) {
            (
                LengthPercentageOrAuto::LengthPercentage(left),
                LengthPercentageOrAuto::LengthPercentage(right),
            ) => (
                left.to_used_value(containing_block_rect.size.width),
                right.to_used_value(containing_block_rect.size.width),
            ),
            _ => (
                margin_rect.min_x() - containing_block_rect.min_x(),
                containing_block_rect.max_x() - margin_rect.max_x(),
            ),
        };

        Some(au_or_auto_sides(PhysicalSides::new(
            top, right, bottom, left,
        )))
    }
}

fn au_or_auto_sides(sides: PhysicalSides<Au>) -> PhysicalSides<AuOrAuto> {
    PhysicalSides::new(
        AuOrAuto::LengthPercentage(sides.top),
        AuOrAuto::LengthPercentage(sides.right),
        AuOrAuto::LengthPercentage(sides.bottom),
        AuOrAuto::LengthPercentage(sides.left),
    )
}