/*
 * Copyright (c) 2018-2025, Andreas Kling <andreas@ladybird.org>
 * Copyright (c) 2020-2021, the SerenityOS developers.
 * Copyright (c) 2021-2025, Sam Atkins <sam@ladybird.org>
 * Copyright (c) 2021, Tobias Christiansen <tobyase@serenityos.org>
 * Copyright (c) 2022, MacDue <macdue@dueutil.tech>
 * Copyright (c) 2024, Shannon Booth <shannon@serenityos.org>
 * Copyright (c) 2024, Tommy van der Vorst <tommy@pixelspark.nl>
 * Copyright (c) 2024, Matthew Olsson <mattco@serenityos.org>
 * Copyright (c) 2024, Glenn Skrzypczak <glenn.skrzypczak@gmail.com>
 * Copyright (c) 2025, Aliaksandr Kalenik <kalenik.aliaksandr@gmail.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#include <AK/Debug.h>
#include <AK/QuickSort.h>
#include <LibWeb/CSS/CharacterTypes.h>
#include <LibWeb/CSS/Enums.h>
#include <LibWeb/CSS/Parser/ErrorReporter.h>
#include <LibWeb/CSS/Parser/Parser.h>
#include <LibWeb/CSS/PropertyID.h>
#include <LibWeb/CSS/StyleValues/AngleStyleValue.h>
#include <LibWeb/CSS/StyleValues/BackgroundSizeStyleValue.h>
#include <LibWeb/CSS/StyleValues/BorderImageSliceStyleValue.h>
#include <LibWeb/CSS/StyleValues/BorderRadiusRectStyleValue.h>
#include <LibWeb/CSS/StyleValues/BorderRadiusStyleValue.h>
#include <LibWeb/CSS/StyleValues/ColorSchemeStyleValue.h>
#include <LibWeb/CSS/StyleValues/ColorStyleValue.h>
#include <LibWeb/CSS/StyleValues/ContentStyleValue.h>
#include <LibWeb/CSS/StyleValues/CounterDefinitionsStyleValue.h>
#include <LibWeb/CSS/StyleValues/CursorStyleValue.h>
#include <LibWeb/CSS/StyleValues/CustomIdentStyleValue.h>
#include <LibWeb/CSS/StyleValues/DisplayStyleValue.h>
#include <LibWeb/CSS/StyleValues/EdgeStyleValue.h>
#include <LibWeb/CSS/StyleValues/FilterValueListStyleValue.h>
#include <LibWeb/CSS/StyleValues/FlexStyleValue.h>
#include <LibWeb/CSS/StyleValues/FontStyleStyleValue.h>
#include <LibWeb/CSS/StyleValues/FrequencyStyleValue.h>
#include <LibWeb/CSS/StyleValues/FunctionStyleValue.h>
#include <LibWeb/CSS/StyleValues/GridAutoFlowStyleValue.h>
#include <LibWeb/CSS/StyleValues/GridTemplateAreaStyleValue.h>
#include <LibWeb/CSS/StyleValues/GridTrackPlacementStyleValue.h>
#include <LibWeb/CSS/StyleValues/GridTrackSizeListStyleValue.h>
#include <LibWeb/CSS/StyleValues/IntegerStyleValue.h>
#include <LibWeb/CSS/StyleValues/KeywordStyleValue.h>
#include <LibWeb/CSS/StyleValues/LengthStyleValue.h>
#include <LibWeb/CSS/StyleValues/NumberStyleValue.h>
#include <LibWeb/CSS/StyleValues/OpenTypeTaggedStyleValue.h>
#include <LibWeb/CSS/StyleValues/OverflowClipMarginStyleValue.h>
#include <LibWeb/CSS/StyleValues/PercentageStyleValue.h>
#include <LibWeb/CSS/StyleValues/PositionStyleValue.h>
#include <LibWeb/CSS/StyleValues/RepeatStyleStyleValue.h>
#include <LibWeb/CSS/StyleValues/ResolutionStyleValue.h>
#include <LibWeb/CSS/StyleValues/ScrollbarColorStyleValue.h>
#include <LibWeb/CSS/StyleValues/ScrollbarGutterStyleValue.h>
#include <LibWeb/CSS/StyleValues/ShadowStyleValue.h>
#include <LibWeb/CSS/StyleValues/ShorthandStyleValue.h>
#include <LibWeb/CSS/StyleValues/StringStyleValue.h>
#include <LibWeb/CSS/StyleValues/StyleValue.h>
#include <LibWeb/CSS/StyleValues/StyleValueList.h>
#include <LibWeb/CSS/StyleValues/TextIndentStyleValue.h>
#include <LibWeb/CSS/StyleValues/TextUnderlinePositionStyleValue.h>
#include <LibWeb/CSS/StyleValues/TimeStyleValue.h>
#include <LibWeb/CSS/StyleValues/TransformationStyleValue.h>
#include <LibWeb/CSS/StyleValues/URLStyleValue.h>
#include <LibWeb/CSS/StyleValues/UnresolvedStyleValue.h>
#include <LibWeb/CSS/ValueType.h>
#include <LibWeb/Dump.h>
#include <LibWeb/Infra/Strings.h>

namespace Web::CSS::Parser {

static void remove_property(Vector<PropertyID>& properties, PropertyID property_to_remove)
{
    properties.remove_first_matching([&](auto it) { return it == property_to_remove; });
}

RefPtr<StyleValue const> Parser::parse_all_as_single_keyword_value(TokenStream<ComponentValue>& tokens, Keyword keyword)
{
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    auto keyword_value = parse_specific_keyword_value(tokens, { { keyword } });
    tokens.discard_whitespace();

    if (tokens.has_next_token() || !keyword_value)
        return {};

    transaction.commit();
    return keyword_value;
}

RefPtr<StyleValueList const> Parser::parse_simple_comma_separated_value_list(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    return parse_comma_separated_value_list(tokens, [this, property_id](auto& tokens) -> RefPtr<StyleValue const> {
        auto transaction = tokens.begin_transaction();
        if (auto value = parse_css_value_for_property(property_id, tokens)) {
            transaction.commit();
            return value;
        }
        return nullptr;
    });
}

RefPtr<StyleValue const> Parser::parse_coordinating_value_list_shorthand(TokenStream<ComponentValue>& tokens, PropertyID shorthand_id, Vector<PropertyID> const& longhand_ids, Vector<PropertyID> const& reset_only_longhand_ids = {})
{
    HashMap<PropertyID, StyleValueVector> longhand_vectors;

    auto transaction = tokens.begin_transaction();

    do {
        Vector<PropertyID> remaining_longhands {};
        remaining_longhands.extend(longhand_ids);

        HashMap<PropertyID, NonnullRefPtr<StyleValue const>> parsed_values;

        while (tokens.has_next_token() && !tokens.next_token().is(Token::Type::Comma)) {
            auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);

            if (!property_and_value.has_value())
                return {};

            remove_property(remaining_longhands, property_and_value->property);

            parsed_values.set(property_and_value->property, property_and_value->style_value.release_nonnull());
        }

        if (parsed_values.is_empty())
            return {};

        for (auto const& longhand_id : longhand_ids)
            longhand_vectors.ensure(longhand_id).append(*parsed_values.get(longhand_id).value_or_lazy_evaluated([&]() -> ValueComparingNonnullRefPtr<StyleValue const> {
                return property_initial_value(longhand_id)->as_value_list().values()[0];
            }));

        if (tokens.has_next_token()) {
            if (tokens.next_token().is(Token::Type::Comma))
                tokens.discard_a_token();
            else
                return {};
        }
    } while (tokens.has_next_token());

    transaction.commit();

    Vector<PropertyID> longhand_ids_including_reset_only_longhands;
    longhand_ids_including_reset_only_longhands.extend(longhand_ids);
    longhand_ids_including_reset_only_longhands.extend(reset_only_longhand_ids);
    StyleValueVector longhand_values {};

    for (auto const& longhand_id : longhand_ids)
        longhand_values.append(StyleValueList::create(move(*longhand_vectors.get(longhand_id)), StyleValueList::Separator::Comma));

    for (auto reset_only_longhand_id : reset_only_longhand_ids)
        longhand_values.append(property_initial_value(reset_only_longhand_id));

    return ShorthandStyleValue::create(shorthand_id, longhand_ids_including_reset_only_longhands, longhand_values);
}

RefPtr<StyleValue const> Parser::parse_css_value_for_property(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    return parse_css_value_for_properties({ &property_id, 1 }, tokens)
        .map([](auto&& it) { return it.style_value; })
        .value_or(nullptr);
}

Optional<Parser::PropertyAndValue> Parser::parse_css_value_for_properties(ReadonlySpan<PropertyID> property_ids, TokenStream<ComponentValue>& tokens)
{
    auto any_property_accepts_type = [](ReadonlySpan<PropertyID> property_ids, ValueType value_type) -> Optional<PropertyID> {
        for (auto const& property : property_ids) {
            if (property_accepts_type(property, value_type))
                return property;
        }
        return {};
    };
    auto any_property_accepts_keyword = [](ReadonlySpan<PropertyID> property_ids, Keyword keyword) -> Optional<PropertyID> {
        for (auto const& property : property_ids) {
            if (property_accepts_keyword(property, keyword))
                return property;
        }
        return {};
    };

    tokens.discard_whitespace();
    auto& peek_token = tokens.next_token();

    auto parse_for_type = [&](ValueType const type) -> Optional<PropertyAndValue> {
        if (auto property = any_property_accepts_type(property_ids, type); property.has_value()) {
            auto context_guard = push_temporary_value_parsing_context(*property);
            if (auto maybe_parsed_value = parse_value(type, tokens))
                return PropertyAndValue { *property, maybe_parsed_value };
        }
        return OptionalNone {};
    };

    if (peek_token.is(Token::Type::Ident)) {
        // NOTE: We do not try to parse "CSS-wide keywords" here. https://www.w3.org/TR/css-values-4/#common-keywords
        //       These are only valid on their own, and so should be parsed directly in `parse_css_value()`.
        auto keyword = keyword_from_string(peek_token.token().ident());
        if (keyword.has_value()) {
            if (auto property = any_property_accepts_keyword(property_ids, keyword.value()); property.has_value()) {
                tokens.discard_a_token();
                if (auto resolved_keyword = resolve_legacy_value_alias(property.value(), keyword.value()); resolved_keyword.has_value())
                    return PropertyAndValue { *property, KeywordStyleValue::create(resolved_keyword.value()) };
                return PropertyAndValue { *property, KeywordStyleValue::create(keyword.value()) };
            }
        }

        // Custom idents
        if (auto property = any_property_accepts_type(property_ids, ValueType::CustomIdent); property.has_value()) {
            auto context_guard = push_temporary_value_parsing_context(*property);
            if (auto custom_ident = parse_custom_ident_value(tokens, property_custom_ident_blacklist(*property)))
                return PropertyAndValue { *property, custom_ident };
        }
    }

    if (auto parsed = parse_for_type(ValueType::Color); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::CornerShape); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Counter); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::CounterStyle); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::DashedIdent); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::EasingFunction); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::FontStyle); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::FontVariantAlternates); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::FontVariantEastAsian); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::FontVariantLigatures); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::FontVariantNumeric); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Image); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Position); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::BackgroundPosition); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::BasicShape); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Ratio); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::OpacityValue); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::OpentypeTag); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Rect); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::ScrollFunction); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::String); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::TransformFunction); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::TransformList); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::Url); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::ViewFunction); parsed.has_value())
        return parsed.release_value();
    if (auto parsed = parse_for_type(ValueType::ViewTimelineInset); parsed.has_value())
        return parsed.release_value();

    // <integer>/<number> come before <length>, so that 0 is not interpreted as a <length> in case both are allowed.
    if (auto property = any_property_accepts_type(property_ids, ValueType::Integer); property.has_value()) {
        auto context_guard = push_temporary_value_parsing_context(*property);
        if (auto value = parse_integer_value(tokens, property_accepted_ranges_by_value_type(*property).get(ValueType::Integer).value()))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Number); property.has_value()) {
        auto context_guard = push_temporary_value_parsing_context(*property);
        if (auto value = parse_number_value(tokens, property_accepted_ranges_by_value_type(*property).get(ValueType::Number).value()))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Angle); property.has_value()) {
        auto const& valid_ranges = property_accepted_ranges_by_value_type(*property);
        auto const& angle_range = valid_ranges.get(ValueType::Angle).value();

        auto context_guard = push_temporary_value_parsing_context(*property);
        if (property_resolves_percentages_relative_to(*property) == ValueType::Angle) {
            if (auto value = parse_angle_percentage_value(tokens, angle_range, valid_ranges.get(ValueType::Percentage).value()))
                return PropertyAndValue { *property, value };
        }

        if (auto value = parse_angle_value(tokens, angle_range))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Flex); property.has_value()) {
        auto context_guard = push_temporary_value_parsing_context(*property);
        if (auto value = parse_flex_value(tokens, property_accepted_ranges_by_value_type(*property).get(ValueType::Flex).value()))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Frequency); property.has_value()) {
        auto const& valid_ranges = property_accepted_ranges_by_value_type(*property);
        auto const& frequency_range = valid_ranges.get(ValueType::Frequency).value();
        auto context_guard = push_temporary_value_parsing_context(*property);
        if (property_resolves_percentages_relative_to(*property) == ValueType::Frequency) {
            if (auto value = parse_frequency_percentage_value(tokens, frequency_range, valid_ranges.get(ValueType::Percentage).value()))
                return PropertyAndValue { *property, value };
        }

        if (auto value = parse_frequency_value(tokens, frequency_range))
            return PropertyAndValue { *property, value };
    }

    if (auto parsed = parse_for_type(ValueType::FitContent); parsed.has_value())
        return parsed.release_value();

    if (auto property = any_property_accepts_type(property_ids, ValueType::Length); property.has_value()) {
        auto const& valid_ranges = property_accepted_ranges_by_value_type(*property);
        auto const& length_range = valid_ranges.get(ValueType::Length).value();

        auto context_guard = push_temporary_value_parsing_context(*property);
        if (property_resolves_percentages_relative_to(*property) == ValueType::Length) {
            if (auto value = parse_length_percentage_value(tokens, length_range, valid_ranges.get(ValueType::Percentage).value()))
                return PropertyAndValue { *property, value };
        }

        if (auto value = parse_length_value(tokens, length_range))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Resolution); property.has_value()) {
        auto context_guard = push_temporary_value_parsing_context(*property);

        if (auto value = parse_resolution_value(tokens, property_accepted_ranges_by_value_type(*property).get(ValueType::Resolution).value()))
            return PropertyAndValue { *property, value };
    }

    if (auto property = any_property_accepts_type(property_ids, ValueType::Time); property.has_value()) {
        auto const& valid_ranges = property_accepted_ranges_by_value_type(*property);
        auto const& time_range = valid_ranges.get(ValueType::Time).value();

        auto context_guard = push_temporary_value_parsing_context(*property);
        if (property_resolves_percentages_relative_to(*property) == ValueType::Time) {
            if (auto value = parse_time_percentage_value(tokens, time_range, valid_ranges.get(ValueType::Percentage).value()))
                return PropertyAndValue { *property, value };
        }

        if (auto value = parse_time_value(tokens, time_range))
            return PropertyAndValue { *property, value };
    }

    // <percentage> is checked after the <foo-percentage> types.
    if (auto property = any_property_accepts_type(property_ids, ValueType::Percentage); property.has_value()) {
        auto context_guard = push_temporary_value_parsing_context(*property);

        if (auto value = parse_percentage_value(tokens, property_accepted_ranges_by_value_type(*property).get(ValueType::Percentage).value()))
            return PropertyAndValue { *property, value };
    }

    if (auto parsed = parse_for_type(ValueType::Paint); parsed.has_value())
        return parsed.release_value();

    if (auto parsed = parse_for_type(ValueType::Anchor); parsed.has_value())
        return parsed.release_value();

    return OptionalNone {};
}

Parser::ParseErrorOr<NonnullRefPtr<StyleValue const>> Parser::parse_css_value(PropertyID property_id, TokenStream<ComponentValue>& tokens, Optional<String> original_source_text)
{
    auto context_guard = push_temporary_value_parsing_context(property_id);

    SubstitutionFunctionsPresence substitution_presence;
    {
        // NB: This transaction is intentionally never committed. This loop just examines the tokens and doesn't want
        //     to permanently consume anything.
        auto transaction = tokens.begin_transaction();
        while (tokens.has_next_token()) {
            auto const& token = tokens.consume_a_token();

            if (token.is(Token::Type::Semicolon))
                return ParseError::SyntaxError;

            // https://drafts.csswg.org/css-values-5/#resolve-property
            // If a property value contains one or more arbitrary substitution functions, and all of those functions are
            // themselves syntactically valid according to their argument grammars, the entire value’s grammar must be
            // assumed to be valid at parse time.
            if (collect_arbitrary_substitution_function_presence(token, substitution_presence).is_error())
                return ParseError::SyntaxError;
        }
    }

    auto parse_all_as = [](auto& tokens, auto&& callback) -> ParseErrorOr<NonnullRefPtr<StyleValue const>> {
        tokens.discard_whitespace();
        auto parsed_value = callback(tokens);
        tokens.discard_whitespace();
        if (parsed_value && !tokens.has_next_token())
            return parsed_value.release_nonnull();
        return ParseError::SyntaxError;
    };

    {
        auto builtin_transaction = tokens.begin_transaction();
        auto builtin = parse_all_as(tokens, [this](auto& tokens) { return parse_builtin_value(tokens); });
        if (!builtin.is_error()) {
            builtin_transaction.commit();
            return builtin.release_value();
        }
    }

    if (property_id == PropertyID::Custom || substitution_presence.has_any()) {
        return parse_all_as(tokens, [&](TokenStream<ComponentValue>& tokens) -> RefPtr<StyleValue const> {
            if (tokens.is_empty())
                return UnresolvedStyleValue::create({}, substitution_presence, move(original_source_text));

            if (auto component_values = parse_declaration_value(tokens); component_values.has_value())
                return UnresolvedStyleValue::create(component_values.release_value(), substitution_presence, move(original_source_text));

            return nullptr;
        });
    }

    tokens.discard_whitespace();
    if (!tokens.has_next_token())
        return ParseError::SyntaxError;

    // Special-case property handling
    switch (property_id) {
    case PropertyID::All:
        // NOTE: The 'all' property, unlike some other shorthands, doesn't support directly listing sub-property
        //       values, only the CSS-wide keywords - this is handled above, and thus, if we have gotten to here, there
        //       is an invalid value which is a syntax error.
        return ParseError::SyntaxError;
    case PropertyID::AnchorName:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_anchor_name_value(tokens); });
    case PropertyID::AnchorScope:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_anchor_scope_value(tokens); });
    case PropertyID::AspectRatio:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_aspect_ratio_value(tokens); });
    case PropertyID::Animation:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_animation_value(tokens); });
    case PropertyID::BackdropFilter:
    case PropertyID::Filter:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_filter_value_list_value(tokens); });
    case PropertyID::Background:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_background_value(tokens); });
    case PropertyID::BackgroundPosition:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_background_position_value(tokens); });
    case PropertyID::BackgroundPositionX:
    case PropertyID::BackgroundPositionY:
        return parse_all_as(tokens, [this, property_id](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this, property_id](auto& tokens) { return parse_single_background_position_x_or_y_value(tokens, property_id); });
        });
    case PropertyID::BackgroundRepeat:
        return parse_all_as(tokens, [this, property_id](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this, property_id](auto& tokens) { return parse_single_repeat_style_value(property_id, tokens); });
        });
    case PropertyID::BackgroundSize:
        return parse_all_as(tokens, [this, property_id](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this, property_id](auto& tokens) { return parse_single_background_size_value(property_id, tokens); });
        });
    case PropertyID::Border:
    case PropertyID::BorderBlock:
    case PropertyID::BorderInline:
        return parse_all_as(tokens, [this, property_id](auto& tokens) { return parse_border_value(property_id, tokens); });
    case PropertyID::BorderImage:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_border_image_value(tokens); });
    case PropertyID::BorderImageSlice:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_border_image_slice_value(tokens); });
    case PropertyID::BorderTopLeftRadius:
    case PropertyID::BorderTopRightRadius:
    case PropertyID::BorderBottomRightRadius:
    case PropertyID::BorderBottomLeftRadius:
    case PropertyID::BorderEndEndRadius:
    case PropertyID::BorderEndStartRadius:
    case PropertyID::BorderStartEndRadius:
    case PropertyID::BorderStartStartRadius:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_border_radius_value(tokens); });
    case PropertyID::BorderRadius:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_border_radius_shorthand_value(tokens); });
    case PropertyID::BoxShadow:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_shadow_value(tokens, ShadowStyleValue::ShadowType::Normal); });
    case PropertyID::ColorScheme:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_color_scheme_value(tokens); });
    case PropertyID::Columns:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_columns_value(tokens); });
    case PropertyID::Contain:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_contain_value(tokens); });
    case PropertyID::Container:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_container_value(tokens); });
    case PropertyID::ContainerName:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_container_name_value(tokens); });
    case PropertyID::ContainerType:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_container_type_value(tokens); });
    case PropertyID::Content:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_content_value(tokens); });
    case PropertyID::CounterIncrement:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_counter_increment_value(tokens); });
    case PropertyID::CounterReset:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_counter_reset_value(tokens); });
    case PropertyID::CounterSet:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_counter_set_value(tokens); });
    case PropertyID::Cursor:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_cursor_value(tokens); });
    case PropertyID::Display:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_display_value(tokens); });
    case PropertyID::Flex:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_flex_shorthand_value(tokens); });
    case PropertyID::FlexFlow:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_flex_flow_value(tokens); });
    case PropertyID::Font:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_value(tokens); });
    case PropertyID::FontFamily:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_family_value(tokens); });
    case PropertyID::FontFeatureSettings:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_feature_settings_value(tokens); });
    case PropertyID::FontLanguageOverride:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_language_override_value(tokens); });
    case PropertyID::FontVariationSettings:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_variation_settings_value(tokens); });
    case PropertyID::FontVariant:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_font_variant(tokens); });
    case PropertyID::GridArea:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_area_shorthand_value(tokens); });
    case PropertyID::GridAutoFlow:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_auto_flow_value(tokens); });
    case PropertyID::GridColumn:
    case PropertyID::GridRow:
        return parse_all_as(tokens, [this, property_id](auto& tokens) { return parse_grid_track_placement_shorthand_value(property_id, tokens); });
    case PropertyID::GridColumnEnd:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_placement(tokens); });
    case PropertyID::GridColumnStart:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_placement(tokens); });
    case PropertyID::GridRowEnd:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_placement(tokens); });
    case PropertyID::GridRowStart:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_placement(tokens); });
    case PropertyID::Grid:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_shorthand_value(tokens); });
    case PropertyID::GridTemplate:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_size_list_shorthand_value(PropertyID::GridTemplate, tokens); });
    case PropertyID::GridTemplateAreas:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_template_areas_value(tokens); });
    case PropertyID::GridTemplateColumns:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_size_list(tokens); });
    case PropertyID::GridTemplateRows:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_track_size_list(tokens); });
    case PropertyID::GridAutoColumns:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_auto_track_sizes(tokens); });
    case PropertyID::GridAutoRows:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_grid_auto_track_sizes(tokens); });
    case PropertyID::ListStyle:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_list_style_value(tokens); });
    case PropertyID::MathDepth:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_math_depth_value(tokens); });
    case PropertyID::Mask:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_mask_value(tokens); });
    case PropertyID::MaskPosition:
        return parse_all_as(tokens, [this](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this](auto& tokens) {
                return parse_position_value(tokens);
            });
        });
    case PropertyID::MaskRepeat:
        return parse_all_as(tokens, [this](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this](auto& tokens) {
                return parse_single_repeat_style_value(PropertyID::MaskRepeat, tokens);
            });
        });
    case PropertyID::MaskSize:
        return parse_all_as(tokens, [this](auto& tokens) {
            return parse_comma_separated_value_list(tokens, [this](auto& tokens) {
                return parse_single_background_size_value(PropertyID::MaskSize, tokens);
            });
        });
    case PropertyID::OverflowClipMarginBlockEnd:
    case PropertyID::OverflowClipMarginBlockStart:
    case PropertyID::OverflowClipMarginBottom:
    case PropertyID::OverflowClipMarginInlineEnd:
    case PropertyID::OverflowClipMarginInlineStart:
    case PropertyID::OverflowClipMarginLeft:
    case PropertyID::OverflowClipMarginRight:
    case PropertyID::OverflowClipMarginTop:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_overflow_clip_margin_value(tokens); });
    case PropertyID::OverflowClipMargin:
    case PropertyID::OverflowClipMarginBlock:
    case PropertyID::OverflowClipMarginInline:
        return parse_all_as(tokens, [this, property_id](auto& tokens) { return parse_overflow_clip_margin_shorthand(property_id, tokens); });
    case PropertyID::PaintOrder:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_paint_order_value(tokens); });
    case PropertyID::PlaceContent:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_place_content_value(tokens); });
    case PropertyID::PlaceItems:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_place_items_value(tokens); });
    case PropertyID::PlaceSelf:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_place_self_value(tokens); });
    case PropertyID::PositionAnchor:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_position_anchor_value(tokens); });
    case PropertyID::PositionArea:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_position_area_value(tokens); });
    case PropertyID::PositionTryFallbacks:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_position_try_fallbacks_value(tokens); });
    case PropertyID::PositionVisibility:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_position_visibility_value(tokens); });
    case PropertyID::Quotes:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_quotes_value(tokens); });
    case PropertyID::Rotate:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_rotate_value(tokens); });
    case PropertyID::ScrollbarColor:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_scrollbar_color_value(tokens); });
    case PropertyID::ScrollbarGutter:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_scrollbar_gutter_value(tokens); });
    case PropertyID::ShapeOutside:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_shape_outside_value(tokens); });
    case PropertyID::StrokeDasharray:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_stroke_dasharray_value(tokens); });
    case PropertyID::TextDecoration:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_text_decoration_value(tokens); });
    case PropertyID::TextDecorationLine:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_text_decoration_line_value(tokens); });
    case PropertyID::TextIndent:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_text_indent_value(tokens); });
    case PropertyID::TextShadow:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_shadow_value(tokens, ShadowStyleValue::ShadowType::Text); });
    case PropertyID::TextUnderlinePosition:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_text_underline_position_value(tokens); });
    case PropertyID::TimelineScope:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_timeline_scope_value(tokens); });
    case PropertyID::TouchAction:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_touch_action_value(tokens); });
    case PropertyID::TransformOrigin:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_transform_origin_value(tokens); });
    case PropertyID::Transition:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_transition_value(tokens); });
    case PropertyID::TransitionProperty:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_transition_property_value(tokens); });
    case PropertyID::Translate:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_translate_value(tokens); });
    case PropertyID::Scale:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_scale_value(tokens); });
    case PropertyID::ScrollTimeline:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_scroll_timeline_value(tokens); });
    case PropertyID::ViewTimeline:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_view_timeline_value(tokens); });
    case PropertyID::WhiteSpace:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_white_space_shorthand(tokens); });
    case PropertyID::WhiteSpaceTrim:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_white_space_trim_value(tokens); });
    case PropertyID::WillChange:
        return parse_all_as(tokens, [this](auto& tokens) { return parse_will_change_value(tokens); });

    default:
        break;
    }

    if (property_multiplicity(property_id) == PropertyMultiplicity::CoordinatingList && !property_is_shorthand(property_id))
        return parse_all_as(tokens, [this, property_id](auto& tokens) { return parse_simple_comma_separated_value_list(property_id, tokens); });

    if (property_is_positional_value_list_shorthand(property_id))
        return parse_all_as(tokens, [this, property_id](auto& tokens) { return parse_positional_value_list_shorthand(property_id, tokens); });

    {
        auto transaction = tokens.begin_transaction();
        StyleValueVector parsed_values;
        while (auto parsed_value = parse_css_value_for_property(property_id, tokens)) {
            parsed_values.append(parsed_value.release_nonnull());
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                break;
        }

        tokens.discard_whitespace();
        if (!tokens.has_next_token()) {
            if (parsed_values.size() == 1) {
                transaction.commit();
                return *parsed_values.take_first();
            }

            if (!parsed_values.is_empty() && parsed_values.size() <= property_maximum_value_count(property_id)) {
                transaction.commit();
                return StyleValueList::create(move(parsed_values), StyleValueList::Separator::Space);
            }
        }
    }

    // We have more values than the property claims to allow. Check if it's a shorthand.
    auto unassigned_properties = longhands_for_shorthand(property_id);
    if (unassigned_properties.is_empty())
        return ParseError::SyntaxError;

    OrderedHashMap<UnderlyingType<PropertyID>, Vector<ValueComparingNonnullRefPtr<StyleValue const>>> assigned_values;

    while (tokens.has_next_token() && !unassigned_properties.is_empty()) {
        auto property_and_value = parse_css_value_for_properties(unassigned_properties, tokens);
        if (property_and_value.has_value()) {
            auto property = property_and_value->property;
            auto value = property_and_value->style_value;
            auto& values = assigned_values.ensure(to_underlying(property));
            if (values.size() + 1 == property_maximum_value_count(property)) {
                // We're done with this property, move on to the next one.
                unassigned_properties.remove_first_matching([&](auto& unassigned_property) { return unassigned_property == property; });
            }

            values.append(value.release_nonnull());
            continue;
        }

        // No property matched, so we're done.
        if constexpr (CSS_PARSER_DEBUG) {
            dbgln("No property (from {} properties) matched {}", unassigned_properties.size(), tokens.next_token().to_debug_string());
            for (auto id : unassigned_properties)
                dbgln("    {}", string_from_property_id(id));
        }
        break;
    }

    for (auto& property : unassigned_properties)
        assigned_values.ensure(to_underlying(property)).append(property_initial_value(property));

    tokens.discard_whitespace();
    if (tokens.has_next_token())
        return ParseError::SyntaxError;

    Vector<PropertyID> longhand_properties;
    longhand_properties.ensure_capacity(assigned_values.size());
    for (auto& it : assigned_values)
        longhand_properties.unchecked_append(static_cast<PropertyID>(it.key));

    StyleValueVector longhand_values;
    longhand_values.ensure_capacity(assigned_values.size());
    for (auto& it : assigned_values) {
        if (it.value.size() == 1)
            longhand_values.unchecked_append(it.value.take_first());
        else
            longhand_values.unchecked_append(StyleValueList::create(move(it.value), StyleValueList::Separator::Space));
    }

    return { ShorthandStyleValue::create(property_id, move(longhand_properties), move(longhand_values)) };
}

RefPtr<StyleValue const> Parser::parse_positional_value_list_shorthand(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    auto const& longhands = longhands_for_shorthand(property_id);

    Vector<ValueComparingNonnullRefPtr<StyleValue const>> parsed_values;

    while (auto parsed_value = parse_css_value_for_property(property_id, tokens))
        parsed_values.append(parsed_value.release_nonnull());

    if (parsed_values.size() == 0 || parsed_values.size() > longhands.size())
        return nullptr;

    switch (longhands.size()) {
    case 2: {
        switch (parsed_values.size()) {
        case 1:
            return ShorthandStyleValue::create(property_id, longhands, { parsed_values[0], parsed_values[0] });
        case 2:
            return ShorthandStyleValue::create(property_id, longhands, parsed_values);
        default:
            VERIFY_NOT_REACHED();
        }
    }
    case 4: {
        switch (parsed_values.size()) {
        case 1:
            return ShorthandStyleValue::create(property_id, longhands, { parsed_values[0], parsed_values[0], parsed_values[0], parsed_values[0] });
        case 2:
            return ShorthandStyleValue::create(property_id, longhands, { parsed_values[0], parsed_values[1], parsed_values[0], parsed_values[1] });
        case 3:
            return ShorthandStyleValue::create(property_id, longhands, { parsed_values[0], parsed_values[1], parsed_values[2], parsed_values[1] });
        case 4:
            return ShorthandStyleValue::create(property_id, longhands, parsed_values);
        default:
            VERIFY_NOT_REACHED();
        }
    }
    default:
        TODO();
    }
}

RefPtr<StyleValue const> Parser::parse_color_scheme_value(TokenStream<ComponentValue>& tokens)
{
    // normal | [ light | dark | <custom-ident> ]+ && only?

    // normal
    {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        if (tokens.consume_a_token().is_ident("normal"sv)) {
            if (tokens.has_next_token())
                return {};
            transaction.commit();
            return ColorSchemeStyleValue::normal();
        }
    }

    bool only = false;
    Vector<String> schemes;

    // only? && (..)
    {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        if (tokens.consume_a_token().is_ident("only"sv)) {
            only = true;
            transaction.commit();
        }
    }

    // [ light | dark | <custom-ident> ]+
    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        auto transaction = tokens.begin_transaction();

        // The 'normal', 'light', 'dark', and 'only' keywords are not valid <custom-ident>s in this property.
        // Note: only 'normal' is blacklisted here because 'light' and 'dark' aren't parsed differently and 'only' is checked for afterwards
        auto ident = parse_custom_ident_value(tokens, { { "normal"sv } });
        if (!ident)
            return {};

        if (ident->custom_ident() == "only"_fly_string)
            break;

        schemes.append(ident->custom_ident().to_string());
        tokens.discard_whitespace();
        transaction.commit();
    }

    // (..) && only?
    if (!only) {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        if (tokens.consume_a_token().is_ident("only"sv)) {
            only = true;
            transaction.commit();
        }
    }

    tokens.discard_whitespace();
    if (tokens.has_next_token() || schemes.is_empty())
        return {};

    return ColorSchemeStyleValue::create(schemes, only);
}

RefPtr<StyleValue const> Parser::parse_counter_definitions_value(TokenStream<ComponentValue>& tokens, AllowReversed allow_reversed, i32 default_value_if_not_reversed)
{
    // If AllowReversed is Yes, parses:
    //   [ <counter-name> <integer>? | <reversed-counter-name> <integer>? ]+
    // Otherwise parses:
    //   [ <counter-name> <integer>? ]+

    // FIXME: This disabled parsing of `reversed()` counters. Remove this line once they're supported.
    allow_reversed = AllowReversed::No;

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    Vector<CounterDefinition> counter_definitions;
    while (tokens.has_next_token()) {
        auto per_item_transaction = tokens.begin_transaction();
        CounterDefinition definition {};

        // <counter-name> | <reversed-counter-name>
        auto& token = tokens.next_token();

        // A <counter-name> name cannot match the keyword none; such an identifier is invalid as a <counter-name>.
        if (auto counter_name = parse_custom_ident_value(tokens, { { "none"sv } })) {
            definition.name = counter_name->custom_ident();
            definition.is_reversed = false;
        } else if (allow_reversed == AllowReversed::Yes && token.is_function("reversed"sv)) {
            TokenStream function_tokens { token.function().value };
            tokens.discard_a_token();
            function_tokens.discard_whitespace();
            auto& name_token = function_tokens.consume_a_token();
            if (!name_token.is(Token::Type::Ident))
                break;
            function_tokens.discard_whitespace();
            if (function_tokens.has_next_token())
                break;

            definition.name = name_token.token().ident();
            definition.is_reversed = true;
        } else {
            break;
        }
        tokens.discard_whitespace();

        // <integer>?
        definition.value = parse_integer_value(tokens, infinite_integer_range);
        if (!definition.value && !definition.is_reversed)
            definition.value = IntegerStyleValue::create(default_value_if_not_reversed);

        counter_definitions.append(move(definition));
        tokens.discard_whitespace();
        per_item_transaction.commit();
    }

    if (counter_definitions.is_empty())
        return {};

    transaction.commit();
    return CounterDefinitionsStyleValue::create(move(counter_definitions));
}

// https://drafts.csswg.org/css-lists-3/#propdef-counter-increment
RefPtr<StyleValue const> Parser::parse_counter_increment_value(TokenStream<ComponentValue>& tokens)
{
    // [ <counter-name> <integer>? ]+ | none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_counter_definitions_value(tokens, AllowReversed::No, 1);
}

// https://drafts.csswg.org/css-lists-3/#propdef-counter-reset
RefPtr<StyleValue const> Parser::parse_counter_reset_value(TokenStream<ComponentValue>& tokens)
{
    // [ <counter-name> <integer>? | <reversed-counter-name> <integer>? ]+ | none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_counter_definitions_value(tokens, AllowReversed::Yes, 0);
}

// https://drafts.csswg.org/css-lists-3/#propdef-counter-set
RefPtr<StyleValue const> Parser::parse_counter_set_value(TokenStream<ComponentValue>& tokens)
{
    // [ <counter-name> <integer>? ]+ | none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_counter_definitions_value(tokens, AllowReversed::No, 0);
}

// https://drafts.csswg.org/css-ui-4/#cursor
RefPtr<StyleValue const> Parser::parse_cursor_value(TokenStream<ComponentValue>& tokens)
{
    // [<cursor-image>,]* <cursor-predefined>
    // <cursor-image> = <url> <number>{2}?
    // So, any number of custom cursor definitions, and then a mandatory cursor name keyword, all comma-separated.

    auto transaction = tokens.begin_transaction();

    StyleValueVector cursors;

    auto parts = parse_a_comma_separated_list_of_component_values(tokens);
    for (auto i = 0u; i < parts.size(); ++i) {
        auto& part = parts[i];
        TokenStream part_tokens { part };

        if (i == parts.size() - 1) {
            // Cursor keyword
            part_tokens.discard_whitespace();
            auto keyword_value = parse_keyword_value(part_tokens);
            if (!keyword_value || !keyword_to_cursor_predefined(keyword_value->to_keyword()).has_value())
                return {};

            part_tokens.discard_whitespace();
            if (part_tokens.has_next_token())
                return {};

            cursors.append(keyword_value.release_nonnull());
        } else {
            // Custom cursor definition
            // <cursor-image> = <url> <number>{2}?
            // "Conforming user agents may, instead of <url>, support <image> which is a superset."

            part_tokens.discard_whitespace();
            auto image_value = parse_image_value(part_tokens);
            if (!image_value)
                return {};

            part_tokens.discard_whitespace();

            if (part_tokens.has_next_token()) {
                // <number>{2}, which are the x and y coordinates of the hotspot
                auto x = parse_number_value(part_tokens, infinite_range);
                part_tokens.discard_whitespace();
                auto y = parse_number_value(part_tokens, infinite_range);
                part_tokens.discard_whitespace();
                if (!x || !y || part_tokens.has_next_token())
                    return nullptr;

                cursors.append(CursorStyleValue::create(image_value.release_nonnull(), x, y));
                continue;
            }

            cursors.append(CursorStyleValue::create(image_value.release_nonnull(), {}, {}));
        }
    }

    if (cursors.is_empty())
        return nullptr;

    transaction.commit();
    if (cursors.size() == 1)
        return *cursors.first();

    return StyleValueList::create(move(cursors), StyleValueList::Separator::Comma);
}

// https://drafts.csswg.org/css-anchor-position/#name
RefPtr<StyleValue const> Parser::parse_anchor_name_value(TokenStream<ComponentValue>& tokens)
{
    // none | <dashed-ident>#
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_comma_separated_value_list(tokens, [this](TokenStream<ComponentValue>& inner_tokens) -> RefPtr<StyleValue const> {
        return parse_dashed_ident_value(inner_tokens);
    });
}

// https://drafts.csswg.org/css-anchor-position/#anchor-scope
RefPtr<StyleValue const> Parser::parse_anchor_scope_value(TokenStream<ComponentValue>& tokens)
{
    // none | all | <dashed-ident>#
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    if (auto all = parse_all_as_single_keyword_value(tokens, Keyword::All))
        return all;

    return parse_comma_separated_value_list(tokens, [this](TokenStream<ComponentValue>& inner_tokens) -> RefPtr<StyleValue const> {
        return parse_dashed_ident_value(inner_tokens);
    });
}

// https://www.w3.org/TR/css-sizing-4/#aspect-ratio
RefPtr<StyleValue const> Parser::parse_aspect_ratio_value(TokenStream<ComponentValue>& tokens)
{
    // `auto || <ratio>`
    RefPtr<StyleValue const> auto_value;
    RefPtr<StyleValue const> ratio_value;

    auto transaction = tokens.begin_transaction();
    while (tokens.has_next_token()) {
        auto maybe_value = parse_css_value_for_property(PropertyID::AspectRatio, tokens);
        if (!maybe_value)
            return nullptr;

        if (maybe_value->is_ratio()) {
            if (ratio_value)
                return nullptr;
            ratio_value = maybe_value.release_nonnull();
            continue;
        }

        if (maybe_value->is_keyword() && maybe_value->as_keyword().keyword() == Keyword::Auto) {
            if (auto_value)
                return nullptr;
            auto_value = maybe_value.release_nonnull();
            continue;
        }

        return nullptr;
    }

    if (auto_value && ratio_value) {
        transaction.commit();
        return StyleValueList::create(
            StyleValueVector { auto_value.release_nonnull(), ratio_value.release_nonnull() },
            StyleValueList::Separator::Space);
    }

    if (ratio_value) {
        transaction.commit();
        return ratio_value.release_nonnull();
    }

    if (auto_value) {
        transaction.commit();
        return auto_value.release_nonnull();
    }

    return nullptr;
}

// https://drafts.csswg.org/css-animations-1/#animation
RefPtr<StyleValue const> Parser::parse_animation_value(TokenStream<ComponentValue>& tokens)
{
    // [<'animation-duration'> || <easing-function> || <'animation-delay'> || <single-animation-iteration-count> || <single-animation-direction> || <single-animation-fill-mode> || <single-animation-play-state> || [ none | <keyframes-name> ] || <single-animation-timeline>]#
    // NB: While it isn't in the spec the CSSWG resolved to include `animation-timeline` as a reset-only sub-property
    //     of the `animation` shorthand so we shouldn't actually allow <single-animation-timeline>.
    //     https://github.com/w3c/csswg-drafts/issues/6946#issuecomment-1233190360

    Vector<PropertyID> longhand_ids {
        PropertyID::AnimationDuration,
        PropertyID::AnimationTimingFunction,
        PropertyID::AnimationDelay,
        PropertyID::AnimationIterationCount,
        PropertyID::AnimationDirection,
        PropertyID::AnimationFillMode,
        PropertyID::AnimationPlayState,
        PropertyID::AnimationName
    };

    // FIXME: The animation-trigger properties are reset-only sub-properties of the animation shorthand.
    return parse_coordinating_value_list_shorthand(tokens, PropertyID::Animation, longhand_ids, { PropertyID::AnimationTimeline });
}

RefPtr<StyleValue const> Parser::parse_background_position_value(TokenStream<ComponentValue>& tokens)
{
    auto const& background_position_value = parse_comma_separated_value_list(tokens, [this](auto& tokens) { return parse_position_value(tokens, PositionParsingMode::BackgroundPosition); });

    if (!background_position_value)
        return nullptr;

    StyleValueVector background_position_x_values;
    StyleValueVector background_position_y_values;

    for (auto const& background_position : background_position_value->values()) {
        background_position_x_values.append(background_position->as_position().edge_x());
        background_position_y_values.append(background_position->as_position().edge_y());
    }

    return ShorthandStyleValue::create(PropertyID::BackgroundPosition,
        { PropertyID::BackgroundPositionX, PropertyID::BackgroundPositionY },
        { StyleValueList::create(move(background_position_x_values), StyleValueList::Separator::Comma), StyleValueList::create(move(background_position_y_values), StyleValueList::Separator::Comma) });
}

RefPtr<StyleValue const> Parser::parse_background_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto make_background_shorthand = [](auto background_color, auto background_image, auto background_position, auto background_size, auto background_repeat, auto background_attachment, auto background_origin, auto background_clip) {
        return ShorthandStyleValue::create(PropertyID::Background,
            { PropertyID::BackgroundColor, PropertyID::BackgroundImage, PropertyID::BackgroundPosition, PropertyID::BackgroundSize, PropertyID::BackgroundRepeat, PropertyID::BackgroundAttachment, PropertyID::BackgroundOrigin, PropertyID::BackgroundClip },
            { move(background_color), move(background_image), move(background_position), move(background_size), move(background_repeat), move(background_attachment), move(background_origin), move(background_clip) });
    };

    StyleValueVector background_images;
    StyleValueVector background_position_xs;
    StyleValueVector background_position_ys;
    StyleValueVector background_sizes;
    StyleValueVector background_repeats;
    StyleValueVector background_attachments;
    StyleValueVector background_clips;
    StyleValueVector background_origins;
    RefPtr<StyleValue const> background_color;

    auto initial_background_image = property_initial_value(PropertyID::BackgroundImage)->as_value_list().values()[0];
    auto initial_background_position_x = property_initial_value(PropertyID::BackgroundPositionX)->as_value_list().values()[0];
    auto initial_background_position_y = property_initial_value(PropertyID::BackgroundPositionY)->as_value_list().values()[0];
    auto initial_background_size = property_initial_value(PropertyID::BackgroundSize)->as_value_list().values()[0];
    auto initial_background_repeat = property_initial_value(PropertyID::BackgroundRepeat)->as_value_list().values()[0];
    auto initial_background_attachment = property_initial_value(PropertyID::BackgroundAttachment)->as_value_list().values()[0];
    auto initial_background_clip = property_initial_value(PropertyID::BackgroundClip)->as_value_list().values()[0];
    auto initial_background_origin = property_initial_value(PropertyID::BackgroundOrigin)->as_value_list().values()[0];
    auto initial_background_color = property_initial_value(PropertyID::BackgroundColor);

    // Per-layer values
    RefPtr<StyleValue const> background_image;
    RefPtr<StyleValue const> background_position_x;
    RefPtr<StyleValue const> background_position_y;
    RefPtr<StyleValue const> background_size;
    RefPtr<StyleValue const> background_repeat;
    RefPtr<StyleValue const> background_attachment;
    RefPtr<StyleValue const> background_clip;
    RefPtr<StyleValue const> background_origin;

    // BackgroundSize is always parsed as part of BackgroundPosition, so we don't include it here.
    Vector<PropertyID> remaining_layer_properties {
        PropertyID::BackgroundAttachment,
        PropertyID::BackgroundClip,
        PropertyID::BackgroundColor,
        PropertyID::BackgroundImage,
        PropertyID::BackgroundOrigin,
        PropertyID::BackgroundPosition,
        PropertyID::BackgroundRepeat,
    };

    auto background_layer_is_valid = [&](bool allow_background_color) -> bool {
        if (allow_background_color) {
            if (background_color)
                return true;
        } else {
            if (background_color)
                return false;
        }
        return background_image || background_position_x || background_position_y || background_size || background_repeat || background_attachment || background_clip || background_origin;
    };

    auto complete_background_layer = [&]() {
        background_images.append(background_image ? background_image.release_nonnull() : initial_background_image);
        background_position_xs.append(background_position_x ? background_position_x.release_nonnull() : initial_background_position_x);
        background_position_ys.append(background_position_y ? background_position_y.release_nonnull() : initial_background_position_y);
        background_sizes.append(background_size ? background_size.release_nonnull() : initial_background_size);
        background_repeats.append(background_repeat ? background_repeat.release_nonnull() : initial_background_repeat);
        background_attachments.append(background_attachment ? background_attachment.release_nonnull() : initial_background_attachment);

        if (!background_origin && !background_clip) {
            background_origin = initial_background_origin;
            background_clip = initial_background_clip;
        } else if (!background_clip) {
            background_clip = background_origin;
        }
        background_origins.append(background_origin.release_nonnull());
        background_clips.append(background_clip.release_nonnull());

        background_image = nullptr;
        background_position_x = nullptr;
        background_position_y = nullptr;
        background_size = nullptr;
        background_repeat = nullptr;
        background_attachment = nullptr;
        background_clip = nullptr;
        background_origin = nullptr;

        remaining_layer_properties.clear_with_capacity();
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundAttachment);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundClip);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundColor);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundImage);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundOrigin);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundPosition);
        remaining_layer_properties.unchecked_append(PropertyID::BackgroundRepeat);
    };

    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        if (tokens.next_token().is(Token::Type::Comma)) {
            if (!background_layer_is_valid(false))
                return nullptr;
            complete_background_layer();
            tokens.discard_a_token();
            tokens.discard_whitespace();
            continue;
        }

        Optional<PropertyAndValue> property_and_value;
        {
            auto value_transaction = tokens.begin_transaction();
            property_and_value = parse_css_value_for_properties(remaining_layer_properties, tokens);
            if (!property_and_value.has_value())
                return nullptr;
            // FIXME: background-repeat can't be parsed fully with parse_css_value_for_properties(), so don't commit
            //        the transaction, and then parse it manually below.
            if (property_and_value->property != PropertyID::BackgroundRepeat)
                value_transaction.commit();
        }
        auto& [property, value] = *property_and_value;
        remove_property(remaining_layer_properties, property);

        switch (property) {
        case PropertyID::BackgroundAttachment:
            VERIFY(!background_attachment);
            background_attachment = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        case PropertyID::BackgroundColor:
            VERIFY(!background_color);
            background_color = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        case PropertyID::BackgroundImage:
            VERIFY(!background_image);
            background_image = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        case PropertyID::BackgroundClip:
        case PropertyID::BackgroundOrigin: {
            // background-origin and background-clip accept the same values. From the spec:
            //   "If one <box> value is present then it sets both background-origin and background-clip to that value.
            //    If two values are present, then the first sets background-origin and the second background-clip."
            //        - https://www.w3.org/TR/css-backgrounds-3/#background
            // So, we put the first one in background-origin, then if we get a second, we put it in background-clip.
            // If we only get one, we copy the value before creating the ShorthandStyleValue.
            if (!background_origin) {
                background_origin = value.release_nonnull();
            } else if (!background_clip) {
                background_clip = value.release_nonnull();
            } else {
                VERIFY_NOT_REACHED();
            }
            tokens.discard_whitespace();
            continue;
        }
        case PropertyID::BackgroundPosition: {
            VERIFY(!background_position_x && !background_position_y);
            auto position = value.release_nonnull();
            background_position_x = position->as_position().edge_x();
            background_position_y = position->as_position().edge_y();

            // Attempt to parse `/ <background-size>`
            auto background_size_transaction = tokens.begin_transaction();
            tokens.discard_whitespace();
            auto& maybe_slash = tokens.consume_a_token();
            if (maybe_slash.is_delim('/')) {
                tokens.discard_whitespace();
                if (auto maybe_background_size = parse_single_background_size_value(PropertyID::BackgroundSize, tokens)) {
                    background_size_transaction.commit();
                    background_size = maybe_background_size.release_nonnull();
                    tokens.discard_whitespace();
                    continue;
                }
                return nullptr;
            }
            tokens.discard_whitespace();
            continue;
        }
        case PropertyID::BackgroundRepeat: {
            VERIFY(!background_repeat);
            // NB: The tokens for this didn't get consumed, see above. So we parse it fully now.
            if (auto maybe_repeat = parse_single_repeat_style_value(property, tokens)) {
                background_repeat = maybe_repeat.release_nonnull();
                tokens.discard_whitespace();
                continue;
            }
            return nullptr;
        }
        default:
            VERIFY_NOT_REACHED();
        }

        return nullptr;
    }

    if (!background_layer_is_valid(true))
        return nullptr;

    complete_background_layer();

    if (!background_color)
        background_color = initial_background_color;
    transaction.commit();
    return make_background_shorthand(
        background_color.release_nonnull(),
        StyleValueList::create(move(background_images), StyleValueList::Separator::Comma),
        ShorthandStyleValue::create(PropertyID::BackgroundPosition,
            { PropertyID::BackgroundPositionX, PropertyID::BackgroundPositionY },
            { StyleValueList::create(move(background_position_xs), StyleValueList::Separator::Comma),
                StyleValueList::create(move(background_position_ys), StyleValueList::Separator::Comma) }),
        StyleValueList::create(move(background_sizes), StyleValueList::Separator::Comma),
        StyleValueList::create(move(background_repeats), StyleValueList::Separator::Comma),
        StyleValueList::create(move(background_attachments), StyleValueList::Separator::Comma),
        StyleValueList::create(move(background_origins), StyleValueList::Separator::Comma),
        StyleValueList::create(move(background_clips), StyleValueList::Separator::Comma));
}

RefPtr<StyleValue const> Parser::parse_single_background_position_x_or_y_value(TokenStream<ComponentValue>& tokens, PropertyID property)
{
    Optional<PositionEdge> relative_edge {};

    auto transaction = tokens.begin_transaction();
    if (!tokens.has_next_token())
        return nullptr;

    auto value = parse_css_value_for_property(property, tokens);
    if (!value)
        return nullptr;

    if (value->is_keyword()) {
        auto keyword = value->to_keyword();
        if (keyword == Keyword::Center) {
            transaction.commit();
            return EdgeStyleValue::create(PositionEdge::Center, {});
        }
        if (auto edge = keyword_to_position_edge(keyword); edge.has_value()) {
            relative_edge = edge;
        } else {
            return nullptr;
        }

        value = parse_length_percentage_value(tokens, infinite_range, infinite_range);
        if (!value) {
            transaction.commit();
            return EdgeStyleValue::create(relative_edge, {});
        }
    }

    transaction.commit();
    return EdgeStyleValue::create(relative_edge, value);
}

RefPtr<StyleValue const> Parser::parse_single_background_size_value(PropertyID property, TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto maybe_x_value = parse_css_value_for_property(property, tokens);
    if (!maybe_x_value)
        return nullptr;

    if (maybe_x_value->to_keyword() == Keyword::Cover || maybe_x_value->to_keyword() == Keyword::Contain) {
        transaction.commit();
        return maybe_x_value;
    }

    auto maybe_y_value = parse_css_value_for_property(property, tokens);
    if (!maybe_y_value) {
        transaction.commit();
        return BackgroundSizeStyleValue::create(maybe_x_value.release_nonnull(), KeywordStyleValue::create(Keyword::Auto));
    }

    transaction.commit();
    return BackgroundSizeStyleValue::create(maybe_x_value.release_nonnull(), maybe_y_value.release_nonnull());
}

// https://drafts.csswg.org/css-backgrounds-3/#propdef-border
RefPtr<StyleValue const> Parser::parse_border_value(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    RefPtr<StyleValue const> border_width;
    RefPtr<StyleValue const> border_color;
    RefPtr<StyleValue const> border_style;

    auto color_property = PropertyID::BorderColor;
    auto style_property = PropertyID::BorderStyle;
    auto width_property = PropertyID::BorderWidth;

    switch (property_id) {
    case PropertyID::Border:
        // Already set above.
        break;
    case PropertyID::BorderBlock:
        color_property = PropertyID::BorderBlockColor;
        style_property = PropertyID::BorderBlockStyle;
        width_property = PropertyID::BorderBlockWidth;
        break;
    case PropertyID::BorderInline:
        color_property = PropertyID::BorderInlineColor;
        style_property = PropertyID::BorderInlineStyle;
        width_property = PropertyID::BorderInlineWidth;
        break;

    default:
        VERIFY_NOT_REACHED();
    }

    auto const make_single_value_shorthand = [&](PropertyID property_id, Vector<PropertyID> const& longhands, ValueComparingNonnullRefPtr<StyleValue const> const& value) {
        Vector<ValueComparingNonnullRefPtr<StyleValue const>> longhand_values;
        longhand_values.resize_with_default_value(longhands.size(), value);

        return ShorthandStyleValue::create(property_id, longhands, longhand_values);
    };

    auto remaining_longhands = Vector { width_property, color_property, style_property };
    auto transaction = tokens.begin_transaction();

    while (tokens.has_next_token()) {
        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;
        remove_property(remaining_longhands, property_and_value->property);

        if (property_and_value->property == width_property) {
            VERIFY(!border_width);
            border_width = make_single_value_shorthand(width_property, longhands_for_shorthand(width_property), value.release_nonnull());
        } else if (property_and_value->property == color_property) {
            VERIFY(!border_color);
            border_color = make_single_value_shorthand(color_property, longhands_for_shorthand(color_property), value.release_nonnull());
        } else if (property_and_value->property == style_property) {
            VERIFY(!border_style);
            border_style = make_single_value_shorthand(style_property, longhands_for_shorthand(style_property), value.release_nonnull());
        } else {
            VERIFY_NOT_REACHED();
        }
    }

    if (!border_width)
        border_width = property_initial_value(width_property);
    if (!border_style)
        border_style = property_initial_value(style_property);
    if (!border_color)
        border_color = property_initial_value(color_property);

    transaction.commit();

    if (first_is_one_of(property_id, PropertyID::BorderBlock, PropertyID::BorderInline))
        return ShorthandStyleValue::create(property_id,
            { width_property, style_property, color_property },
            { border_width.release_nonnull(), border_style.release_nonnull(), border_color.release_nonnull() });

    // The border shorthand also resets border-image to its initial value
    return ShorthandStyleValue::create(property_id,
        { width_property, style_property, color_property, PropertyID::BorderImage },
        { border_width.release_nonnull(), border_style.release_nonnull(), border_color.release_nonnull(), property_initial_value(PropertyID::BorderImage) });
}

// https://drafts.csswg.org/css-backgrounds/#border-image
RefPtr<StyleValue const> Parser::parse_border_image_value(TokenStream<ComponentValue>& tokens)
{
    // <'border-image-source'> || <'border-image-slice'> [ / <'border-image-width'> | / <'border-image-width'>? / <'border-image-outset'> ]? || <'border-image-repeat'>
    auto transaction = tokens.begin_transaction();

    RefPtr<StyleValue const> source_value;
    RefPtr<StyleValue const> slice_value;
    RefPtr<StyleValue const> width_value;
    RefPtr<StyleValue const> outset_value;
    RefPtr<StyleValue const> repeat_value;

    auto make_border_image_shorthand = [&]() {
        transaction.commit();
        if (!source_value)
            source_value = property_initial_value(PropertyID::BorderImageSource);
        if (!slice_value)
            slice_value = property_initial_value(PropertyID::BorderImageSlice);
        if (!width_value)
            width_value = property_initial_value(PropertyID::BorderImageWidth);
        if (!outset_value)
            outset_value = property_initial_value(PropertyID::BorderImageOutset);
        if (!repeat_value)
            repeat_value = property_initial_value(PropertyID::BorderImageRepeat);

        return ShorthandStyleValue::create(PropertyID::BorderImage,
            { PropertyID::BorderImageSource, PropertyID::BorderImageSlice, PropertyID::BorderImageWidth, PropertyID::BorderImageOutset, PropertyID::BorderImageRepeat },
            { source_value.release_nonnull(), slice_value.release_nonnull(), width_value.release_nonnull(), outset_value.release_nonnull(), repeat_value.release_nonnull() });
    };

    auto parse_value_list = [&](PropertyID property_id, TokenStream<ComponentValue>& inner_tokens, Optional<char> delimiter = {}) -> RefPtr<StyleValue const> {
        auto inner_transaction = inner_tokens.begin_transaction();

        auto remaining_values = property_maximum_value_count(property_id);
        StyleValueVector values;
        while (inner_tokens.has_next_token() && remaining_values > 0) {
            if (delimiter.has_value() && inner_tokens.next_token().is_delim(*delimiter))
                break;
            auto value = parse_css_value_for_property(property_id, inner_tokens);
            if (!value)
                break;
            values.append(*value);
            --remaining_values;
        }
        if (values.is_empty())
            return nullptr;

        inner_transaction.commit();
        if (values.size() == 1)
            return values[0];

        return StyleValueList::create(move(values), StyleValueList::Separator::Space);
    };

    auto parse_slice_portion = [&]() {
        // <'border-image-slice'> [ / <'border-image-width'> | / <'border-image-width'>? / <'border-image-outset'> ]?
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        if (auto value = parse_border_image_slice_value(tokens)) {
            slice_value = move(value);
        } else {
            return false;
        }
        tokens.discard_whitespace();
        if (tokens.next_token().is_delim('/')) {
            tokens.discard_a_token();
            tokens.discard_whitespace();
            if (auto width = parse_value_list(PropertyID::BorderImageWidth, tokens)) {
                width_value = move(width);
                tokens.discard_whitespace();
                if (!tokens.next_token().is_delim('/')) {
                    transaction.commit();
                    return true;
                }
            }

            if (!tokens.next_token().is_delim('/'))
                return false;

            tokens.discard_a_token();
            tokens.discard_whitespace();
            if (auto outset = parse_value_list(PropertyID::BorderImageOutset, tokens)) {
                outset_value = move(outset);
                tokens.discard_whitespace();
            } else {
                return false;
            }
        }

        tokens.discard_whitespace();
        transaction.commit();
        return true;
    };

    auto has_source = false;
    auto has_repeat = false;
    auto has_slice_portion = false;
    while (tokens.has_next_token()) {
        if (auto source = parse_css_value_for_property(PropertyID::BorderImageSource, tokens)) {
            if (has_source)
                return nullptr;

            has_source = true;
            source_value = move(source);
            continue;
        }
        if (auto repeat = parse_value_list(PropertyID::BorderImageRepeat, tokens)) {
            if (has_repeat)
                return nullptr;

            has_repeat = true;
            repeat_value = move(repeat);
            continue;
        }
        if (parse_slice_portion()) {
            if (has_slice_portion)
                return nullptr;

            has_slice_portion = true;
            continue;
        }
        return nullptr;
    }

    return make_border_image_shorthand();
}

// https://drafts.csswg.org/css-backgrounds/#border-image-slice
RefPtr<StyleValue const> Parser::parse_border_image_slice_value(TokenStream<ComponentValue>& tokens)
{
    // [<number [0,∞]> | <percentage [0,∞]>]{1,4} && fill?
    auto transaction = tokens.begin_transaction();
    auto fill = false;
    RefPtr<StyleValue const> top;
    RefPtr<StyleValue const> right;
    RefPtr<StyleValue const> bottom;
    RefPtr<StyleValue const> left;

    auto parse_fill = [](TokenStream<ComponentValue>& fill_tokens) {
        if (fill_tokens.next_token().is_ident("fill"sv)) {
            fill_tokens.discard_a_token();
            return true;
        }
        return false;
    };

    tokens.discard_whitespace();
    if (parse_fill(tokens))
        fill = true;
    tokens.discard_whitespace();

    Vector<ValueComparingNonnullRefPtr<StyleValue const>> number_percentages;
    while (number_percentages.size() <= 4 && tokens.has_next_token()) {
        auto number_percentage = parse_number_percentage_value(tokens, non_negative_range, non_negative_range);
        if (!number_percentage)
            break;

        number_percentages.append(number_percentage.release_nonnull());
        tokens.discard_whitespace();
    }

    switch (number_percentages.size()) {
    case 1:
        top = number_percentages[0];
        right = number_percentages[0];
        bottom = number_percentages[0];
        left = number_percentages[0];
        break;
    case 2:
        top = number_percentages[0];
        bottom = number_percentages[0];
        right = number_percentages[1];
        left = number_percentages[1];
        break;
    case 3:
        top = number_percentages[0];
        right = number_percentages[1];
        left = number_percentages[1];
        bottom = number_percentages[2];
        break;
    case 4:
        top = number_percentages[0];
        right = number_percentages[1];
        bottom = number_percentages[2];
        left = number_percentages[3];
        break;
    default:
        return nullptr;
    }

    tokens.discard_whitespace();
    if (tokens.has_next_token() && parse_fill(tokens)) {
        if (fill)
            return nullptr;

        fill = true;
        tokens.discard_whitespace();
    }

    transaction.commit();
    return BorderImageSliceStyleValue::create(
        top.release_nonnull(),
        right.release_nonnull(),
        bottom.release_nonnull(),
        left.release_nonnull(),
        fill);
}

// https://drafts.csswg.org/css-borders-4/#typedef-border-radius
RefPtr<StyleValue const> Parser::parse_border_radius_value(TokenStream<ComponentValue>& tokens)
{
    // <border-radius> = <slash-separated-border-radius-syntax> | <legacy-border-radius-syntax>
    // <slash-separated-border-radius-syntax> = <length-percentage [0,∞]> [ / <length-percentage [0,∞]> ]?
    // <legacy-border-radius-syntax> = <length-percentage [0,∞]>{1,2}
    // NB: So, 1 or 2 `<length-percentage>`s, optionally separated with a `/`.

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    auto horizontal = parse_length_percentage_value(tokens, non_negative_range, non_negative_range);
    tokens.discard_whitespace();

    if (tokens.next_token().is_delim('/')) {
        tokens.discard_a_token(); // '/'
        tokens.discard_whitespace();
    }

    auto vertical = parse_length_percentage_value(tokens, non_negative_range, non_negative_range);
    if (horizontal && vertical) {
        transaction.commit();
        return BorderRadiusStyleValue::create(horizontal.release_nonnull(), vertical.release_nonnull());
    }
    if (horizontal) {
        transaction.commit();
        return BorderRadiusStyleValue::create(*horizontal, *horizontal);
    }
    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_border_radius_shorthand_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto const& border_radius_rect = parse_border_radius_rect_value(tokens);

    if (!border_radius_rect)
        return nullptr;

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::BorderRadius,
        { PropertyID::BorderTopLeftRadius, PropertyID::BorderTopRightRadius, PropertyID::BorderBottomRightRadius, PropertyID::BorderBottomLeftRadius },
        { border_radius_rect->top_left(), border_radius_rect->top_right(), border_radius_rect->bottom_right(), border_radius_rect->bottom_left() });
}

RefPtr<StyleValue const> Parser::parse_columns_value(TokenStream<ComponentValue>& tokens)
{
    RefPtr<StyleValue const> column_count;
    RefPtr<StyleValue const> column_width;
    RefPtr<StyleValue const> column_height;

    Vector<PropertyID> remaining_longhands { PropertyID::ColumnCount, PropertyID::ColumnWidth };
    int found_autos = 0;
    int values_read = 0;

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        if (tokens.next_token().is_delim('/')) {
            if (values_read == 0)
                return nullptr;
            tokens.discard_a_token(); // /
            tokens.discard_whitespace();

            auto value = parse_css_value_for_property(PropertyID::ColumnHeight, tokens);
            if (!value)
                return nullptr;
            column_height = value.release_nonnull();

            tokens.discard_whitespace();
            if (tokens.has_next_token())
                return nullptr;
            break;
        }
        if (values_read == 2)
            return nullptr;
        values_read++;

        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        tokens.discard_whitespace();
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;

        // since the values can be in either order, we want to skip over autos
        if (value->has_auto()) {
            found_autos++;
            continue;
        }

        remove_property(remaining_longhands, property_and_value->property);

        switch (property_and_value->property) {
        case PropertyID::ColumnCount: {
            VERIFY(!column_count);
            column_count = value.release_nonnull();
            continue;
        }
        case PropertyID::ColumnWidth: {
            VERIFY(!column_width);
            column_width = value.release_nonnull();
            continue;
        }
        default:
            VERIFY_NOT_REACHED();
        }
    }

    if (found_autos == 2) {
        column_count = KeywordStyleValue::create(Keyword::Auto);
        column_width = KeywordStyleValue::create(Keyword::Auto);
    }

    if (found_autos == 1) {
        if (!column_count)
            column_count = KeywordStyleValue::create(Keyword::Auto);
        if (!column_width)
            column_width = KeywordStyleValue::create(Keyword::Auto);
    }

    if (!column_count)
        column_count = property_initial_value(PropertyID::ColumnCount);
    if (!column_width)
        column_width = property_initial_value(PropertyID::ColumnWidth);
    if (!column_height)
        column_height = property_initial_value(PropertyID::ColumnHeight);

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::Columns,
        { PropertyID::ColumnCount, PropertyID::ColumnWidth, PropertyID::ColumnHeight },
        { column_count.release_nonnull(), column_width.release_nonnull(), column_height.release_nonnull() });
}

RefPtr<StyleValue const> Parser::parse_shadow_value(TokenStream<ComponentValue>& tokens, ShadowStyleValue::ShadowType shadow_type)
{
    // "none"
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_comma_separated_value_list(tokens, [this, shadow_type](auto& tokens) {
        return parse_single_shadow_value(tokens, shadow_type);
    });
}

RefPtr<StyleValue const> Parser::parse_single_shadow_value(TokenStream<ComponentValue>& tokens, ShadowStyleValue::ShadowType shadow_type)
{
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    RefPtr<StyleValue const> color;
    RefPtr<StyleValue const> offset_x;
    RefPtr<StyleValue const> offset_y;
    RefPtr<StyleValue const> blur_radius;
    RefPtr<StyleValue const> spread_distance;
    Optional<ShadowPlacement> placement;

    while (tokens.has_next_token()) {
        if (auto maybe_color = parse_color_value(tokens); maybe_color) {
            if (color)
                return nullptr;
            color = maybe_color.release_nonnull();
            tokens.discard_whitespace();
            continue;
        }

        auto const& token = tokens.next_token();
        if (auto maybe_offset_x = parse_length_value(tokens, infinite_range); maybe_offset_x) {
            // horizontal offset
            if (offset_x)
                return nullptr;
            offset_x = maybe_offset_x;

            // vertical offset
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                return nullptr;
            auto maybe_offset_y = parse_length_value(tokens, infinite_range);
            if (!maybe_offset_y)
                return nullptr;
            offset_y = maybe_offset_y;

            // blur radius (optional)
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                break;

            auto maybe_blur_radius = parse_length_value(tokens, non_negative_range);
            if (!maybe_blur_radius)
                continue;
            blur_radius = maybe_blur_radius;

            // spread distance (optional)
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                break;
            auto maybe_spread_distance = parse_length_value(tokens, infinite_range);
            if (!maybe_spread_distance)
                continue;

            if (shadow_type == ShadowStyleValue::ShadowType::Text)
                return nullptr;

            spread_distance = maybe_spread_distance;

            tokens.discard_whitespace();
            continue;
        }

        if (shadow_type == ShadowStyleValue::ShadowType::Normal && token.is_ident("inset"sv)) {
            if (placement.has_value())
                return nullptr;
            placement = ShadowPlacement::Inner;
            tokens.discard_a_token(); // inset
            tokens.discard_whitespace();
            continue;
        }

        if (token.is(Token::Type::Comma))
            break;

        return nullptr;
    }

    // x/y offsets are required
    if (!offset_x || !offset_y)
        return nullptr;

    // Placement is outer by default
    if (!placement.has_value())
        placement = ShadowPlacement::Outer;

    transaction.commit();
    return ShadowStyleValue::create(shadow_type, color, offset_x.release_nonnull(), offset_y.release_nonnull(), blur_radius, spread_distance, placement.release_value());
}

RefPtr<StyleValue const> Parser::parse_shape_outside_value(TokenStream<ComponentValue>& tokens)
{
    // none | [ <basic-shape> || <shape-box> ] | <image>
    auto transaction = tokens.begin_transaction();

    // none
    if (auto maybe_none = parse_all_as_single_keyword_value(tokens, Keyword::None)) {
        transaction.commit();
        return maybe_none;
    }

    // <image>
    if (auto maybe_image = parse_image_value(tokens)) {
        transaction.commit();
        return maybe_image;
    }

    // [ <basic-shape> || <shape-box> ]
    RefPtr<StyleValue const> basic_shape_value;
    RefPtr<StyleValue const> shape_box_value;
    while (tokens.has_next_token()) {
        if (auto maybe_basic_shape_value = parse_basic_shape_value(tokens)) {
            if (basic_shape_value)
                return nullptr;
            basic_shape_value = maybe_basic_shape_value;
            continue;
        }

        if (auto maybe_keyword_value = parse_keyword_value(tokens)) {
            if (shape_box_value)
                return nullptr;
            if (!keyword_to_shape_box(maybe_keyword_value->to_keyword()).has_value())
                return nullptr;
            shape_box_value = maybe_keyword_value;
            continue;
        }

        return nullptr;
    }

    if (!basic_shape_value && !shape_box_value)
        return nullptr;

    transaction.commit();

    if (basic_shape_value && !shape_box_value)
        return basic_shape_value;

    if (!basic_shape_value && shape_box_value)
        return shape_box_value;

    return StyleValueList::create({ basic_shape_value.release_nonnull(), shape_box_value.release_nonnull() }, StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-transforms-2/#propdef-rotate
RefPtr<StyleValue const> Parser::parse_rotate_value(TokenStream<ComponentValue>& tokens)
{
    // none | <angle> | [ x | y | z | <number>{3} ] && <angle>

    // none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    auto transaction = tokens.begin_transaction();

    auto angle = parse_angle_value(tokens, infinite_range);
    tokens.discard_whitespace();

    // <angle>
    if (angle && !tokens.has_next_token()) {
        transaction.commit();
        return TransformationStyleValue::create(PropertyID::Rotate, TransformFunction::Rotate, { angle.release_nonnull() });
    }

    auto parse_one_of_xyz = [&]() -> Optional<ComponentValue const&> {
        auto xyz_transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        auto const& axis = tokens.consume_a_token();

        if (axis.is_ident("x"sv) || axis.is_ident("y"sv) || axis.is_ident("z"sv)) {
            xyz_transaction.commit();
            return axis;
        }

        return {};
    };

    // [ x | y | z ] && <angle>
    if (auto axis = parse_one_of_xyz(); axis.has_value()) {
        tokens.discard_whitespace();

        if (!angle)
            angle = parse_angle_value(tokens, infinite_range);

        if (angle) {
            transaction.commit();
            if (axis->is_ident("x"sv))
                return TransformationStyleValue::create(PropertyID::Rotate, TransformFunction::RotateX, { angle.release_nonnull() });
            if (axis->is_ident("y"sv))
                return TransformationStyleValue::create(PropertyID::Rotate, TransformFunction::RotateY, { angle.release_nonnull() });
            if (axis->is_ident("z"sv))
                return TransformationStyleValue::create(PropertyID::Rotate, TransformFunction::RotateZ, { angle.release_nonnull() });
            VERIFY_NOT_REACHED();
        }

        return nullptr;
    }

    auto parse_three_numbers = [&]() -> Optional<StyleValueVector> {
        auto numbers_transaction = tokens.begin_transaction();
        StyleValueVector numbers;
        for (size_t i = 0; i < 3; ++i) {
            if (auto number = parse_number_value(tokens, infinite_range); number) {
                numbers.append(number.release_nonnull());
            } else {
                return {};
            }
        }
        numbers_transaction.commit();
        return numbers;
    };

    // <number>{3} && <angle>
    if (auto maybe_numbers = parse_three_numbers(); maybe_numbers.has_value()) {
        tokens.discard_whitespace();

        if (!angle)
            angle = parse_angle_value(tokens, infinite_range);

        if (angle) {
            auto numbers = maybe_numbers.release_value();
            transaction.commit();
            return TransformationStyleValue::create(PropertyID::Rotate, TransformFunction::Rotate3d, { numbers[0], numbers[1], numbers[2], angle.release_nonnull() });
        }

        return nullptr;
    }

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_stroke_dasharray_value(TokenStream<ComponentValue>& tokens)
{
    // https://svgwg.org/svg2-draft/painting.html#StrokeDashing
    // Value: none | <dasharray>
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    // https://svgwg.org/svg2-draft/painting.html#DataTypeDasharray
    // <dasharray> = [ [ <length-percentage> | <number> ]+ ]#
    Vector<ValueComparingNonnullRefPtr<StyleValue const>> dashes;
    while (tokens.has_next_token()) {
        tokens.discard_whitespace();

        // A <dasharray> is a list of comma and/or white space separated <number> or <length-percentage> values. A <number> value represents a value in user units.
        // If any value in the list is negative, the <dasharray> value is invalid.
        auto value = parse_number_value(tokens, non_negative_range);

        if (value) {
            dashes.append(value.release_nonnull());
        } else {
            auto value = parse_length_percentage_value(tokens, non_negative_range, non_negative_range);
            if (!value)
                return {};

            dashes.append(value.release_nonnull());
        }

        tokens.discard_whitespace();
        if (tokens.has_next_token() && tokens.next_token().is(Token::Type::Comma))
            tokens.discard_a_token();
    }

    return StyleValueList::create(move(dashes), StyleValueList::Separator::Comma);
}

RefPtr<StyleValue const> Parser::parse_content_value(TokenStream<ComponentValue>& tokens)
{
    // FIXME: `content` accepts several kinds of function() type, which we don't handle in property_accepts_value() yet.

    auto is_single_value_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::None:
        case Keyword::Normal:
            return true;
        default:
            return false;
        }
    };

    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none.release_nonnull();
    if (auto normal = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return normal.release_nonnull();

    auto transaction = tokens.begin_transaction();

    StyleValueVector content_values;
    StyleValueVector alt_text_values;
    bool in_alt_text = false;

    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        auto& next = tokens.next_token();
        if (next.is_delim('/')) {
            if (in_alt_text || content_values.is_empty())
                return nullptr;
            in_alt_text = true;
            tokens.discard_a_token(); // /
            tokens.discard_whitespace();
            continue;
        }

        if (auto style_value = parse_css_value_for_property(PropertyID::Content, tokens)) {
            if (is_single_value_keyword(style_value->to_keyword()))
                return nullptr;

            if (in_alt_text) {
                // https://drafts.csswg.org/css-content-3/#content-property
                // / [ <string> | <counter> | <attr()> ]+
                // NB: <attr()> is handled as an arbitrary substitution function and does not reach this code path.
                if (!style_value->is_string() && !style_value->is_counter())
                    return nullptr;
                alt_text_values.append(style_value.release_nonnull());
            } else {
                content_values.append(style_value.release_nonnull());
            }
            tokens.discard_whitespace();
            continue;
        }

        return nullptr;
    }

    if (content_values.is_empty())
        return nullptr;
    if (in_alt_text && alt_text_values.is_empty())
        return nullptr;

    RefPtr<StyleValueList> alt_text;
    if (!alt_text_values.is_empty())
        alt_text = StyleValueList::create(move(alt_text_values), StyleValueList::Separator::Space);

    transaction.commit();
    return ContentStyleValue::create(StyleValueList::create(move(content_values), StyleValueList::Separator::Space), move(alt_text));
}

// https://www.w3.org/TR/css-display-3/#the-display-properties
RefPtr<StyleValue const> Parser::parse_display_value(TokenStream<ComponentValue>& tokens)
{
    auto parse_single_component_display = [this](TokenStream<ComponentValue>& tokens) -> Optional<Display> {
        auto transaction = tokens.begin_transaction();
        if (auto keyword_value = parse_keyword_value(tokens)) {
            auto keyword = keyword_value->to_keyword();
            if (keyword == Keyword::ListItem) {
                transaction.commit();
                return Display::from_short(Display::Short::ListItem);
            }

            if (auto display_outside = keyword_to_display_outside(keyword); display_outside.has_value()) {
                transaction.commit();
                switch (display_outside.value()) {
                case DisplayOutside::Block:
                    return Display::from_short(Display::Short::Block);
                case DisplayOutside::Inline:
                    return Display::from_short(Display::Short::Inline);
                case DisplayOutside::RunIn:
                    return Display::from_short(Display::Short::RunIn);
                }
            }

            if (auto display_inside = keyword_to_display_inside(keyword); display_inside.has_value()) {
                transaction.commit();
                switch (display_inside.value()) {
                case DisplayInside::Flow:
                    return Display::from_short(Display::Short::Flow);
                case DisplayInside::FlowRoot:
                    return Display::from_short(Display::Short::FlowRoot);
                case DisplayInside::Table:
                    return Display::from_short(Display::Short::Table);
                case DisplayInside::Flex:
                    return Display::from_short(Display::Short::Flex);
                case DisplayInside::Grid:
                    return Display::from_short(Display::Short::Grid);
                case DisplayInside::Ruby:
                    return Display::from_short(Display::Short::Ruby);
                case DisplayInside::Math:
                    return Display::from_short(Display::Short::Math);
                }
            }

            if (auto display_internal = keyword_to_display_internal(keyword); display_internal.has_value()) {
                transaction.commit();
                return Display { display_internal.value() };
            }

            if (auto display_box = keyword_to_display_box(keyword); display_box.has_value()) {
                transaction.commit();
                switch (display_box.value()) {
                case DisplayBox::Contents:
                    return Display::from_short(Display::Short::Contents);
                case DisplayBox::None:
                    return Display::from_short(Display::Short::None);
                }
            }

            if (auto display_legacy = keyword_to_display_legacy(keyword); display_legacy.has_value()) {
                transaction.commit();
                switch (display_legacy.value()) {
                case DisplayLegacy::InlineBlock:
                    return Display::from_short(Display::Short::InlineBlock);
                case DisplayLegacy::InlineTable:
                    return Display::from_short(Display::Short::InlineTable);
                case DisplayLegacy::InlineFlex:
                    return Display::from_short(Display::Short::InlineFlex);
                case DisplayLegacy::InlineGrid:
                    return Display::from_short(Display::Short::InlineGrid);
                }
            }
        }
        return OptionalNone {};
    };

    auto parse_multi_component_display = [this](TokenStream<ComponentValue>& tokens) -> Optional<Display> {
        auto list_item = Display::ListItem::No;
        Optional<DisplayInside> inside;
        Optional<DisplayOutside> outside;

        auto transaction = tokens.begin_transaction();
        while (tokens.has_next_token()) {
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                break;
            if (auto value = parse_keyword_value(tokens)) {
                auto keyword = value->to_keyword();
                if (keyword == Keyword::ListItem) {
                    if (list_item == Display::ListItem::Yes)
                        return {};
                    list_item = Display::ListItem::Yes;
                    continue;
                }
                if (auto inside_value = keyword_to_display_inside(keyword); inside_value.has_value()) {
                    if (inside.has_value())
                        return {};
                    inside = inside_value.value();
                    continue;
                }
                if (auto outside_value = keyword_to_display_outside(keyword); outside_value.has_value()) {
                    if (outside.has_value())
                        return {};
                    outside = outside_value.value();
                    continue;
                }
            }

            // Not a display value, abort.
            ErrorReporter::the().report(InvalidValueError {
                .value_type = "<display>"_fly_string,
                .value_string = tokens.next_token().to_string(),
                .description = "Unrecognized value"_string,
            });
            return {};
        }

        // The spec does not allow any other inside values to be combined with list-item
        // <display-outside>? && [ flow | flow-root ]? && list-item
        if (list_item == Display::ListItem::Yes && inside.has_value() && inside != DisplayInside::Flow && inside != DisplayInside::FlowRoot)
            return {};

        transaction.commit();
        return Display { outside.value_or(DisplayOutside::Block), inside.value_or(DisplayInside::Flow), list_item };
    };

    // Count non-whitespace tokens to decide between single and multi-component parsing.
    // This is needed because var() substitution can leave trailing whitespace tokens.
    size_t non_whitespace_token_count = 0;
    for (size_t i = 0; i < tokens.remaining_token_count(); ++i) {
        if (!tokens.peek_token(i).is(Token::Type::Whitespace))
            ++non_whitespace_token_count;
    }

    Optional<Display> display;
    if (non_whitespace_token_count == 1)
        display = parse_single_component_display(tokens);
    else
        display = parse_multi_component_display(tokens);

    if (display.has_value())
        return DisplayStyleValue::create(display.value());

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_flex_shorthand_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto make_flex_shorthand = [&](NonnullRefPtr<StyleValue const> flex_grow, NonnullRefPtr<StyleValue const> flex_shrink, NonnullRefPtr<StyleValue const> flex_basis) {
        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::Flex,
            { PropertyID::FlexGrow, PropertyID::FlexShrink, PropertyID::FlexBasis },
            { move(flex_grow), move(flex_shrink), move(flex_basis) });
    };

    if (tokens.remaining_token_count() == 1) {
        // One-value syntax: <flex-grow> | <flex-basis> | none
        auto properties = Array { PropertyID::FlexGrow, PropertyID::FlexBasis, PropertyID::Flex };
        auto property_and_value = parse_css_value_for_properties(properties, tokens);
        if (!property_and_value.has_value())
            return nullptr;

        auto& value = property_and_value->style_value;
        switch (property_and_value->property) {
        case PropertyID::FlexGrow: {
            // NOTE: The spec says that flex-basis should be 0 here, but other engines currently use 0%.
            // https://github.com/w3c/csswg-drafts/issues/5742
            auto flex_basis = PercentageStyleValue::create(Percentage(0));
            auto one = NumberStyleValue::create(1);
            return make_flex_shorthand(*value, one, flex_basis);
        }
        case PropertyID::FlexBasis: {
            auto one = NumberStyleValue::create(1);
            return make_flex_shorthand(one, one, *value);
        }
        case PropertyID::Flex: {
            if (value->is_keyword() && value->to_keyword() == Keyword::None) {
                auto zero = NumberStyleValue::create(0);
                return make_flex_shorthand(zero, zero, KeywordStyleValue::create(Keyword::Auto));
            }
            break;
        }
        default:
            VERIFY_NOT_REACHED();
        }

        return nullptr;
    }

    RefPtr<StyleValue const> flex_grow;
    RefPtr<StyleValue const> flex_shrink;
    RefPtr<StyleValue const> flex_basis;

    // NOTE: FlexGrow has to be before FlexBasis. `0` is a valid FlexBasis, but only
    //       if FlexGrow (along with optional FlexShrink) have already been specified.
    auto remaining_longhands = Vector { PropertyID::FlexGrow, PropertyID::FlexBasis };

    while (tokens.has_next_token()) {
        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;
        remove_property(remaining_longhands, property_and_value->property);

        switch (property_and_value->property) {
        case PropertyID::FlexGrow: {
            VERIFY(!flex_grow);
            flex_grow = value.release_nonnull();

            // Flex-shrink may optionally follow directly after.
            auto maybe_flex_shrink = parse_css_value_for_property(PropertyID::FlexShrink, tokens);
            if (maybe_flex_shrink)
                flex_shrink = maybe_flex_shrink.release_nonnull();
            continue;
        }
        case PropertyID::FlexBasis: {
            VERIFY(!flex_basis);
            flex_basis = value.release_nonnull();
            continue;
        }
        default:
            VERIFY_NOT_REACHED();
        }
    }

    if (!flex_grow)
        flex_grow = property_initial_value(PropertyID::FlexGrow);
    if (!flex_shrink)
        flex_shrink = property_initial_value(PropertyID::FlexShrink);
    if (!flex_basis) {
        // NOTE: The spec says that flex-basis should be 0 here, but other engines currently use 0%.
        // https://github.com/w3c/csswg-drafts/issues/5742
        flex_basis = PercentageStyleValue::create(Percentage(0));
    }

    return make_flex_shorthand(flex_grow.release_nonnull(), flex_shrink.release_nonnull(), flex_basis.release_nonnull());
}

RefPtr<StyleValue const> Parser::parse_flex_flow_value(TokenStream<ComponentValue>& tokens)
{
    RefPtr<StyleValue const> flex_direction;
    RefPtr<StyleValue const> flex_wrap;

    auto remaining_longhands = Vector { PropertyID::FlexDirection, PropertyID::FlexWrap };
    auto transaction = tokens.begin_transaction();

    while (tokens.has_next_token()) {
        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;
        remove_property(remaining_longhands, property_and_value->property);

        switch (property_and_value->property) {
        case PropertyID::FlexDirection:
            VERIFY(!flex_direction);
            flex_direction = value.release_nonnull();
            continue;
        case PropertyID::FlexWrap:
            VERIFY(!flex_wrap);
            flex_wrap = value.release_nonnull();
            continue;
        default:
            VERIFY_NOT_REACHED();
        }
    }

    if (!flex_direction)
        flex_direction = property_initial_value(PropertyID::FlexDirection);
    if (!flex_wrap)
        flex_wrap = property_initial_value(PropertyID::FlexWrap);

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::FlexFlow,
        { PropertyID::FlexDirection, PropertyID::FlexWrap },
        { flex_direction.release_nonnull(), flex_wrap.release_nonnull() });
}

// https://drafts.csswg.org/css-fonts-4/#font-prop
RefPtr<StyleValue const> Parser::parse_font_value(TokenStream<ComponentValue>& tokens)
{
    // [ [ <'font-style'> || <font-variant-css2> || <'font-weight'> || <font-width-css3> ]? <'font-size'> [ / <'line-height'> ]? <'font-family'># ] | <system-family-name>
    RefPtr<StyleValue const> font_style;
    RefPtr<StyleValue const> font_variant;
    RefPtr<StyleValue const> font_weight;
    RefPtr<StyleValue const> font_width;
    RefPtr<StyleValue const> font_size;
    RefPtr<StyleValue const> line_height;
    RefPtr<StyleValue const> font_families;

    // FIXME: Handle <system-family-name>. (caption, icon, menu, message-box, small-caption, status-bar)

    // Several sub-properties can be "normal", and appear in any order: style, variant, weight, stretch
    // So, we have to handle that separately.
    int normal_count = 0;

    // font-variant and font-width aren't included because we have special parsing rules for them in font.
    auto remaining_longhands = Vector { PropertyID::FontSize, PropertyID::FontStyle, PropertyID::FontWeight };
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    while (tokens.has_next_token()) {
        if (tokens.next_token().is_ident("normal"sv)) {
            normal_count++;
            tokens.discard_a_token(); // normal
            tokens.discard_whitespace();
            continue;
        }

        // <font-variant-css2> = normal | small-caps
        // So, we handle that manually instead of trying to parse the font-variant property.
        if (!font_variant && tokens.next_token().is_ident("small-caps"sv)) {
            tokens.discard_a_token(); // small-caps

            font_variant = ShorthandStyleValue::create(PropertyID::FontVariant,
                { PropertyID::FontVariantAlternates,
                    PropertyID::FontVariantCaps,
                    PropertyID::FontVariantEastAsian,
                    PropertyID::FontVariantEmoji,
                    PropertyID::FontVariantLigatures,
                    PropertyID::FontVariantNumeric,
                    PropertyID::FontVariantPosition },
                {
                    property_initial_value(PropertyID::FontVariantAlternates),
                    KeywordStyleValue::create(Keyword::SmallCaps),
                    property_initial_value(PropertyID::FontVariantEastAsian),
                    property_initial_value(PropertyID::FontVariantEmoji),
                    property_initial_value(PropertyID::FontVariantLigatures),
                    property_initial_value(PropertyID::FontVariantNumeric),
                    property_initial_value(PropertyID::FontVariantPosition),
                });
            tokens.discard_whitespace();
            continue;
        }

        // <font-width-css3> = normal | ultra-condensed | extra-condensed | condensed | semi-condensed | semi-expanded | expanded | extra-expanded | ultra-expanded
        // So again, we do this manually.
        if (!font_width && tokens.next_token().is(Token::Type::Ident)) {
            auto font_width_transaction = tokens.begin_transaction();
            if (auto keyword = parse_keyword_value(tokens)) {
                if (keyword_to_font_width(keyword->to_keyword()).has_value()) {
                    font_width_transaction.commit();
                    font_width = keyword.release_nonnull();
                    tokens.discard_whitespace();
                    continue;
                }
            }
        }

        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;
        remove_property(remaining_longhands, property_and_value->property);

        switch (property_and_value->property) {
        case PropertyID::FontSize: {
            VERIFY(!font_size);
            font_size = value.release_nonnull();

            // Consume `/ line-height` if present
            tokens.discard_whitespace();
            if (tokens.next_token().is_delim('/')) {
                tokens.discard_a_token(); // /
                auto maybe_line_height = parse_css_value_for_property(PropertyID::LineHeight, tokens);
                if (!maybe_line_height)
                    return nullptr;
                line_height = maybe_line_height.release_nonnull();
                tokens.discard_whitespace();
            }

            // Consume font-families
            auto maybe_font_families = parse_font_family_value(tokens);
            // font-family comes last, so we must not have any tokens left over.
            if (!maybe_font_families || tokens.has_next_token())
                return nullptr;
            font_families = maybe_font_families.release_nonnull();
            tokens.discard_whitespace();
            continue;
        }
        case PropertyID::FontStyle: {
            VERIFY(!font_style);
            font_style = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        }
        case PropertyID::FontWeight: {
            VERIFY(!font_weight);
            font_weight = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        }
        default:
            VERIFY_NOT_REACHED();
        }

        return nullptr;
    }

    // Since normal is the default value for all the properties that can have it, we don't have to actually
    // set anything to normal here. It'll be set when we create the ShorthandStyleValue below.
    // We just need to make sure we were not given more normals than will fit.
    int unset_value_count = (font_style ? 0 : 1) + (font_weight ? 0 : 1) + (font_variant ? 0 : 1) + (font_width ? 0 : 1);
    if (unset_value_count < normal_count)
        return nullptr;

    if (!font_size || !font_families)
        return nullptr;

    if (!font_style)
        font_style = property_initial_value(PropertyID::FontStyle);
    if (!font_variant)
        font_variant = property_initial_value(PropertyID::FontVariant);
    if (!font_weight)
        font_weight = property_initial_value(PropertyID::FontWeight);
    if (!font_width)
        font_width = property_initial_value(PropertyID::FontWidth);
    if (!line_height)
        line_height = property_initial_value(PropertyID::LineHeight);

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::Font,
        {
            // Set explicitly https://drafts.csswg.org/css-fonts/#set-explicitly
            PropertyID::FontFamily,
            PropertyID::FontSize,
            PropertyID::FontWidth,
            PropertyID::FontStyle,
            PropertyID::FontVariant,
            PropertyID::FontWeight,
            PropertyID::LineHeight,

            // Reset implicitly https://drafts.csswg.org/css-fonts/#reset-implicitly
            PropertyID::FontFeatureSettings,
            PropertyID::FontKerning,
            PropertyID::FontLanguageOverride,
            PropertyID::FontOpticalSizing,
            // FIXME: PropertyID::FontSizeAdjust,
            PropertyID::FontVariationSettings,
        },
        {
            // Set explicitly
            font_families.release_nonnull(),
            font_size.release_nonnull(),
            font_width.release_nonnull(),
            font_style.release_nonnull(),
            font_variant.release_nonnull(),
            font_weight.release_nonnull(),
            line_height.release_nonnull(),

            // Reset implicitly
            property_initial_value(PropertyID::FontFeatureSettings),   // font-feature-settings
            property_initial_value(PropertyID::FontKerning),           // font-kerning,
            property_initial_value(PropertyID::FontLanguageOverride),  // font-language-override
            property_initial_value(PropertyID::FontOpticalSizing),     // font-optical-sizing,
                                                                       // FIXME: font-size-adjust,
            property_initial_value(PropertyID::FontVariationSettings), // font-variation-settings
        });
}

// https://drafts.csswg.org/css-fonts-4/#font-family-prop
RefPtr<StyleValue const> Parser::parse_font_family_value(TokenStream<ComponentValue>& tokens)
{
    // [ <family-name> | <generic-family> ]#
    return parse_comma_separated_value_list(tokens, [this](auto& inner_tokens) -> RefPtr<StyleValue const> {
        inner_tokens.discard_whitespace();

        // <generic-family>
        if (inner_tokens.next_token().is(Token::Type::Ident)) {
            auto maybe_keyword = keyword_from_string(inner_tokens.next_token().token().ident());
            if (maybe_keyword.has_value() && keyword_to_generic_font_family(maybe_keyword.value()).has_value()) {
                inner_tokens.discard_a_token(); // Ident
                inner_tokens.discard_whitespace();
                return KeywordStyleValue::create(maybe_keyword.value());
            }
        }

        // <family-name>
        return parse_family_name_value(inner_tokens);
    });
}

RefPtr<StyleValue const> Parser::parse_font_language_override_value(TokenStream<ComponentValue>& tokens)
{
    // https://drafts.csswg.org/css-fonts/#propdef-font-language-override
    // This is `normal | <string>` but with the constraint that the string has to be 4 characters long:
    // Shorter strings are right-padded with spaces before use, and longer strings are invalid.

    if (auto normal = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return normal;

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    if (auto string = parse_string_value(tokens)) {
        auto string_value = string->string_value();
        tokens.discard_whitespace();
        if (tokens.has_next_token()) {
            ErrorReporter::the().report(InvalidPropertyError {
                .rule_name = "style"_fly_string,
                .property_name = "font-language-override"_fly_string,
                .value_string = tokens.dump_string(),
                .description = "Unexpected trailing tokens"_string,
            });
            return nullptr;
        }
        auto length = string_value.bytes().size();
        if (length == 0) {
            ErrorReporter::the().report(InvalidPropertyError {
                .rule_name = "style"_fly_string,
                .property_name = "font-language-override"_fly_string,
                .value_string = tokens.dump_string(),
                .description = "<string> value is empty"_string,
            });
            return nullptr;
        }
        if (!string_value.is_ascii()) {
            ErrorReporter::the().report(InvalidPropertyError {
                .rule_name = "style"_fly_string,
                .property_name = "font-language-override"_fly_string,
                .value_string = tokens.dump_string(),
                .description = MUST(String::formatted("<string> value \"{}\" contains non-ascii characters", string_value)),
            });
            return nullptr;
        }
        if (length > 4) {
            ErrorReporter::the().report(InvalidPropertyError {
                .rule_name = "style"_fly_string,
                .property_name = "font-language-override"_fly_string,
                .value_string = tokens.dump_string(),
                .description = MUST(String::formatted("<string> value \"{}\" is too long", string_value)),
            });
            return nullptr;
        }
        // We're expected to always serialize without any trailing spaces, so remove them now for convenience.
        auto trimmed = string_value.bytes_as_string_view().trim_whitespace(TrimMode::Right);
        if (trimmed.is_empty()) {
            ErrorReporter::the().report(InvalidPropertyError {
                .rule_name = "style"_fly_string,
                .property_name = "font-language-override"_fly_string,
                .value_string = tokens.dump_string(),
                .description = MUST(String::formatted("<string> value \"{}\" is only whitespace", string_value)),
            });
            return nullptr;
        }
        transaction.commit();
        if (trimmed != string_value.bytes_as_string_view())
            return StringStyleValue::create(FlyString::from_utf8_without_validation(trimmed.bytes()));
        return string;
    }

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_font_feature_settings_value(TokenStream<ComponentValue>& tokens)
{
    // https://drafts.csswg.org/css-fonts/#propdef-font-feature-settings
    // normal | <feature-tag-value>#

    // normal
    if (auto normal = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return normal;

    // <feature-tag-value>#
    auto transaction = tokens.begin_transaction();
    auto tag_values = parse_a_comma_separated_list_of_component_values(tokens);

    StyleValueVector feature_tags;
    feature_tags.ensure_capacity(tag_values.size());
    for (auto const& values : tag_values) {
        // <feature-tag-value> = <opentype-tag> [ <integer [0,∞]> | on | off ]?
        TokenStream tag_tokens { values };
        tag_tokens.discard_whitespace();
        auto opentype_tag = parse_opentype_tag_value(tag_tokens);
        tag_tokens.discard_whitespace();
        RefPtr<StyleValue const> value;
        if (tag_tokens.has_next_token()) {
            if (auto integer = parse_integer_value(tag_tokens, non_negative_integer_range)) {
                value = integer;
            } else {
                // A value of on is synonymous with 1 and off is synonymous with 0.
                auto keyword = parse_keyword_value(tag_tokens);
                if (!keyword)
                    return nullptr;
                switch (keyword->to_keyword()) {
                case Keyword::On:
                    value = IntegerStyleValue::create(1);
                    break;
                case Keyword::Off:
                    value = IntegerStyleValue::create(0);
                    break;
                default:
                    return nullptr;
                }
            }
            tag_tokens.discard_whitespace();
        } else {
            // "If the value is omitted, a value of 1 is assumed."
            value = IntegerStyleValue::create(1);
        }

        if (!opentype_tag || !value || tag_tokens.has_next_token())
            return nullptr;

        feature_tags.append(OpenTypeTaggedStyleValue::create(OpenTypeTaggedStyleValue::Mode::FontFeatureSettings, opentype_tag->string_value(), value.release_nonnull()));
    }

    transaction.commit();
    return StyleValueList::create(move(feature_tags), StyleValueList::Separator::Comma);
}

RefPtr<StyleValue const> Parser::parse_font_variation_settings_value(TokenStream<ComponentValue>& tokens)
{
    // https://drafts.csswg.org/css-fonts/#propdef-font-variation-settings
    // normal | [ <opentype-tag> <number> ]#

    // normal
    if (auto normal = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return normal;

    // [ <opentype-tag> <number>]#
    auto transaction = tokens.begin_transaction();
    auto tag_values = parse_a_comma_separated_list_of_component_values(tokens);

    StyleValueVector axis_tags;
    for (auto const& values : tag_values) {
        TokenStream tag_tokens { values };
        tag_tokens.discard_whitespace();
        auto opentype_tag = parse_opentype_tag_value(tag_tokens);
        tag_tokens.discard_whitespace();
        auto number = parse_number_value(tag_tokens, infinite_range);
        tag_tokens.discard_whitespace();

        if (!opentype_tag || !number || tag_tokens.has_next_token())
            return nullptr;

        axis_tags.append(OpenTypeTaggedStyleValue::create(OpenTypeTaggedStyleValue::Mode::FontVariationSettings, opentype_tag->string_value(), number.release_nonnull()));
    }

    transaction.commit();
    return StyleValueList::create(move(axis_tags), StyleValueList::Separator::Comma);
}

RefPtr<StyleValue const> Parser::parse_font_variant(TokenStream<ComponentValue>& tokens)
{
    // 6.11 https://drafts.csswg.org/css-fonts/#propdef-font-variant
    // normal |
    // none |
    // [
    //   [ <common-lig-values> || <discretionary-lig-values> || <historical-lig-values> || <contextual-alt-values> ] ||
    //   [ small-caps | all-small-caps | petite-caps | all-petite-caps | unicase | titling-caps ] ||
    //   [ stylistic(<feature-value-name>) || historical-forms || styleset(<feature-value-name>#) || character-variant(<feature-value-name>#) || swash(<feature-value-name>) || ornaments(<feature-value-name>) || annotation(<feature-value-name>) ] ||
    //   [ <numeric-figure-values> || <numeric-spacing-values> || <numeric-fraction-values> || ordinal || slashed-zero ] ||
    //   [ <east-asian-variant-values> || <east-asian-width-values> || ruby ] ||
    //   [ sub | super ] ||
    //   [ text | emoji | unicode ]
    // ]

    RefPtr<StyleValue const> alternates_value {};
    RefPtr<StyleValue const> caps_value {};
    RefPtr<StyleValue const> emoji_value {};
    RefPtr<StyleValue const> position_value {};
    RefPtr<StyleValue const> east_asian_value {};
    RefPtr<StyleValue const> ligatures_value {};
    RefPtr<StyleValue const> numeric_value {};

    if (auto parsed_value = parse_all_as_single_keyword_value(tokens, Keyword::Normal)) {
        // normal, do nothing
    } else if (auto parsed_value = parse_all_as_single_keyword_value(tokens, Keyword::None)) {
        // none
        ligatures_value = parsed_value;
    } else {

        while (tokens.has_next_token()) {
            // [ <common-lig-values> || <discretionary-lig-values> || <historical-lig-values> || <contextual-alt-values> ]
            if (auto maybe_ligature_value = parse_font_variant_ligatures_value(tokens)) {
                if (ligatures_value)
                    return nullptr;
                ligatures_value = maybe_ligature_value.release_nonnull();
                continue;
            }

            // [ stylistic(<feature-value-name>) || historical-forms || styleset(<feature-value-name>#) || character-variant(<feature-value-name>#) || swash(<feature-value-name>) || ornaments(<feature-value-name>) || annotation(<feature-value-name>) ]
            if (auto maybe_alternates_value = parse_font_variant_alternates_value(tokens)) {
                if (alternates_value)
                    return nullptr;
                alternates_value = maybe_alternates_value.release_nonnull();
                continue;
            }

            // [ <numeric-figure-values> || <numeric-spacing-values> || <numeric-fraction-values> || ordinal || slashed-zero ]
            if (auto maybe_numeric_value = parse_font_variant_numeric_value(tokens)) {
                if (numeric_value)
                    return nullptr;
                numeric_value = maybe_numeric_value.release_nonnull();
                continue;
            }

            // [ <east-asian-variant-values> || <east-asian-width-values> || ruby ]
            if (auto maybe_east_asian_value = parse_font_variant_east_asian_value(tokens)) {
                if (east_asian_value)
                    return nullptr;
                east_asian_value = maybe_east_asian_value.release_nonnull();
                continue;
            }

            auto maybe_value = parse_keyword_value(tokens);
            if (!maybe_value)
                break;
            auto value = maybe_value.release_nonnull();
            if (!value->is_keyword())
                return nullptr;

            auto keyword = value->to_keyword();

            switch (keyword) {
            // [ small-caps | all-small-caps | petite-caps | all-petite-caps | unicase | titling-caps ]
            case Keyword::SmallCaps:
            case Keyword::AllSmallCaps:
            case Keyword::PetiteCaps:
            case Keyword::AllPetiteCaps:
            case Keyword::Unicase:
            case Keyword::TitlingCaps:
                if (caps_value != nullptr)
                    return nullptr;
                caps_value = value.ptr();
                break;
            // text | emoji | unicode
            case Keyword::Text:
            case Keyword::Emoji:
            case Keyword::Unicode:
                if (emoji_value != nullptr)
                    return nullptr;
                emoji_value = value.ptr();
                break;
            // sub | super
            case Keyword::Sub:
            case Keyword::Super:
                if (position_value != nullptr)
                    return nullptr;
                position_value = value.ptr();
                break;
            default:
                return nullptr;
            }
        }
    }

    auto normal_value = KeywordStyleValue::create(Keyword::Normal);
    if (!alternates_value)
        alternates_value = normal_value;
    if (!caps_value)
        caps_value = normal_value;
    if (!emoji_value)
        emoji_value = normal_value;
    if (!position_value)
        position_value = normal_value;
    if (!east_asian_value)
        east_asian_value = normal_value;
    if (!ligatures_value)
        ligatures_value = normal_value;
    if (!numeric_value)
        numeric_value = normal_value;

    return ShorthandStyleValue::create(PropertyID::FontVariant,
        { PropertyID::FontVariantAlternates,
            PropertyID::FontVariantCaps,
            PropertyID::FontVariantEastAsian,
            PropertyID::FontVariantEmoji,
            PropertyID::FontVariantLigatures,
            PropertyID::FontVariantNumeric,
            PropertyID::FontVariantPosition },
        {
            alternates_value.release_nonnull(),
            caps_value.release_nonnull(),
            east_asian_value.release_nonnull(),
            emoji_value.release_nonnull(),
            ligatures_value.release_nonnull(),
            numeric_value.release_nonnull(),
            position_value.release_nonnull(),
        });
}

RefPtr<StyleValue const> Parser::parse_list_style_value(TokenStream<ComponentValue>& tokens)
{
    RefPtr<StyleValue const> list_position;
    RefPtr<StyleValue const> list_image;
    RefPtr<StyleValue const> list_type;
    int found_nones = 0;

    Vector<PropertyID> remaining_longhands { PropertyID::ListStyleImage, PropertyID::ListStylePosition, PropertyID::ListStyleType };

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        if (auto const& peek = tokens.next_token(); peek.is_ident("none"sv)) {
            tokens.discard_a_token(); // none
            found_nones++;
            continue;
        }

        auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
        tokens.discard_whitespace();
        if (!property_and_value.has_value())
            return nullptr;
        auto& value = property_and_value->style_value;
        remove_property(remaining_longhands, property_and_value->property);

        switch (property_and_value->property) {
        case PropertyID::ListStylePosition: {
            VERIFY(!list_position);
            list_position = value.release_nonnull();
            continue;
        }
        case PropertyID::ListStyleImage: {
            VERIFY(!list_image);
            list_image = value.release_nonnull();
            continue;
        }
        case PropertyID::ListStyleType: {
            VERIFY(!list_type);
            list_type = value.release_nonnull();
            continue;
        }
        default:
            VERIFY_NOT_REACHED();
        }
    }

    if (found_nones > 2)
        return nullptr;

    if (found_nones == 2) {
        if (list_image || list_type)
            return nullptr;
        auto none = KeywordStyleValue::create(Keyword::None);
        list_image = none;
        list_type = none;

    } else if (found_nones == 1) {
        if (list_image && list_type)
            return nullptr;
        auto none = KeywordStyleValue::create(Keyword::None);
        if (!list_image)
            list_image = none;
        if (!list_type)
            list_type = none;
    }

    if (!list_position)
        list_position = property_initial_value(PropertyID::ListStylePosition);
    if (!list_image)
        list_image = property_initial_value(PropertyID::ListStyleImage);
    if (!list_type)
        list_type = property_initial_value(PropertyID::ListStyleType);

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::ListStyle,
        { PropertyID::ListStylePosition, PropertyID::ListStyleImage, PropertyID::ListStyleType },
        { list_position.release_nonnull(), list_image.release_nonnull(), list_type.release_nonnull() });
}

RefPtr<StyleValue const> Parser::parse_mask_value(TokenStream<ComponentValue>& tokens)
{
    // https://drafts.fxtf.org/css-masking-1/#the-mask
    // <mask-layer>#
    //
    // <mask-layer> =
    //   <mask-reference> ||
    //   <position> [ / <bg-size> ]? ||
    //   <repeat-style> ||
    //   <geometry-box> ||
    //   [ <geometry-box> | no-clip ] ||
    //   <compositing-operator> ||
    //   <masking-mode>
    auto transaction = tokens.begin_transaction();

    auto make_mask_shorthand = [](auto mask_image, auto mask_position, auto mask_size, auto mask_repeat, auto mask_origin, auto mask_clip, auto mask_composite, auto mask_mode) {
        return ShorthandStyleValue::create(PropertyID::Mask,
            { PropertyID::MaskImage, PropertyID::MaskPosition, PropertyID::MaskSize, PropertyID::MaskRepeat, PropertyID::MaskOrigin, PropertyID::MaskClip, PropertyID::MaskComposite, PropertyID::MaskMode },
            { move(mask_image), move(mask_position), move(mask_size), move(mask_repeat), move(mask_origin), move(mask_clip), move(mask_composite), move(mask_mode) });
    };

    StyleValueVector mask_images;
    StyleValueVector mask_positions;
    StyleValueVector mask_sizes;
    StyleValueVector mask_repeats;
    StyleValueVector mask_origins;
    StyleValueVector mask_clips;
    StyleValueVector mask_composites;
    StyleValueVector mask_modes;

    auto initial_mask_image = property_initial_value(PropertyID::MaskImage)->as_value_list().values()[0];
    auto initial_mask_position = property_initial_value(PropertyID::MaskPosition)->as_value_list().values()[0];
    auto initial_mask_size = property_initial_value(PropertyID::MaskSize)->as_value_list().values()[0];
    auto initial_mask_repeat = property_initial_value(PropertyID::MaskRepeat)->as_value_list().values()[0];
    auto initial_mask_origin = property_initial_value(PropertyID::MaskOrigin)->as_value_list().values()[0];
    auto initial_mask_clip = property_initial_value(PropertyID::MaskClip)->as_value_list().values()[0];
    auto initial_mask_composite = property_initial_value(PropertyID::MaskComposite)->as_value_list().values()[0];
    auto initial_mask_mode = property_initial_value(PropertyID::MaskMode)->as_value_list().values()[0];

    // Per-layer values
    RefPtr<StyleValue const> mask_image;
    RefPtr<StyleValue const> mask_position;
    RefPtr<StyleValue const> mask_size;
    RefPtr<StyleValue const> mask_repeat;
    RefPtr<StyleValue const> mask_origin;
    RefPtr<StyleValue const> mask_clip;
    RefPtr<StyleValue const> mask_composite;
    RefPtr<StyleValue const> mask_mode;

    bool has_multiple_layers = false;
    // MaskSize is always parsed as part of MaskPosition, so we don't include it here.
    Vector<PropertyID> remaining_layer_properties {
        PropertyID::MaskImage,
        PropertyID::MaskPosition,
        PropertyID::MaskRepeat,
        PropertyID::MaskOrigin,
        PropertyID::MaskClip,
        PropertyID::MaskComposite,
        PropertyID::MaskMode,
    };

    auto mask_layer_is_valid = [&]() -> bool {
        return mask_image || mask_position || mask_size || mask_repeat || mask_origin || mask_clip || mask_composite || mask_mode;
    };

    auto complete_mask_layer = [&]() {
        mask_images.append(mask_image ? mask_image.release_nonnull() : initial_mask_image);
        mask_positions.append(mask_position ? mask_position.release_nonnull() : initial_mask_position);
        mask_sizes.append(mask_size ? mask_size.release_nonnull() : initial_mask_size);
        mask_repeats.append(mask_repeat ? mask_repeat.release_nonnull() : initial_mask_repeat);
        mask_composites.append(mask_composite ? mask_composite.release_nonnull() : initial_mask_composite);
        mask_modes.append(mask_mode ? mask_mode.release_nonnull() : initial_mask_mode);

        if (!mask_origin)
            mask_origin = initial_mask_origin;
        if (!mask_clip)
            mask_clip = mask_origin;
        mask_origins.append(mask_origin.release_nonnull());
        mask_clips.append(mask_clip.release_nonnull());

        mask_image = nullptr;
        mask_position = nullptr;
        mask_size = nullptr;
        mask_repeat = nullptr;
        mask_origin = nullptr;
        mask_clip = nullptr;
        mask_composite = nullptr;
        mask_mode = nullptr;

        remaining_layer_properties.clear_with_capacity();
        remaining_layer_properties.unchecked_append(PropertyID::MaskImage);
        remaining_layer_properties.unchecked_append(PropertyID::MaskPosition);
        remaining_layer_properties.unchecked_append(PropertyID::MaskRepeat);
        remaining_layer_properties.unchecked_append(PropertyID::MaskOrigin);
        remaining_layer_properties.unchecked_append(PropertyID::MaskClip);
        remaining_layer_properties.unchecked_append(PropertyID::MaskComposite);
        remaining_layer_properties.unchecked_append(PropertyID::MaskMode);
    };

    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        if (tokens.next_token().is(Token::Type::Comma)) {
            has_multiple_layers = true;
            if (!mask_layer_is_valid())
                return nullptr;
            complete_mask_layer();
            tokens.discard_a_token(); // ,
            tokens.discard_whitespace();
            continue;
        }

        Optional<PropertyAndValue> property_and_value;
        {
            auto value_transaction = tokens.begin_transaction();
            property_and_value = parse_css_value_for_properties(remaining_layer_properties, tokens);
            if (!property_and_value.has_value())
                return nullptr;
            // FIXME: mask-repeat can't be parsed fully with parse_css_value_for_properties(), so don't commit
            //        the transaction, and then parse it manually below.
            if (property_and_value->property != PropertyID::MaskRepeat)
                value_transaction.commit();
        }
        auto& [property, value] = *property_and_value;
        remove_property(remaining_layer_properties, property);

        switch (property) {
        // <mask-reference>
        case PropertyID::MaskImage:
            VERIFY(!mask_image);
            mask_image = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        // <position> [ / <bg-size> ]?
        case PropertyID::MaskPosition: {
            VERIFY(!mask_position);
            mask_position = value.release_nonnull();

            // Attempt to parse `/ <bg-size>`
            auto mask_size_transaction = tokens.begin_transaction();
            tokens.discard_whitespace();
            if (auto const& maybe_slash = tokens.consume_a_token(); maybe_slash.is_delim('/')) {
                tokens.discard_whitespace();
                if (auto maybe_mask_size = parse_single_background_size_value(PropertyID::MaskSize, tokens)) {
                    mask_size_transaction.commit();
                    tokens.discard_whitespace();
                    mask_size = maybe_mask_size.release_nonnull();
                    continue;
                }
                return nullptr;
            }
            tokens.discard_whitespace();
            continue;
        }
        // <repeat-style>
        case PropertyID::MaskRepeat: {
            VERIFY(!mask_repeat);
            // NB: The tokens for this didn't get consumed, see above. So we parse it fully now.
            if (auto maybe_repeat = parse_single_repeat_style_value(property, tokens)) {
                mask_repeat = maybe_repeat.release_nonnull();
                tokens.discard_whitespace();
                continue;
            }
            return nullptr;
        }
        // <geometry-box> || [ <geometry-box> | no-clip ]
        // If one <geometry-box> value and the no-clip keyword are present then <geometry-box> sets mask-origin and
        // no-clip sets mask-clip to that value.
        // If one <geometry-box> value and no no-clip keyword are present then <geometry-box> sets both mask-origin and
        // mask-clip to that value.
        // If two <geometry-box> values are present, then the first sets mask-origin and the second mask-clip.
        case PropertyID::MaskOrigin:
        case PropertyID::MaskClip: {
            VERIFY(value->is_keyword());
            if (value->as_keyword().keyword() == Keyword::NoClip) {
                VERIFY(!mask_clip);
                mask_clip = value.release_nonnull();
            } else if (!mask_origin) {
                mask_origin = value.release_nonnull();
            } else if (!mask_clip) {
                mask_clip = value.release_nonnull();
            } else {
                VERIFY_NOT_REACHED();
            }
            tokens.discard_whitespace();
            continue;
        }
        // <compositing-operator>
        case PropertyID::MaskComposite:
            VERIFY(!mask_composite);
            mask_composite = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        // <masking-mode>
        case PropertyID::MaskMode:
            VERIFY(!mask_mode);
            mask_mode = value.release_nonnull();
            tokens.discard_whitespace();
            continue;
        default:
            VERIFY_NOT_REACHED();
        }

        VERIFY_NOT_REACHED();
    }

    if (!mask_layer_is_valid())
        return nullptr;

    // We only need to create StyleValueLists if there are multiple layers.
    // Otherwise, we can pass the single StyleValue directly
    if (has_multiple_layers) {
        complete_mask_layer();
        transaction.commit();
        return make_mask_shorthand(
            StyleValueList::create(move(mask_images), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_positions), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_sizes), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_repeats), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_origins), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_clips), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_composites), StyleValueList::Separator::Comma),
            StyleValueList::create(move(mask_modes), StyleValueList::Separator::Comma));
    }

    if (!mask_image)
        mask_image = initial_mask_image;
    if (!mask_position)
        mask_position = initial_mask_position;
    if (!mask_size)
        mask_size = initial_mask_size;
    if (!mask_repeat)
        mask_repeat = initial_mask_repeat;
    if (!mask_origin)
        mask_origin = initial_mask_origin;
    if (!mask_clip)
        mask_clip = mask_origin; // intentionally not initial value
    if (!mask_composite)
        mask_composite = initial_mask_composite;
    if (!mask_mode)
        mask_mode = initial_mask_mode;

    transaction.commit();
    return make_mask_shorthand(
        mask_image.release_nonnull(),
        mask_position.release_nonnull(),
        mask_size.release_nonnull(),
        mask_repeat.release_nonnull(),
        mask_origin.release_nonnull(),
        mask_clip.release_nonnull(),
        mask_composite.release_nonnull(),
        mask_mode.release_nonnull());
}

RefPtr<StyleValue const> Parser::parse_math_depth_value(TokenStream<ComponentValue>& tokens)
{
    // https://w3c.github.io/mathml-core/#propdef-math-depth
    // auto-add | add(<integer>) | <integer>
    auto transaction = tokens.begin_transaction();

    // auto-add
    if (auto keyword = parse_all_as_single_keyword_value(tokens, Keyword::AutoAdd)) {
        transaction.commit();
        return keyword;
    }

    // add(<integer>)
    if (tokens.next_token().is_function("add"sv)) {
        auto const& function = tokens.next_token().function();
        auto context_guard = push_temporary_value_parsing_context(FunctionContext { function.name });

        auto add_tokens = TokenStream { function.value };
        add_tokens.discard_whitespace();
        if (auto integer_value = parse_integer_value(add_tokens, infinite_integer_range)) {
            add_tokens.discard_whitespace();
            if (add_tokens.has_next_token())
                return nullptr;
            tokens.discard_a_token(); // add()
            transaction.commit();
            return FunctionStyleValue::create("add"_fly_string, integer_value.release_nonnull());
        }
        return nullptr;
    }

    // <integer>
    if (auto integer_value = parse_integer_value(tokens, infinite_integer_range)) {
        transaction.commit();
        return integer_value;
    }

    return nullptr;
}

// https://drafts.csswg.org/css-overflow-4/#overflow-clip-margin
RefPtr<StyleValue const> Parser::parse_overflow_clip_margin_value(TokenStream<ComponentValue>& tokens)
{
    // <visual-box> || <length>
    auto parse_visual_box = [this](auto& tokens) -> Optional<BackgroundBox> {
        auto transaction = tokens.begin_transaction();
        auto maybe_visual_box = parse_keyword_value(tokens);
        if (!maybe_visual_box)
            return {};

        auto keyword = maybe_visual_box->to_keyword();
        Optional<BackgroundBox> box;
        if (keyword == Keyword::ContentBox)
            box = BackgroundBox::ContentBox;
        else if (keyword == Keyword::PaddingBox)
            box = BackgroundBox::PaddingBox;
        else if (keyword == Keyword::BorderBox)
            box = BackgroundBox::BorderBox;
        else
            return {};

        transaction.commit();
        return box;
    };

    RefPtr<StyleValue const> length;
    Optional<BackgroundBox> visual_box;

    for (size_t i = 0; i < 2; ++i) {
        tokens.discard_whitespace();
        if (!tokens.has_next_token())
            break;

        if (!visual_box.has_value()) {
            if (auto maybe_visual_box = parse_visual_box(tokens); maybe_visual_box.has_value()) {
                visual_box = maybe_visual_box.release_value();
                continue;
            }
        }

        if (!length) {
            if (auto maybe_length = parse_length_value(tokens, non_negative_range)) {
                length = maybe_length.release_nonnull();
                continue;
            }
        }

        return nullptr;
    }

    tokens.discard_whitespace();
    if (tokens.has_next_token() || (!visual_box.has_value() && !length))
        return nullptr;

    if (!length)
        length = LengthStyleValue::create(Length::make_px(0));

    return OverflowClipMarginStyleValue::create(visual_box, length.release_nonnull());
}

RefPtr<StyleValue const> Parser::parse_overflow_clip_margin_shorthand(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    // <visual-box> || <length>

    if (auto value = parse_overflow_clip_margin_value(tokens)) {
        auto const& longhands = longhands_for_shorthand(property_id);
        Vector<ValueComparingNonnullRefPtr<StyleValue const>> longhand_values;
        longhand_values.resize_with_default_value(longhands.size(), value.release_nonnull());

        return ShorthandStyleValue::create(property_id, longhands, longhand_values);
    }

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_paint_order_value(TokenStream<ComponentValue>& tokens)
{
    if (auto normal = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return normal;

    bool has_fill = false;
    bool has_stroke = false;
    bool has_markers = false;

    auto parse_paint_order_keyword = [&](auto& inner_tokens) -> RefPtr<StyleValue const> {
        auto maybe_value = parse_keyword_value(inner_tokens);
        if (!maybe_value)
            return nullptr;

        switch (maybe_value->to_keyword()) {
        case Keyword::Fill:
            if (has_fill)
                return nullptr;
            has_fill = true;
            break;
        case Keyword::Markers:
            if (has_markers)
                return nullptr;
            has_markers = true;
            break;
        case Keyword::Stroke:
            if (has_stroke)
                return nullptr;
            has_stroke = true;
            break;
        default:
            return nullptr;
        }

        return maybe_value.release_nonnull();
    };

    tokens.discard_whitespace();
    if (tokens.is_empty())
        return nullptr;

    auto transaction = tokens.begin_transaction();
    auto first_keyword_value = parse_paint_order_keyword(tokens);
    if (!first_keyword_value)
        return nullptr;

    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        transaction.commit();
        return first_keyword_value;
    }

    auto second_keyword_value = parse_paint_order_keyword(tokens);
    if (!second_keyword_value)
        return nullptr;

    tokens.discard_whitespace();
    if (tokens.has_next_token()) {
        // The third keyword is parsed to ensure it is valid, but it doesn't get added to the list. This follows the
        // shortest-serialization principle, as the value can always be inferred.
        if (auto third_keyword_value = parse_paint_order_keyword(tokens); !third_keyword_value)
            return nullptr;
        tokens.discard_whitespace();
        if (tokens.has_next_token())
            return nullptr;
    }

    transaction.commit();
    auto expected_second_keyword = Keyword::Fill;
    if (first_keyword_value->to_keyword() == Keyword::Fill)
        expected_second_keyword = Keyword::Stroke;

    if (expected_second_keyword == second_keyword_value->to_keyword())
        return first_keyword_value;

    return StyleValueList::create({ first_keyword_value.release_nonnull(), second_keyword_value.release_nonnull() }, StyleValueList::Separator::Space);
}

RefPtr<StyleValue const> Parser::parse_place_content_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();
    auto maybe_align_content_value = parse_css_value_for_property(PropertyID::AlignContent, tokens);
    if (!maybe_align_content_value)
        return nullptr;

    if (!tokens.has_next_token()) {
        if (!property_accepts_keyword(PropertyID::JustifyContent, maybe_align_content_value->to_keyword()))
            return nullptr;
        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::PlaceContent,
            { PropertyID::AlignContent, PropertyID::JustifyContent },
            { *maybe_align_content_value, *maybe_align_content_value });
    }

    auto maybe_justify_content_value = parse_css_value_for_property(PropertyID::JustifyContent, tokens);
    if (!maybe_justify_content_value)
        return nullptr;
    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::PlaceContent,
        { PropertyID::AlignContent, PropertyID::JustifyContent },
        { maybe_align_content_value.release_nonnull(), maybe_justify_content_value.release_nonnull() });
}

RefPtr<StyleValue const> Parser::parse_place_items_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();
    auto maybe_align_items_value = parse_css_value_for_property(PropertyID::AlignItems, tokens);
    if (!maybe_align_items_value)
        return nullptr;

    if (!tokens.has_next_token()) {
        if (!property_accepts_keyword(PropertyID::JustifyItems, maybe_align_items_value->to_keyword()))
            return nullptr;
        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::PlaceItems,
            { PropertyID::AlignItems, PropertyID::JustifyItems },
            { *maybe_align_items_value, *maybe_align_items_value });
    }

    auto maybe_justify_items_value = parse_css_value_for_property(PropertyID::JustifyItems, tokens);
    if (!maybe_justify_items_value)
        return nullptr;
    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::PlaceItems,
        { PropertyID::AlignItems, PropertyID::JustifyItems },
        { *maybe_align_items_value, *maybe_justify_items_value });
}

RefPtr<StyleValue const> Parser::parse_place_self_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();
    auto maybe_align_self_value = parse_css_value_for_property(PropertyID::AlignSelf, tokens);
    if (!maybe_align_self_value)
        return nullptr;

    if (!tokens.has_next_token()) {
        if (!property_accepts_keyword(PropertyID::JustifySelf, maybe_align_self_value->to_keyword()))
            return nullptr;
        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::PlaceSelf,
            { PropertyID::AlignSelf, PropertyID::JustifySelf },
            { *maybe_align_self_value, *maybe_align_self_value });
    }

    auto maybe_justify_self_value = parse_css_value_for_property(PropertyID::JustifySelf, tokens);
    if (!maybe_justify_self_value)
        return nullptr;
    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::PlaceSelf,
        { PropertyID::AlignSelf, PropertyID::JustifySelf },
        { *maybe_align_self_value, *maybe_justify_self_value });
}

// https://drafts.csswg.org/css-anchor-position/#position-anchor
RefPtr<StyleValue const> Parser::parse_position_anchor_value(TokenStream<ComponentValue>& tokens)
{
    // normal | none | auto | <anchor-name>
    if (auto keyword = parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return keyword;
    if (auto keyword = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return keyword;
    if (auto keyword = parse_all_as_single_keyword_value(tokens, Keyword::Auto))
        return keyword;

    // <anchor-name> = <dashed-ident>
    return parse_dashed_ident_value(tokens);
}

// https://drafts.csswg.org/css-anchor-position/#position-try-fallbacks
RefPtr<StyleValue const> Parser::parse_position_try_fallbacks_value(TokenStream<ComponentValue>& tokens)
{
    // none | [ [<dashed-ident> || <try-tactic>] | <position-area> ]#

    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    return parse_comma_separated_value_list(tokens, [&](auto& inner_tokens) {
        return parse_single_position_try_fallbacks_value(inner_tokens);
    });
}

RefPtr<StyleValue const> Parser::parse_single_position_try_fallbacks_value(TokenStream<ComponentValue>& tokens)
{
    // [<dashed-ident> || <try-tactic>] | <position-area>
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    if (auto position_area = parse_position_area(tokens)) {
        transaction.commit();
        return position_area;
    }

    RefPtr<StyleValue const> dashed_ident;
    RefPtr<StyleValue const> try_tactic;
    while (tokens.has_next_token()) {
        if (auto try_tactic_value = parse_try_tactic_value(tokens)) {
            if (try_tactic)
                return {};
            try_tactic = try_tactic_value.release_nonnull();
        } else if (auto maybe_dashed_ident = parse_dashed_ident_value(tokens)) {
            if (dashed_ident)
                return {};
            dashed_ident = maybe_dashed_ident.release_nonnull();
        } else {
            break;
        }
        tokens.discard_whitespace();
    }

    StyleValueVector values;
    if (dashed_ident)
        values.append(dashed_ident.release_nonnull());
    if (try_tactic)
        values.append(try_tactic.release_nonnull());

    if (values.is_empty())
        return {};

    transaction.commit();
    return StyleValueList::create(move(values), StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-anchor-position-1/#typedef-position-try-fallbacks-try-tactic
RefPtr<StyleValue const> Parser::parse_try_tactic_value(TokenStream<ComponentValue>& tokens)
{
    // <try-tactic> = flip-block || flip-inline || flip-start
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    StyleValueVector values;
    bool has_flip_block = false;
    bool has_flip_inline = false;
    bool has_flip_start = false;
    while (tokens.has_next_token()) {
        auto keyword_value = parse_keyword_value(tokens);
        if (!keyword_value)
            break;
        switch (keyword_value->to_keyword()) {
        case Keyword::FlipBlock:
            if (has_flip_block)
                return {};
            has_flip_block = true;
            values.append(keyword_value.release_nonnull());
            break;
        case Keyword::FlipInline:
            if (has_flip_inline)
                return {};
            has_flip_inline = true;
            values.append(keyword_value.release_nonnull());
            break;
        case Keyword::FlipStart:
            if (has_flip_start)
                return {};
            has_flip_start = true;
            values.append(keyword_value.release_nonnull());
            break;
        default:
            return {};
        }
        tokens.discard_whitespace();
    }

    transaction.commit();
    if (values.is_empty())
        return {};
    return StyleValueList::create(move(values), StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-anchor-position/#position-area-syntax
RefPtr<StyleValue const> Parser::parse_position_area(TokenStream<ComponentValue>& tokens)
{
    // <position-area> = [
    //    [ left | center | right | span-left | span-right
    //    | x-start | x-end | span-x-start | span-x-end
    //    | x-self-start | x-self-end | span-x-self-start | span-x-self-end
    //    | span-all ]
    //    ||
    //    [ top | center | bottom | span-top | span-bottom
    //    | y-start | y-end | span-y-start | span-y-end
    //    | y-self-start | y-self-end | span-y-self-start | span-y-self-end
    //    | span-all ]
    //  |
    //    [ block-start | center | block-end | span-block-start | span-block-end | span-all ]
    //    ||
    //    [ inline-start | center | inline-end | span-inline-start | span-inline-end
    //    | span-all ]
    //  |
    //    [ self-block-start | center | self-block-end | span-self-block-start
    //    | span-self-block-end | span-all ]
    //    ||
    //    [ self-inline-start | center | self-inline-end | span-self-inline-start
    //    | span-self-inline-end | span-all ]
    //  |
    //    [ start | center | end | span-start | span-end | span-all ]{1,2}
    //    |
    //      [ self-start | center | self-end | span-self-start | span-self-end | span-all ]{1,2}
    //    ]
    auto is_x_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::Left:
        case Keyword::Center:
        case Keyword::Right:
        case Keyword::SpanLeft:
        case Keyword::SpanRight:
        case Keyword::XStart:
        case Keyword::XEnd:
        case Keyword::SpanXStart:
        case Keyword::SpanXEnd:
        case Keyword::SelfXStart:
        case Keyword::SelfXEnd:
        case Keyword::SpanSelfXStart:
        case Keyword::SpanSelfXEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_y_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::Top:
        case Keyword::Center:
        case Keyword::Bottom:
        case Keyword::SpanTop:
        case Keyword::SpanBottom:
        case Keyword::YStart:
        case Keyword::YEnd:
        case Keyword::SpanYStart:
        case Keyword::SpanYEnd:
        case Keyword::SelfYStart:
        case Keyword::SelfYEnd:
        case Keyword::SpanSelfYStart:
        case Keyword::SpanSelfYEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_block_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::BlockStart:
        case Keyword::Center:
        case Keyword::BlockEnd:
        case Keyword::SpanBlockStart:
        case Keyword::SpanBlockEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_inline_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::InlineStart:
        case Keyword::Center:
        case Keyword::InlineEnd:
        case Keyword::SpanInlineStart:
        case Keyword::SpanInlineEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_self_block_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::SelfBlockStart:
        case Keyword::Center:
        case Keyword::SelfBlockEnd:
        case Keyword::SpanSelfBlockStart:
        case Keyword::SpanSelfBlockEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_self_inline_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::SelfInlineStart:
        case Keyword::Center:
        case Keyword::SelfInlineEnd:
        case Keyword::SpanSelfInlineStart:
        case Keyword::SpanSelfInlineEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_start_end_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::Start:
        case Keyword::Center:
        case Keyword::End:
        case Keyword::SpanStart:
        case Keyword::SpanEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_self_start_end_keyword = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::SelfStart:
        case Keyword::Center:
        case Keyword::SelfEnd:
        case Keyword::SpanSelfStart:
        case Keyword::SpanSelfEnd:
        case Keyword::SpanAll:
            return true;
        default:
            break;
        }
        return false;
    };

    auto is_axis_ambiguous = [](Keyword keyword) -> bool {
        switch (keyword) {
        case Keyword::Center:
        case Keyword::SpanAll:
        case Keyword::Start:
        case Keyword::End:
        case Keyword::SelfStart:
        case Keyword::SelfEnd:
        case Keyword::SpanStart:
        case Keyword::SpanEnd:
        case Keyword::SpanSelfStart:
        case Keyword::SpanSelfEnd:
            return true;
        default:
            break;
        }
        return false;
    };

    auto transaction = tokens.begin_transaction();
    auto create_keyword_list = [&](StyleValue const& first, StyleValue const& second) -> NonnullRefPtr<StyleValue const> {
        transaction.commit();

        // If only a single keyword is given, it behaves as if the second keyword is span-all if the given keyword is
        // unambiguous about its axis.
        // These conditions ensure the span-all keyword is omitted when it would be implied.
        if (!is_axis_ambiguous(first.as_keyword().keyword()) && second.as_keyword().keyword() == Keyword::SpanAll)
            return first;
        if (!is_axis_ambiguous(second.as_keyword().keyword()) && first.as_keyword().keyword() == Keyword::SpanAll)
            return second;

        return StyleValueList::create({ first, second }, StyleValueList::Separator::Space);
    };

    auto first_keyword_value = parse_keyword_value(tokens);
    if (!first_keyword_value)
        return nullptr;

    tokens.discard_whitespace();
    auto second_keyword_value = parse_keyword_value(tokens);
    if (!second_keyword_value) {
        auto first_position_area_keyword = keyword_to_position_area(first_keyword_value->as_keyword().keyword());
        if (!first_position_area_keyword.has_value())
            return nullptr;
        transaction.commit();
        return first_keyword_value;
    }

    auto first_keyword = first_keyword_value->as_keyword().keyword();
    auto second_keyword = second_keyword_value->as_keyword().keyword();

    if (is_x_keyword(first_keyword) && is_y_keyword(second_keyword))
        return create_keyword_list(*first_keyword_value, *second_keyword_value);
    if (is_y_keyword(first_keyword) && is_x_keyword(second_keyword))
        return create_keyword_list(*second_keyword_value, *first_keyword_value);

    if (is_block_keyword(first_keyword) && is_inline_keyword(second_keyword))
        return create_keyword_list(*first_keyword_value, *second_keyword_value);
    if (is_inline_keyword(first_keyword) && is_block_keyword(second_keyword))
        return create_keyword_list(*second_keyword_value, *first_keyword_value);

    if (is_self_block_keyword(first_keyword) && is_self_inline_keyword(second_keyword))
        return create_keyword_list(*first_keyword_value, *second_keyword_value);
    if (is_self_inline_keyword(first_keyword) && is_self_block_keyword(second_keyword))
        return create_keyword_list(*second_keyword_value, *first_keyword_value);

    if (is_start_end_keyword(first_keyword) && is_start_end_keyword(second_keyword))
        return create_keyword_list(*first_keyword_value, *second_keyword_value);
    if (is_self_start_end_keyword(first_keyword) && is_self_start_end_keyword(second_keyword))
        return create_keyword_list(*first_keyword_value, *second_keyword_value);

    return nullptr;
}

// https://drafts.csswg.org/css-anchor-position/#position-area
RefPtr<StyleValue const> Parser::parse_position_area_value(TokenStream<ComponentValue>& tokens)
{
    // none | <position-area>

    // none
    if (auto none_keyword_value = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none_keyword_value;

    // <position-area>
    return parse_position_area(tokens);
}

// https://drafts.csswg.org/css-anchor-position/#position-visibility
RefPtr<StyleValue const> Parser::parse_position_visibility_value(TokenStream<ComponentValue>& tokens)
{
    // always | [ anchors-valid || anchors-visible || no-overflow ]
    if (auto always = parse_all_as_single_keyword_value(tokens, Keyword::Always))
        return always;

    RefPtr<StyleValue const> anchors_valid_value;
    RefPtr<StyleValue const> anchors_visible_value;
    RefPtr<StyleValue const> no_overflow_value;
    StyleValueVector values;
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    while (tokens.has_next_token()) {
        auto keyword_value = parse_keyword_value(tokens);
        if (!keyword_value)
            return nullptr;

        switch (keyword_value->to_keyword()) {
        case Keyword::AnchorsValid:
            if (anchors_valid_value)
                return nullptr;
            anchors_valid_value = keyword_value.release_nonnull();
            break;
        case Keyword::AnchorsVisible:
            if (anchors_visible_value)
                return nullptr;
            anchors_visible_value = keyword_value.release_nonnull();
            break;
        case Keyword::NoOverflow:
            if (no_overflow_value)
                return nullptr;
            no_overflow_value = keyword_value.release_nonnull();
            break;
        default:
            return nullptr;
        }
        tokens.discard_whitespace();
    }

    if (anchors_valid_value)
        values.append(anchors_valid_value.release_nonnull());
    if (anchors_visible_value)
        values.append(anchors_visible_value.release_nonnull());
    if (no_overflow_value)
        values.append(no_overflow_value.release_nonnull());

    if (values.is_empty())
        return nullptr;

    transaction.commit();
    return StyleValueList::create(move(values), StyleValueList::Separator::Space);
}

RefPtr<StyleValue const> Parser::parse_quotes_value(TokenStream<ComponentValue>& tokens)
{
    // https://www.w3.org/TR/css-content-3/#quotes-property
    // auto | none | [ <string> <string> ]+

    if (auto auto_keyword = parse_all_as_single_keyword_value(tokens, Keyword::Auto))
        return auto_keyword.release_nonnull();

    if (auto none_keyword = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none_keyword.release_nonnull();

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    // Parse an even number of <string> values.
    StyleValueVector string_values;
    while (tokens.has_next_token()) {
        auto maybe_string = parse_string_value(tokens);
        if (!maybe_string)
            return nullptr;

        string_values.append(maybe_string.release_nonnull());
        tokens.discard_whitespace();
    }

    if (string_values.size() % 2 != 0)
        return nullptr;

    transaction.commit();
    return StyleValueList::create(move(string_values), StyleValueList::Separator::Space);
}

RefPtr<StyleValue const> Parser::parse_single_repeat_style_value(PropertyID property, TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto is_directional_repeat = [](StyleValue const& value) -> bool {
        auto keyword = value.to_keyword();
        return keyword == Keyword::RepeatX || keyword == Keyword::RepeatY;
    };

    auto as_repeat = [](Keyword keyword) -> Optional<Repetition> {
        switch (keyword) {
        case Keyword::NoRepeat:
            return Repetition::NoRepeat;
        case Keyword::Repeat:
            return Repetition::Repeat;
        case Keyword::Round:
            return Repetition::Round;
        case Keyword::Space:
            return Repetition::Space;
        default:
            return {};
        }
    };

    auto maybe_x_value = parse_css_value_for_property(property, tokens);
    if (!maybe_x_value)
        return nullptr;
    auto x_value = maybe_x_value.release_nonnull();

    if (is_directional_repeat(*x_value)) {
        auto keyword = x_value->to_keyword();
        transaction.commit();
        return RepeatStyleStyleValue::create(
            keyword == Keyword::RepeatX ? Repetition::Repeat : Repetition::NoRepeat,
            keyword == Keyword::RepeatX ? Repetition::NoRepeat : Repetition::Repeat);
    }

    auto x_repeat = as_repeat(x_value->to_keyword());
    if (!x_repeat.has_value())
        return nullptr;

    // See if we have a second value for Y
    auto maybe_y_value = parse_css_value_for_property(property, tokens);
    if (!maybe_y_value) {
        // We don't have a second value, so use x for both
        transaction.commit();
        return RepeatStyleStyleValue::create(x_repeat.value(), x_repeat.value());
    }
    auto y_value = maybe_y_value.release_nonnull();
    if (is_directional_repeat(*y_value))
        return nullptr;

    auto y_repeat = as_repeat(y_value->to_keyword());
    if (!y_repeat.has_value())
        return nullptr;

    transaction.commit();
    return RepeatStyleStyleValue::create(x_repeat.value(), y_repeat.value());
}

RefPtr<StyleValue const> Parser::parse_text_decoration_value(TokenStream<ComponentValue>& tokens)
{
    RefPtr<StyleValue const> decoration_line;
    RefPtr<StyleValue const> decoration_thickness;
    RefPtr<StyleValue const> decoration_style;
    RefPtr<StyleValue const> decoration_color;

    auto remaining_longhands = Vector { PropertyID::TextDecorationColor, PropertyID::TextDecorationLine, PropertyID::TextDecorationStyle, PropertyID::TextDecorationThickness };

    auto transaction = tokens.begin_transaction();
    while (tokens.has_next_token()) {
        Optional<PropertyAndValue> property_and_value;
        {
            auto value_transaction = tokens.begin_transaction();
            property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);
            if (!property_and_value.has_value())
                return nullptr;
            // FIXME: text-decoration-line can't be parsed fully with parse_css_value_for_properties(), so don't commit
            //        the transaction, and then parse it manually below.
            if (property_and_value->property != PropertyID::TextDecorationLine)
                value_transaction.commit();
        }
        auto& [property, value] = *property_and_value;
        remove_property(remaining_longhands, property);

        switch (property) {
        case PropertyID::TextDecorationColor: {
            VERIFY(!decoration_color);
            decoration_color = value.release_nonnull();
            continue;
        }
        case PropertyID::TextDecorationLine: {
            VERIFY(!decoration_line);
            // NB: The tokens for this didn't get consumed, see above. So we parse it fully now.
            auto parsed_decoration_line = parse_text_decoration_line_value(tokens);
            if (!parsed_decoration_line)
                return nullptr;
            decoration_line = parsed_decoration_line.release_nonnull();
            continue;
        }
        case PropertyID::TextDecorationThickness: {
            VERIFY(!decoration_thickness);
            decoration_thickness = value.release_nonnull();
            continue;
        }
        case PropertyID::TextDecorationStyle: {
            VERIFY(!decoration_style);
            decoration_style = value.release_nonnull();
            continue;
        }
        default:
            VERIFY_NOT_REACHED();
        }
    }

    if (!decoration_line)
        decoration_line = property_initial_value(PropertyID::TextDecorationLine);
    if (!decoration_thickness)
        decoration_thickness = property_initial_value(PropertyID::TextDecorationThickness);
    if (!decoration_style)
        decoration_style = property_initial_value(PropertyID::TextDecorationStyle);
    if (!decoration_color)
        decoration_color = property_initial_value(PropertyID::TextDecorationColor);

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::TextDecoration,
        { PropertyID::TextDecorationLine, PropertyID::TextDecorationThickness, PropertyID::TextDecorationStyle, PropertyID::TextDecorationColor },
        { decoration_line.release_nonnull(), decoration_thickness.release_nonnull(), decoration_style.release_nonnull(), decoration_color.release_nonnull() });
}

RefPtr<StyleValue const> Parser::parse_text_decoration_line_value(TokenStream<ComponentValue>& tokens)
{
    StyleValueVector style_values;

    bool includes_spelling_or_grammar_error_value = false;

    while (tokens.has_next_token()) {
        auto maybe_value = parse_css_value_for_property(PropertyID::TextDecorationLine, tokens);
        if (!maybe_value)
            break;
        auto value = maybe_value.release_nonnull();

        if (auto maybe_line = keyword_to_text_decoration_line(value->to_keyword()); maybe_line.has_value()) {
            if (maybe_line == TextDecorationLine::None) {
                if (!style_values.is_empty())
                    return nullptr;
                return value;
            }
            if (first_is_one_of(*maybe_line, TextDecorationLine::SpellingError, TextDecorationLine::GrammarError)) {
                includes_spelling_or_grammar_error_value = true;
            }
            if (style_values.contains_slow(value))
                return nullptr;
            style_values.append(move(value));
            continue;
        }

        VERIFY_NOT_REACHED();
    }

    if (style_values.is_empty())
        return nullptr;

    // These can only appear on their own.
    if (style_values.size() > 1 && includes_spelling_or_grammar_error_value)
        return nullptr;

    quick_sort(style_values, [](auto& left, auto& right) {
        return *keyword_to_text_decoration_line(left->to_keyword()) < *keyword_to_text_decoration_line(right->to_keyword());
    });

    return StyleValueList::create(move(style_values), StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-text-3/#text-indent-property
RefPtr<StyleValue const> Parser::parse_text_indent_value(TokenStream<ComponentValue>& tokens)
{
    // [ <length-percentage> ] && hanging? && each-line?
    auto transaction = tokens.begin_transaction();

    RefPtr<StyleValue const> length_percentage;
    bool has_hanging = false;
    bool has_each_line = false;

    tokens.discard_whitespace();

    while (tokens.has_next_token()) {
        if (!length_percentage) {
            if (auto parsed = parse_length_percentage_value(tokens, infinite_range, infinite_range)) {
                length_percentage = parsed.release_nonnull();
                tokens.discard_whitespace();
                continue;
            }
        }

        if (auto keyword = parse_keyword_value(tokens)) {
            if (!has_hanging && keyword->to_keyword() == Keyword::Hanging) {
                has_hanging = true;
                continue;
            }
            if (!has_each_line && keyword->to_keyword() == Keyword::EachLine) {
                has_each_line = true;
                continue;
            }
            return nullptr;
        }

        return nullptr;
    }

    if (!length_percentage)
        return nullptr;

    transaction.commit();
    return TextIndentStyleValue::create(length_percentage.release_nonnull(),
        has_hanging ? TextIndentStyleValue::Hanging::Yes : TextIndentStyleValue::Hanging::No,
        has_each_line ? TextIndentStyleValue::EachLine::Yes : TextIndentStyleValue::EachLine::No);
}

// https://drafts.csswg.org/css-text-decor-4/#text-underline-position-property
RefPtr<StyleValue const> Parser::parse_text_underline_position_value(TokenStream<ComponentValue>& tokens)
{
    // auto | [ from-font | under ] || [ left | right ]
    auto transaction = tokens.begin_transaction();

    if (parse_all_as_single_keyword_value(tokens, Keyword::Auto)) {
        transaction.commit();
        return TextUnderlinePositionStyleValue::create(TextUnderlinePositionHorizontal::Auto, TextUnderlinePositionVertical::Auto);
    }

    Optional<TextUnderlinePositionHorizontal> horizontal_value;
    Optional<TextUnderlinePositionVertical> vertical_value;

    while (tokens.has_next_token()) {
        auto keyword_value = parse_keyword_value(tokens);

        if (!keyword_value)
            return nullptr;

        if (auto maybe_horizontal_value = keyword_to_text_underline_position_horizontal(keyword_value->to_keyword()); maybe_horizontal_value.has_value()) {
            if (maybe_horizontal_value == TextUnderlinePositionHorizontal::Auto || horizontal_value.has_value())
                return nullptr;

            horizontal_value = maybe_horizontal_value;

            continue;
        }

        if (auto maybe_vertical_value = keyword_to_text_underline_position_vertical(keyword_value->to_keyword()); maybe_vertical_value.has_value()) {
            if (maybe_vertical_value == TextUnderlinePositionVertical::Auto || vertical_value.has_value())
                return nullptr;

            vertical_value = maybe_vertical_value;

            continue;
        }

        return nullptr;
    }

    transaction.commit();
    return TextUnderlinePositionStyleValue::create(horizontal_value.value_or(TextUnderlinePositionHorizontal::Auto), vertical_value.value_or(TextUnderlinePositionVertical::Auto));
}

// https://drafts.csswg.org/scroll-animations-1/#propdef-timeline-scope
RefPtr<StyleValue const> Parser::parse_timeline_scope_value(TokenStream<ComponentValue>& tokens)
{
    // none | all | <dashed-ident>#
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    if (auto all = parse_all_as_single_keyword_value(tokens, Keyword::All))
        return all;

    return parse_comma_separated_value_list(tokens, [this](TokenStream<ComponentValue>& inner_tokens) {
        return parse_dashed_ident_value(inner_tokens);
    });
}

// https://www.w3.org/TR/pointerevents/#the-touch-action-css-property
RefPtr<StyleValue const> Parser::parse_touch_action_value(TokenStream<ComponentValue>& tokens)
{
    // auto | none | [ [ pan-x | pan-left | pan-right ] || [ pan-y | pan-up | pan-down ] ] | manipulation

    if (auto value = parse_all_as_single_keyword_value(tokens, Keyword::Auto))
        return value;
    if (auto value = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return value;
    if (auto value = parse_all_as_single_keyword_value(tokens, Keyword::Manipulation))
        return value;

    StyleValueVector parsed_values;
    auto transaction = tokens.begin_transaction();

    // We will verify that we have up to one vertical and one horizontal value
    bool has_horizontal = false;
    bool has_vertical = false;

    // Were the values specified in y/x order? (we need to store them in canonical x/y order)
    bool swap_order = false;

    while (auto parsed_value = parse_css_value_for_property(PropertyID::TouchAction, tokens)) {
        switch (parsed_value->as_keyword().keyword()) {
        case Keyword::PanX:
        case Keyword::PanLeft:
        case Keyword::PanRight:
            if (has_horizontal)
                return {};
            if (has_vertical)
                swap_order = true;
            has_horizontal = true;
            break;
        case Keyword::PanY:
        case Keyword::PanUp:
        case Keyword::PanDown:
            if (has_vertical)
                return {};
            has_vertical = true;
            break;
        case Keyword::Auto:
        case Keyword::None:
        case Keyword::Manipulation:
            // Not valid as part of a list
            return {};
        default:
            VERIFY_NOT_REACHED();
        }

        parsed_values.append(parsed_value.release_nonnull());
        if (!tokens.has_next_token())
            break;
    }

    if (swap_order)
        swap(parsed_values[0], parsed_values[1]);

    transaction.commit();
    return StyleValueList::create(move(parsed_values), StyleValueList::Separator::Space);
}

// https://www.w3.org/TR/css-transforms-1/#propdef-transform-origin
RefPtr<StyleValue const> Parser::parse_transform_origin_value(TokenStream<ComponentValue>& tokens)
{
    //   [ left | center | right | top | bottom | <length-percentage> ]
    // |
    //   [ left | center | right | <length-percentage> ]
    //   [ top | center | bottom | <length-percentage> ] <length>?
    // |
    //   [[ center | left | right ] && [ center | top | bottom ]] <length>?

    enum class Axis {
        None,
        X,
        Y,
    };

    struct AxisOffset {
        Axis axis;
        NonnullRefPtr<StyleValue const> offset;
    };

    auto to_axis_offset = [](RefPtr<StyleValue const> value) -> Optional<AxisOffset> {
        if (!value)
            return OptionalNone {};
        if (value->is_percentage())
            return AxisOffset { Axis::None, value->as_percentage() };
        if (value->is_length())
            return AxisOffset { Axis::None, value->as_length() };
        if (value->is_keyword()) {
            switch (value->to_keyword()) {
            case Keyword::Top:
                return AxisOffset { Axis::Y, value.release_nonnull() };
            case Keyword::Left:
                return AxisOffset { Axis::X, value.release_nonnull() };
            case Keyword::Center:
                return AxisOffset { Axis::None, value.release_nonnull() };
            case Keyword::Bottom:
                return AxisOffset { Axis::Y, value.release_nonnull() };
            case Keyword::Right:
                return AxisOffset { Axis::X, value.release_nonnull() };
            default:
                return OptionalNone {};
            }
        }
        if (value->is_calculated()) {
            return AxisOffset { Axis::None, value->as_calculated() };
        }
        return OptionalNone {};
    };

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    auto make_list = [&transaction](NonnullRefPtr<StyleValue const> const& x_value, NonnullRefPtr<StyleValue const> const& y_value, NonnullRefPtr<StyleValue const> const& z_value) -> NonnullRefPtr<StyleValueList> {
        transaction.commit();
        return StyleValueList::create(StyleValueVector { x_value, y_value, z_value }, StyleValueList::Separator::Space);
    };

    NonnullRefPtr<StyleValue const> const zero_value = LengthStyleValue::create(Length::make_px(0));

    auto first_value = to_axis_offset(parse_css_value_for_property(PropertyID::TransformOrigin, tokens));
    if (!first_value.has_value())
        return nullptr;
    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        // If only one value is specified, the second value is assumed to be center.
        switch (first_value->axis) {
        case Axis::None:
        case Axis::X:
            return make_list(first_value->offset, KeywordStyleValue::create(Keyword::Center), zero_value);
        case Axis::Y:
            return make_list(KeywordStyleValue::create(Keyword::Center), first_value->offset, zero_value);
        }
        VERIFY_NOT_REACHED();
    }

    auto second_value = to_axis_offset(parse_css_value_for_property(PropertyID::TransformOrigin, tokens));
    auto third_value = parse_length_value(tokens, infinite_range);

    if (!first_value.has_value() || !second_value.has_value())
        return nullptr;

    if ((first_value->offset->is_length() || first_value->offset->is_percentage()) && second_value->axis == Axis::X)
        return nullptr;
    if ((second_value->offset->is_length() || second_value->offset->is_percentage()) && first_value->axis == Axis::Y)
        return nullptr;

    if (!third_value)
        third_value = zero_value;

    RefPtr<StyleValue const> x_value;
    RefPtr<StyleValue const> y_value;

    if (first_value->axis == Axis::X) {
        x_value = first_value->offset;
    } else if (first_value->axis == Axis::Y) {
        y_value = first_value->offset;
    }

    if (second_value->axis == Axis::X) {
        if (x_value)
            return nullptr;
        x_value = second_value->offset;
        // Put the other in Y since its axis can't have been X
        y_value = first_value->offset;
    } else if (second_value->axis == Axis::Y) {
        if (y_value)
            return nullptr;
        y_value = second_value->offset;
        // Put the other in X since its axis can't have been Y
        x_value = first_value->offset;
    } else {
        if (x_value) {
            VERIFY(!y_value);
            y_value = second_value->offset;
        } else {
            VERIFY(!x_value);
            x_value = second_value->offset;
        }
    }
    // If two or more values are defined and either no value is a keyword, or the only used keyword is center,
    // then the first value represents the horizontal position (or offset) and the second represents the vertical position (or offset).
    // A third value always represents the Z position (or offset) and must be of type <length>.
    if (first_value->axis == Axis::None && second_value->axis == Axis::None) {
        x_value = first_value->offset;
        y_value = second_value->offset;
    }

    return make_list(x_value.release_nonnull(), y_value.release_nonnull(), third_value.release_nonnull());
}

// https://drafts.csswg.org/css-transitions-2/#transition-shorthand-property
RefPtr<StyleValue const> Parser::parse_transition_value(TokenStream<ComponentValue>& tokens)
{
    // [ [ none | <single-transition-property> ] || <time> || <easing-function> || <time> || <transition-behavior-value> ]#
    Vector<PropertyID> longhand_ids {
        PropertyID::TransitionProperty,
        PropertyID::TransitionDuration,
        PropertyID::TransitionTimingFunction,
        PropertyID::TransitionDelay,
        PropertyID::TransitionBehavior
    };

    auto parsed_value = parse_coordinating_value_list_shorthand(tokens, PropertyID::Transition, longhand_ids);

    if (!parsed_value)
        return nullptr;

    // https://drafts.csswg.org/css-transitions-1/#transition-shorthand-property
    // If there is more than one <single-transition> in the shorthand, and any of the transitions has none as the
    // <single-transition-property>, then the declaration is invalid.
    auto const& transition_properties = parsed_value->as_shorthand().longhand(PropertyID::TransitionProperty)->as_value_list().values();

    if (transition_properties.size() > 1 && transition_properties.contains([](auto const& transition_property) { return transition_property->to_keyword() == Keyword::None; }))
        return nullptr;

    return parsed_value;
}

RefPtr<StyleValue const> Parser::parse_transition_property_value(TokenStream<ComponentValue>& tokens)
{
    // https://drafts.csswg.org/css-transitions/#transition-property-property
    // none | <single-transition-property>#

    // none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return StyleValueList::create({ none.release_nonnull() }, StyleValueList::Separator::Comma);

    // <single-transition-property>#
    // <single-transition-property> = all | <custom-ident>
    auto transaction = tokens.begin_transaction();
    auto transition_property_values = parse_a_comma_separated_list_of_component_values(tokens);

    StyleValueVector transition_properties;
    for (auto const& value : transition_property_values) {
        TokenStream transition_property_tokens { value };
        auto custom_ident = parse_custom_ident_value(transition_property_tokens, { { "none"sv } });
        if (!custom_ident || transition_property_tokens.has_next_token())
            return nullptr;

        transition_properties.append(custom_ident.release_nonnull());
    }
    transaction.commit();
    return StyleValueList::create(move(transition_properties), StyleValueList::Separator::Comma);
}

// https://drafts.csswg.org/css-transforms-2/#propdef-translate
RefPtr<StyleValue const> Parser::parse_translate_value(TokenStream<ComponentValue>& tokens)
{
    // none | <length-percentage> [ <length-percentage> <length>? ]?

    // none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    auto transaction = tokens.begin_transaction();

    // <length-percentage> [ <length-percentage> <length>? ]?
    auto maybe_x = parse_length_percentage_value(tokens, infinite_range, infinite_range);
    if (!maybe_x)
        return nullptr;

    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        transaction.commit();
        return TransformationStyleValue::create(PropertyID::Translate, TransformFunction::Translate, { maybe_x.release_nonnull(), LengthStyleValue::create(Length::make_px(0)) });
    }

    auto maybe_y = parse_length_percentage_value(tokens, infinite_range, infinite_range);
    if (!maybe_y)
        return nullptr;

    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        transaction.commit();
        return TransformationStyleValue::create(PropertyID::Translate, TransformFunction::Translate, { maybe_x.release_nonnull(), maybe_y.release_nonnull() });
    }

    auto maybe_z = parse_length_value(tokens, infinite_range);
    if (!maybe_z)
        return nullptr;

    transaction.commit();
    return TransformationStyleValue::create(PropertyID::Translate, TransformFunction::Translate3d, { maybe_x.release_nonnull(), maybe_y.release_nonnull(), maybe_z.release_nonnull() });
}

// https://drafts.csswg.org/css-transforms-2/#propdef-scale
RefPtr<StyleValue const> Parser::parse_scale_value(TokenStream<ComponentValue>& tokens)
{
    // none | [ <number> | <percentage> ]{1,3}

    // none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    auto transaction = tokens.begin_transaction();

    // [ <number> | <percentage> ]{1,3}
    auto maybe_x = parse_number_percentage_value(tokens, infinite_range, infinite_range);
    if (!maybe_x)
        return nullptr;

    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        transaction.commit();
        return TransformationStyleValue::create(PropertyID::Scale, TransformFunction::Scale, { *maybe_x, *maybe_x });
    }

    auto maybe_y = parse_number_percentage_value(tokens, infinite_range, infinite_range);
    if (!maybe_y)
        return nullptr;

    tokens.discard_whitespace();
    if (!tokens.has_next_token()) {
        transaction.commit();
        return TransformationStyleValue::create(PropertyID::Scale, TransformFunction::Scale, { maybe_x.release_nonnull(), maybe_y.release_nonnull() });
    }

    auto maybe_z = parse_number_percentage_value(tokens, infinite_range, infinite_range);
    if (!maybe_z)
        return nullptr;

    transaction.commit();
    return TransformationStyleValue::create(PropertyID::Scale, TransformFunction::Scale3d, { maybe_x.release_nonnull(), maybe_y.release_nonnull(), maybe_z.release_nonnull() });
}

// https://drafts.csswg.org/scroll-animations-1/#scroll-timeline-shorthand
RefPtr<StyleValue const> Parser::parse_scroll_timeline_value(TokenStream<ComponentValue>& tokens)
{
    // [ <'scroll-timeline-name'> <'scroll-timeline-axis'>? ]#
    StyleValueVector names;
    StyleValueVector axes;

    auto transaction = tokens.begin_transaction();

    do {
        static auto default_axis = property_initial_value(PropertyID::ScrollTimelineAxis)->as_value_list().values()[0];

        tokens.discard_whitespace();

        auto maybe_name = parse_css_value_for_property(PropertyID::ScrollTimelineName, tokens);

        if (!maybe_name)
            return nullptr;

        names.append(maybe_name.release_nonnull());

        tokens.discard_whitespace();

        if (tokens.next_token().is(Token::Type::Comma)) {
            axes.append(default_axis);
            tokens.discard_a_token();

            // Disallow trailing commas
            if (!tokens.has_next_token())
                return nullptr;

            continue;
        }

        if (!tokens.has_next_token()) {
            axes.append(default_axis);
            break;
        }

        auto maybe_axis = parse_css_value_for_property(PropertyID::ScrollTimelineAxis, tokens);

        if (!maybe_axis)
            return nullptr;

        axes.append(maybe_axis.release_nonnull());

        tokens.discard_whitespace();

        if (tokens.next_token().is(Token::Type::Comma)) {
            tokens.discard_a_token();

            // Disallow trailing commas
            if (!tokens.has_next_token())
                return nullptr;

            continue;
        }

        if (tokens.has_next_token())
            return nullptr;
    } while (tokens.has_next_token());

    transaction.commit();

    return ShorthandStyleValue::create(PropertyID::ScrollTimeline,
        { PropertyID::ScrollTimelineName, PropertyID::ScrollTimelineAxis },
        { StyleValueList::create(move(names), StyleValueList::Separator::Comma), StyleValueList::create(move(axes), StyleValueList::Separator::Comma) });
}

// https://drafts.csswg.org/css-scrollbars/#propdef-scrollbar-color
RefPtr<StyleValue const> Parser::parse_scrollbar_color_value(TokenStream<ComponentValue>& tokens)
{
    // auto | <color>{2}
    if (!tokens.has_next_token())
        return nullptr;
    if (auto auto_keyword = parse_all_as_single_keyword_value(tokens, Keyword::Auto))
        return auto_keyword;

    auto transaction = tokens.begin_transaction();

    auto thumb_color = parse_color_value(tokens);
    if (!thumb_color)
        return nullptr;

    tokens.discard_whitespace();

    auto track_color = parse_color_value(tokens);
    if (!track_color)
        return nullptr;
    tokens.discard_whitespace();
    transaction.commit();

    return ScrollbarColorStyleValue::create(thumb_color.release_nonnull(), track_color.release_nonnull());
}

// https://drafts.csswg.org/css-overflow/#propdef-scrollbar-gutter
RefPtr<StyleValue const> Parser::parse_scrollbar_gutter_value(TokenStream<ComponentValue>& tokens)
{
    // auto | stable && both-edges?
    tokens.discard_whitespace();
    if (!tokens.has_next_token())
        return nullptr;

    auto transaction = tokens.begin_transaction();

    auto parse_stable = [&]() -> Optional<bool> {
        auto stable_transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        auto const& token = tokens.consume_a_token();
        if (!token.is(Token::Type::Ident))
            return {};
        auto const& ident = token.token().ident();
        if (ident.equals_ignoring_ascii_case("auto"sv)) {
            stable_transaction.commit();
            return false;
        }
        if (ident.equals_ignoring_ascii_case("stable"sv)) {
            stable_transaction.commit();
            return true;
        }
        return {};
    };

    auto parse_both_edges = [&]() -> Optional<bool> {
        auto edges_transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        auto const& token = tokens.consume_a_token();
        if (!token.is(Token::Type::Ident))
            return {};
        auto const& ident = token.token().ident();
        if (ident.equals_ignoring_ascii_case("both-edges"sv)) {
            edges_transaction.commit();
            return true;
        }
        return {};
    };

    Optional<bool> stable;
    Optional<bool> both_edges;
    if (stable = parse_stable(); stable.has_value()) {
        if (stable.value())
            both_edges = parse_both_edges();
    } else if (both_edges = parse_both_edges(); both_edges.has_value()) {
        stable = parse_stable();
        if (!stable.has_value() || !stable.value())
            return nullptr;
    }

    tokens.discard_whitespace();
    if (tokens.has_next_token())
        return nullptr;

    transaction.commit();

    ScrollbarGutter gutter_value;
    if (both_edges.has_value())
        gutter_value = ScrollbarGutter::BothEdges;
    else if (stable.has_value() && stable.value())
        gutter_value = ScrollbarGutter::Stable;
    else
        gutter_value = ScrollbarGutter::Auto;
    return ScrollbarGutterStyleValue::create(gutter_value);
}

RefPtr<StyleValue const> Parser::parse_grid_track_placement_shorthand_value(PropertyID property_id, TokenStream<ComponentValue>& tokens)
{
    auto start_property = (property_id == PropertyID::GridColumn) ? PropertyID::GridColumnStart : PropertyID::GridRowStart;
    auto end_property = (property_id == PropertyID::GridColumn) ? PropertyID::GridColumnEnd : PropertyID::GridRowEnd;

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    NonnullRawPtr<ComponentValue const> current_token = tokens.consume_a_token();

    Vector<ComponentValue> track_start_placement_tokens;
    while (true) {
        if (current_token->is_delim('/')) {
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                return nullptr;
            break;
        }
        track_start_placement_tokens.append(current_token);
        tokens.discard_whitespace();
        if (!tokens.has_next_token())
            break;
        current_token = tokens.consume_a_token();
    }

    Vector<ComponentValue> track_end_placement_tokens;
    if (tokens.has_next_token()) {
        current_token = tokens.consume_a_token();
        while (true) {
            track_end_placement_tokens.append(current_token);
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                break;
            current_token = tokens.consume_a_token();
        }
    }

    TokenStream track_start_placement_token_stream { track_start_placement_tokens };
    auto parsed_start_value = parse_grid_track_placement(track_start_placement_token_stream);
    if (parsed_start_value && track_end_placement_tokens.is_empty()) {
        transaction.commit();
        if (parsed_start_value->grid_track_placement().is_custom_ident()) {
            auto custom_ident = parsed_start_value.release_nonnull();
            return ShorthandStyleValue::create(property_id, { start_property, end_property }, { custom_ident, custom_ident });
        }
        return ShorthandStyleValue::create(property_id,
            { start_property, end_property },
            { parsed_start_value.release_nonnull(), GridTrackPlacementStyleValue::create(GridTrackPlacement::make_auto()) });
    }

    TokenStream track_end_placement_token_stream { track_end_placement_tokens };
    auto parsed_end_value = parse_grid_track_placement(track_end_placement_token_stream);
    if (parsed_start_value && parsed_end_value) {
        transaction.commit();
        return ShorthandStyleValue::create(property_id,
            { start_property, end_property },
            { parsed_start_value.release_nonnull(), parsed_end_value.release_nonnull() });
    }

    return nullptr;
}

// https://www.w3.org/TR/css-grid-2/#explicit-grid-shorthand
// 7.4. Explicit Grid Shorthand: the grid-template property
RefPtr<StyleValue const> Parser::parse_grid_track_size_list_shorthand_value(PropertyID property_id, TokenStream<ComponentValue>& tokens, bool include_grid_auto_properties)
{
    Vector<PropertyID> sub_properties;
    Vector<ValueComparingNonnullRefPtr<StyleValue const>> values;
    if (include_grid_auto_properties) {
        sub_properties.append(PropertyID::GridAutoFlow);
        sub_properties.append(PropertyID::GridAutoRows);
        sub_properties.append(PropertyID::GridAutoColumns);
        values.append(property_initial_value(PropertyID::GridAutoFlow));
        values.append(property_initial_value(PropertyID::GridAutoRows));
        values.append(property_initial_value(PropertyID::GridAutoColumns));
    }
    sub_properties.append(PropertyID::GridTemplateAreas);
    sub_properties.append(PropertyID::GridTemplateRows);
    sub_properties.append(PropertyID::GridTemplateColumns);
    values.ensure_capacity(sub_properties.size());

    // none
    {
        if (parse_all_as_single_keyword_value(tokens, Keyword::None)) {
            values.unchecked_append(property_initial_value(PropertyID::GridTemplateAreas));
            values.unchecked_append(property_initial_value(PropertyID::GridTemplateRows));
            values.unchecked_append(property_initial_value(PropertyID::GridTemplateColumns));
            return ShorthandStyleValue::create(property_id, move(sub_properties), move(values));
        }
    }

    // [ <'grid-template-rows'> / <'grid-template-columns'> ]
    {
        auto transaction = tokens.begin_transaction();
        if (auto parsed_template_rows_values = parse_grid_track_size_list(tokens)) {
            tokens.discard_whitespace();
            if (tokens.has_next_token() && tokens.next_token().is_delim('/')) {
                tokens.discard_a_token(); // /
                tokens.discard_whitespace();
                if (auto parsed_template_columns_values = parse_grid_track_size_list(tokens)) {
                    transaction.commit();
                    values.unchecked_append(property_initial_value(PropertyID::GridTemplateAreas));
                    values.unchecked_append(parsed_template_rows_values.release_nonnull());
                    values.unchecked_append(parsed_template_columns_values.release_nonnull());
                    return ShorthandStyleValue::create(property_id, move(sub_properties), move(values));
                }
            }
        }
    }

    // [ <line-names>? <string> <track-size>? <line-names>? ]+ [ / <explicit-track-list> ]?
    {
        auto transaction = tokens.begin_transaction();

        GridTrackSizeList track_list;
        Vector<ComponentValue> area_tokens;

        GridTrackParser parse_grid_track = [&](TokenStream<ComponentValue>& tokens) -> Optional<ExplicitGridTrack> {
            tokens.discard_whitespace();
            if (!tokens.has_next_token())
                return {};
            auto const& token = tokens.consume_a_token();
            if (!token.is(Token::Type::String))
                return {};
            area_tokens.append(token);
            tokens.discard_whitespace();
            if (auto track_size = parse_grid_track_size(tokens); track_size.has_value())
                return track_size.release_value();
            tokens.discard_whitespace();
            return ExplicitGridTrack(GridSize::make_auto());
        };

        auto parsed_track_count = parse_track_list_impl(tokens, track_list, parse_grid_track, AllowTrailingLineNamesForEachTrack::Yes);
        if (parsed_track_count > 0) {
            TokenStream area_tokens_stream { area_tokens };
            auto grid_areas = parse_grid_template_areas_value(area_tokens_stream);
            if (!grid_areas)
                return nullptr;

            auto rows_track_list = GridTrackSizeListStyleValue::create(move(track_list));

            tokens.discard_whitespace();

            RefPtr columns_track_list = property_initial_value(PropertyID::GridTemplateColumns);
            if (tokens.has_next_token() && tokens.next_token().is_delim('/')) {
                tokens.discard_a_token(); // /
                tokens.discard_whitespace();
                if (auto parsed_columns = parse_explicit_track_list(tokens); !parsed_columns.is_empty()) {
                    transaction.commit();
                    columns_track_list = GridTrackSizeListStyleValue::create(move(parsed_columns));
                } else {
                    return nullptr;
                }
            } else if (tokens.has_next_token()) {
                return nullptr;
            }

            transaction.commit();
            values.unchecked_append(grid_areas.release_nonnull());
            values.unchecked_append(rows_track_list);
            values.unchecked_append(columns_track_list.release_nonnull());
            return ShorthandStyleValue::create(property_id, move(sub_properties), move(values));
        }
    }

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_grid_area_shorthand_value(TokenStream<ComponentValue>& tokens)
{
    auto transaction = tokens.begin_transaction();

    auto parse_placement_tokens = [&](Vector<ComponentValue>& placement_tokens, bool check_for_delimiter = true) -> void {
        tokens.discard_whitespace();
        while (tokens.has_next_token()) {
            auto& current_token = tokens.consume_a_token();
            if (check_for_delimiter && current_token.is_delim('/'))
                break;
            placement_tokens.append(current_token);
            tokens.discard_whitespace();
        }
    };

    Vector<ComponentValue> row_start_placement_tokens;
    parse_placement_tokens(row_start_placement_tokens);

    Vector<ComponentValue> column_start_placement_tokens;
    if (tokens.has_next_token())
        parse_placement_tokens(column_start_placement_tokens);

    Vector<ComponentValue> row_end_placement_tokens;
    if (tokens.has_next_token())
        parse_placement_tokens(row_end_placement_tokens);

    Vector<ComponentValue> column_end_placement_tokens;
    if (tokens.has_next_token())
        parse_placement_tokens(column_end_placement_tokens, false);

    // https://www.w3.org/TR/css-grid-2/#placement-shorthands
    // The grid-area property is a shorthand for grid-row-start, grid-column-start, grid-row-end and
    // grid-column-end.
    TokenStream row_start_placement_token_stream { row_start_placement_tokens };
    auto row_start_style_value = parse_grid_track_placement(row_start_placement_token_stream);
    if (row_start_placement_token_stream.has_next_token())
        return nullptr;

    TokenStream column_start_placement_token_stream { column_start_placement_tokens };
    auto column_start_style_value = parse_grid_track_placement(column_start_placement_token_stream);
    if (column_start_placement_token_stream.has_next_token())
        return nullptr;

    TokenStream row_end_placement_token_stream { row_end_placement_tokens };
    auto row_end_style_value = parse_grid_track_placement(row_end_placement_token_stream);
    if (row_end_placement_token_stream.has_next_token())
        return nullptr;

    TokenStream column_end_placement_token_stream { column_end_placement_tokens };
    auto column_end_style_value = parse_grid_track_placement(column_end_placement_token_stream);
    if (column_end_placement_token_stream.has_next_token())
        return nullptr;

    // If four <grid-line> values are specified, grid-row-start is set to the first value, grid-column-start
    // is set to the second value, grid-row-end is set to the third value, and grid-column-end is set to the
    // fourth value.
    auto row_start = GridTrackPlacement::make_auto();
    auto column_start = GridTrackPlacement::make_auto();
    auto row_end = GridTrackPlacement::make_auto();
    auto column_end = GridTrackPlacement::make_auto();

    if (row_start_style_value)
        row_start = row_start_style_value.release_nonnull()->as_grid_track_placement().grid_track_placement();

    // When grid-column-start is omitted, if grid-row-start is a <custom-ident>, all four longhands are set to
    // that value. Otherwise, it is set to auto.
    if (column_start_style_value)
        column_start = column_start_style_value.release_nonnull()->as_grid_track_placement().grid_track_placement();
    else if (row_start.is_custom_ident())
        column_start = row_start;

    // When grid-row-end is omitted, if grid-row-start is a <custom-ident>, grid-row-end is set to that
    // <custom-ident>; otherwise, it is set to auto.
    if (row_end_style_value)
        row_end = row_end_style_value.release_nonnull()->as_grid_track_placement().grid_track_placement();
    else if (row_start.is_custom_ident())
        row_end = row_start;

    // When grid-column-end is omitted, if grid-column-start is a <custom-ident>, grid-column-end is set to
    // that <custom-ident>; otherwise, it is set to auto.
    if (column_end_style_value)
        column_end = column_end_style_value.release_nonnull()->as_grid_track_placement().grid_track_placement();
    else if (column_start.is_custom_ident())
        column_end = column_start;

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::GridArea,
        { PropertyID::GridRowStart, PropertyID::GridColumnStart, PropertyID::GridRowEnd, PropertyID::GridColumnEnd },
        { GridTrackPlacementStyleValue::create(row_start), GridTrackPlacementStyleValue::create(column_start), GridTrackPlacementStyleValue::create(row_end), GridTrackPlacementStyleValue::create(column_end) });
}

RefPtr<StyleValue const> Parser::parse_grid_shorthand_value(TokenStream<ComponentValue>& tokens)
{
    // <'grid-template'>
    if (auto grid_template = parse_grid_track_size_list_shorthand_value(PropertyID::Grid, tokens, true)) {
        return grid_template;
    }

    auto parse_auto_flow_and_dense = [&](GridAutoFlowStyleValue::Axis axis) -> RefPtr<GridAutoFlowStyleValue const> {
        bool found_auto_flow = false;
        auto dense = GridAutoFlowStyleValue::Dense::No;
        for (int i = 0; i < 2 && tokens.has_next_token(); ++i) {
            auto const& token = tokens.next_token();
            if (token.is_ident("auto-flow"sv) && !found_auto_flow) {
                tokens.discard_a_token(); // auto-flow
                tokens.discard_whitespace();
                found_auto_flow = true;
            } else if (token.is_ident("dense"sv) && dense == GridAutoFlowStyleValue::Dense::No) {
                tokens.discard_a_token(); // dense
                tokens.discard_whitespace();
                dense = GridAutoFlowStyleValue::Dense::Yes;
            } else {
                break;
            }
        }

        if (found_auto_flow)
            return GridAutoFlowStyleValue::create(axis, dense);
        return {};
    };

    // [ auto-flow && dense? ] <'grid-auto-rows'>? / <'grid-template-columns'>
    auto parse_shorthand_branch_1 = [&] -> RefPtr<StyleValue const> {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();

        auto grid_auto_flow = parse_auto_flow_and_dense(GridAutoFlowStyleValue::Axis::Row);
        if (!grid_auto_flow)
            return nullptr;

        auto grid_auto_rows = parse_grid_auto_track_sizes(tokens);
        if (grid_auto_rows->as_grid_track_size_list().grid_track_size_list().is_empty())
            grid_auto_rows = property_initial_value(PropertyID::GridAutoRows);

        tokens.discard_whitespace();
        if (!tokens.has_next_token() || !tokens.next_token().is_delim('/'))
            return nullptr;
        tokens.discard_a_token(); // /
        tokens.discard_whitespace();

        auto grid_template_columns = parse_grid_track_size_list(tokens);
        if (!grid_template_columns)
            return nullptr;

        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::Grid,
            { PropertyID::GridAutoFlow, PropertyID::GridAutoRows, PropertyID::GridAutoColumns, PropertyID::GridTemplateAreas, PropertyID::GridTemplateRows, PropertyID::GridTemplateColumns },
            { grid_auto_flow.release_nonnull(), grid_auto_rows.release_nonnull(), property_initial_value(PropertyID::GridAutoColumns), property_initial_value(PropertyID::GridTemplateAreas), property_initial_value(PropertyID::GridTemplateRows), grid_template_columns.release_nonnull() });
    };

    // <'grid-template-rows'> / [ auto-flow && dense? ] <'grid-auto-columns'>?
    auto parse_shorthand_branch_2 = [&] -> RefPtr<StyleValue const> {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();

        auto grid_template_rows = parse_grid_track_size_list(tokens);
        if (!grid_template_rows)
            return nullptr;

        tokens.discard_whitespace();
        if (!tokens.has_next_token() || !tokens.next_token().is_delim('/'))
            return nullptr;
        tokens.discard_a_token(); // /
        tokens.discard_whitespace();

        auto grid_auto_flow = parse_auto_flow_and_dense(GridAutoFlowStyleValue::Axis::Column);
        if (!grid_auto_flow)
            return nullptr;

        auto grid_auto_columns = parse_grid_auto_track_sizes(tokens);
        if (grid_auto_columns->as_grid_track_size_list().grid_track_size_list().is_empty())
            grid_auto_columns = property_initial_value(PropertyID::GridAutoColumns);

        transaction.commit();
        return ShorthandStyleValue::create(PropertyID::Grid,
            { PropertyID::GridAutoFlow, PropertyID::GridAutoRows, PropertyID::GridAutoColumns, PropertyID::GridTemplateAreas, PropertyID::GridTemplateRows, PropertyID::GridTemplateColumns },
            { grid_auto_flow.release_nonnull(), property_initial_value(PropertyID::GridAutoRows), grid_auto_columns.release_nonnull(), property_initial_value(PropertyID::GridTemplateAreas), grid_template_rows.release_nonnull(), property_initial_value(PropertyID::GridTemplateColumns) });
    };

    if (auto grid = parse_shorthand_branch_1()) {
        return grid;
    }

    if (auto grid = parse_shorthand_branch_2()) {
        return grid;
    }

    return nullptr;
}

// https://www.w3.org/TR/css-grid-1/#grid-template-areas-property
RefPtr<StyleValue const> Parser::parse_grid_template_areas_value(TokenStream<ComponentValue>& tokens)
{
    // none | <string>+
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return GridTemplateAreaStyleValue::create({}, 0, 0);

    auto is_full_stop = [](u32 code_point) {
        return code_point == '.';
    };

    auto consume_while = [](Utf8CodePointIterator& code_points, AK::Function<bool(u32)> predicate) {
        StringBuilder builder;
        while (!code_points.done() && predicate(*code_points)) {
            builder.append_code_point(*code_points);
            ++code_points;
        }
        return MUST(builder.to_string());
    };

    Vector<Vector<String>> grid_area_rows;
    Optional<size_t> column_count;

    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();
    while (tokens.has_next_token() && tokens.next_token().is(Token::Type::String)) {
        Vector<String> grid_area_columns;
        auto string = tokens.consume_a_token().token().string().code_points();
        auto code_points = string.begin();

        while (!code_points.done()) {
            if (is_whitespace(*code_points)) {
                consume_while(code_points, is_whitespace);
            } else if (is_full_stop(*code_points)) {
                consume_while(code_points, *is_full_stop);
                grid_area_columns.append("."_string);
            } else if (is_ident_code_point(*code_points)) {
                auto token = consume_while(code_points, is_ident_code_point);
                grid_area_columns.append(move(token));
            } else {
                return nullptr;
            }
        }

        if (grid_area_columns.is_empty())
            return nullptr;

        if (column_count.has_value()) {
            if (grid_area_columns.size() != column_count)
                return nullptr;
        } else {
            column_count = grid_area_columns.size();
        }

        grid_area_rows.append(move(grid_area_columns));
        tokens.discard_whitespace();
    }

    // https://www.w3.org/TR/css-grid-2/#grid-template-areas-property
    // If a named grid area spans multiple grid cells, but those cells do not form a single
    // filled-in rectangle, the declaration is invalid.

    // Pre-compute occurrence counts for each named area.
    HashMap<String, size_t> name_counts;
    for (auto const& row : grid_area_rows) {
        for (auto const& cell : row) {
            if (cell != "."sv)
                name_counts.set(cell, name_counts.get(cell).value_or(0) + 1);
        }
    }

    HashMap<String, GridArea> grid_areas;
    for (size_t y = 0; y < grid_area_rows.size(); y++) {
        for (size_t x = 0; x < grid_area_rows[y].size(); x++) {
            auto const& name = grid_area_rows[y][x];
            if (name == "."sv)
                continue;
            if (grid_areas.contains(name))
                continue;

            size_t x_end = x;
            while (x_end < grid_area_rows[y].size() && grid_area_rows[y][x_end] == name)
                x_end++;
            size_t y_end = y;
            while (y_end < grid_area_rows.size() && grid_area_rows[y_end][x] == name)
                y_end++;

            // Verify the bounding rectangle is fully filled with this name.
            size_t expected_count = (x_end - x) * (y_end - y);
            for (size_t check_y = y; check_y < y_end; check_y++) {
                for (size_t check_x = x; check_x < x_end; check_x++) {
                    if (grid_area_rows[check_y][check_x] != name)
                        return nullptr;
                }
            }

            // Verify there are no occurrences of this name outside the rectangle.
            if (name_counts.get(name).value_or(0) != expected_count)
                return nullptr;

            grid_areas.set(name, { y, y_end, x, x_end });
        }
    }

    transaction.commit();
    return GridTemplateAreaStyleValue::create(move(grid_areas), grid_area_rows.size(), column_count.value_or(0));
}

RefPtr<StyleValue const> Parser::parse_grid_auto_track_sizes(TokenStream<ComponentValue>& tokens)
{
    // https://www.w3.org/TR/css-grid-2/#auto-tracks
    // <track-size>+
    auto transaction = tokens.begin_transaction();
    GridTrackSizeList track_list;
    while (tokens.has_next_token()) {
        tokens.discard_whitespace();
        auto track_size = parse_grid_track_size(tokens);
        if (!track_size.has_value())
            break;
        track_list.append(track_size.release_value());
    }
    if (!track_list.is_empty())
        transaction.commit();
    return GridTrackSizeListStyleValue::create(move(track_list));
}

// https://www.w3.org/TR/css-grid-1/#grid-auto-flow-property
RefPtr<GridAutoFlowStyleValue const> Parser::parse_grid_auto_flow_value(TokenStream<ComponentValue>& tokens)
{
    // [ row | column ] || dense
    if (!tokens.has_next_token())
        return nullptr;

    auto transaction = tokens.begin_transaction();

    auto parse_axis = [&]() -> Optional<GridAutoFlowStyleValue::Axis> {
        auto axis_transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        auto const& token = tokens.consume_a_token();
        if (!token.is(Token::Type::Ident))
            return {};
        auto const& ident = token.token().ident();
        if (ident.equals_ignoring_ascii_case("row"sv)) {
            axis_transaction.commit();
            return GridAutoFlowStyleValue::Axis::Row;
        }
        if (ident.equals_ignoring_ascii_case("column"sv)) {
            axis_transaction.commit();
            return GridAutoFlowStyleValue::Axis::Column;
        }
        return {};
    };

    auto parse_dense = [&]() -> Optional<GridAutoFlowStyleValue::Dense> {
        auto dense_transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        auto const& token = tokens.consume_a_token();
        if (!token.is(Token::Type::Ident))
            return {};
        auto const& ident = token.token().ident();
        if (ident.equals_ignoring_ascii_case("dense"sv)) {
            dense_transaction.commit();
            return GridAutoFlowStyleValue::Dense::Yes;
        }
        return {};
    };

    Optional<GridAutoFlowStyleValue::Axis> axis;
    Optional<GridAutoFlowStyleValue::Dense> dense;
    if (axis = parse_axis(); axis.has_value()) {
        dense = parse_dense();
    } else if (dense = parse_dense(); dense.has_value()) {
        axis = parse_axis();
    }

    tokens.discard_whitespace();
    if (tokens.has_next_token())
        return nullptr;

    transaction.commit();
    return GridAutoFlowStyleValue::create(axis.value_or(GridAutoFlowStyleValue::Axis::Row), dense.value_or(GridAutoFlowStyleValue::Dense::No));
}

// https://www.w3.org/TR/css-grid-2/#track-sizing
RefPtr<StyleValue const> Parser::parse_grid_track_size_list(TokenStream<ComponentValue>& tokens)
{
    // none | <track-list> | <auto-track-list> | FIXME: subgrid <line-name-list>?

    // none
    {
        auto transaction = tokens.begin_transaction();
        tokens.discard_whitespace();
        if (tokens.has_next_token() && tokens.next_token().is_ident("none"sv)) {
            tokens.discard_a_token(); // none
            transaction.commit();
            return GridTrackSizeListStyleValue::make_none();
        }
    }

    // <auto-track-list>
    if (auto auto_track_list = parse_grid_auto_track_list(tokens); !auto_track_list.is_empty()) {
        return GridTrackSizeListStyleValue::create(GridTrackSizeList(move(auto_track_list)));
    }

    // <track-list>
    if (auto track_list = parse_grid_track_list(tokens); !track_list.is_empty()) {
        return GridTrackSizeListStyleValue::create(GridTrackSizeList(move(track_list)));
    }

    return nullptr;
}

RefPtr<StyleValue const> Parser::parse_filter_value_list_value(TokenStream<ComponentValue>& tokens)
{
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    auto transaction = tokens.begin_transaction();

    // https://drafts.csswg.org/filter-effects-1/#typedef-filter-value-list
    // <filter-value-list> = [ <filter-function> | <url> ]+
    // FIXME: <url>s are ignored for now

    enum class FilterToken {
        // Color filters:
        Brightness,
        Contrast,
        Grayscale,
        Invert,
        Opacity,
        Saturate,
        Sepia,
        // Special filters:
        Blur,
        DropShadow,
        HueRotate
    };

    auto filter_token_to_operation = [&](auto filter) {
        VERIFY(to_underlying(filter) < to_underlying(FilterToken::Blur));
        return static_cast<Gfx::ColorFilterType>(filter);
    };

    auto parse_filter_function_name = [&](auto name) -> Optional<FilterToken> {
        if (name.equals_ignoring_ascii_case("blur"sv))
            return FilterToken::Blur;
        if (name.equals_ignoring_ascii_case("brightness"sv))
            return FilterToken::Brightness;
        if (name.equals_ignoring_ascii_case("contrast"sv))
            return FilterToken::Contrast;
        if (name.equals_ignoring_ascii_case("drop-shadow"sv))
            return FilterToken::DropShadow;
        if (name.equals_ignoring_ascii_case("grayscale"sv))
            return FilterToken::Grayscale;
        if (name.equals_ignoring_ascii_case("hue-rotate"sv))
            return FilterToken::HueRotate;
        if (name.equals_ignoring_ascii_case("invert"sv))
            return FilterToken::Invert;
        if (name.equals_ignoring_ascii_case("opacity"sv))
            return FilterToken::Opacity;
        if (name.equals_ignoring_ascii_case("saturate"sv))
            return FilterToken::Saturate;
        if (name.equals_ignoring_ascii_case("sepia"sv))
            return FilterToken::Sepia;
        return {};
    };

    // https://drafts.csswg.org/filter-effects-1/#typedef-filter-function
    // <blur()> | <brightness()> | <contrast()> | <drop-shadow()> | <grayscale()> | <hue-rotate()> | <invert()> | <opacity()> | <sepia()> | <saturate()>
    auto parse_filter_function = [&](auto filter_token, auto const& function_values) -> Optional<FilterValue> {
        TokenStream tokens { function_values };
        tokens.discard_whitespace();

        auto if_no_more_tokens_return = [&](auto filter) -> Optional<FilterValue> {
            tokens.discard_whitespace();
            if (tokens.has_next_token())
                return {};
            return filter;
        };

        if (filter_token == FilterToken::Blur) {
            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-blur
            // blur( <length>? )

            // Default value when omitted is 0px.
            if (!tokens.has_next_token())
                return FilterOperation::Blur { LengthStyleValue::create(Length::make_px(0)) };

            // Negative values are not allowed.
            auto blur_radius = parse_length_value(tokens, non_negative_range);
            tokens.discard_whitespace();
            if (!blur_radius)
                return {};
            return if_no_more_tokens_return(FilterOperation::Blur { blur_radius.release_nonnull() });
        } else if (filter_token == FilterToken::DropShadow) {
            if (!tokens.has_next_token())
                return {};
            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-drop-shadow
            // drop-shadow( [ <color>? && <length>{2,3} ] )

            // Note: The following code is a little awkward to allow the color to be before or after the lengths.
            RefPtr<StyleValue const> maybe_radius;
            auto maybe_color = parse_color_value(tokens);
            tokens.discard_whitespace();
            auto x_offset = parse_length_value(tokens, infinite_range);
            tokens.discard_whitespace();
            if (!x_offset || !tokens.has_next_token())
                return {};

            auto y_offset = parse_length_value(tokens, infinite_range);
            tokens.discard_whitespace();
            if (!y_offset)
                return {};

            if (tokens.has_next_token()) {
                maybe_radius = parse_length_value(tokens, infinite_range);
                tokens.discard_whitespace();
                if (!maybe_color && (!maybe_radius || tokens.has_next_token())) {
                    maybe_color = parse_color_value(tokens);
                    if (!maybe_color)
                        return {};
                } else if (!maybe_radius) {
                    return {};
                }
            }

            return if_no_more_tokens_return(FilterOperation::DropShadow { x_offset.release_nonnull(), y_offset.release_nonnull(), maybe_radius, maybe_color });
        } else if (filter_token == FilterToken::HueRotate) {
            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-hue-rotate
            // hue-rotate( [ <angle> | <zero> ]? )

            // Default value when omitted is 0deg.
            if (!tokens.has_next_token())
                return FilterOperation::HueRotate { AngleStyleValue::create(Angle::make_degrees(0)) };

            // The unit identifier may be omitted if the <angle> is zero.
            if (tokens.next_token().is(Token::Type::Number)) {
                // hue-rotate(0)
                auto token = tokens.consume_a_token().token();
                if (token.is_integer() && token.to_integer() == 0)
                    return if_no_more_tokens_return(FilterOperation::HueRotate { AngleStyleValue::create(Angle::make_degrees(0)) });
                return {};
            }

            if (auto angle = parse_angle_value(tokens, infinite_range))
                return if_no_more_tokens_return(FilterOperation::HueRotate { angle.release_nonnull() });

            return {};
        } else {
            // Simple filters:

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-brightness
            // brightness( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-contrast
            // contrast( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-grayscale
            // grayscale( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-invert
            // invert( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-opacity
            // opacity( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-sepia
            // sepia( [ <number> | <percentage> ]? )

            // https://drafts.csswg.org/filter-effects-1/#funcdef-filter-saturate
            // saturate( [ <number> | <percentage> ]? )

            // Default value when omitted is 1.
            if (!tokens.has_next_token())
                return FilterOperation::Color { filter_token_to_operation(filter_token), NumberStyleValue::create(1) };

            // Negative values are not allowed.
            auto amount = parse_number_percentage_value(tokens, non_negative_range, non_negative_range);

            if (!amount)
                return {};

            // Values of amount over 100% are allowed but UAs must clamp the values to 1.
            // NB: Only for grayscale(), invert(), opacity() and sepia() functions
            if (first_is_one_of(filter_token, FilterToken::Grayscale, FilterToken::Invert, FilterToken::Opacity, FilterToken::Sepia)) {
                if (amount->is_percentage() && amount->as_percentage().percentage().value() > 100)
                    amount = PercentageStyleValue::create(Percentage { 100 });
                if (amount->is_number() && amount->as_number().number() > 1)
                    amount = NumberStyleValue::create(1);
            }

            return if_no_more_tokens_return(FilterOperation::Color { filter_token_to_operation(filter_token), amount.release_nonnull() });
        }
    };

    Vector<FilterValue> filter_value_list {};

    while (tokens.has_next_token()) {
        tokens.discard_whitespace();
        if (!tokens.has_next_token())
            break;

        auto url_function = parse_url_function(tokens);
        if (url_function.has_value()) {
            filter_value_list.append(*url_function);
            continue;
        }

        auto& token = tokens.consume_a_token();
        if (!token.is_function())
            return nullptr;
        auto filter_token = parse_filter_function_name(token.function().name);
        if (!filter_token.has_value())
            return nullptr;

        auto context_guard = push_temporary_value_parsing_context(FunctionContext { token.function().name });
        auto filter_function = parse_filter_function(*filter_token, token.function().value);
        if (!filter_function.has_value())
            return nullptr;
        filter_value_list.append(*filter_function);
    }

    if (filter_value_list.is_empty())
        return nullptr;

    transaction.commit();
    return FilterValueListStyleValue::create(move(filter_value_list));
}

RefPtr<StyleValue const> Parser::parse_contain_value(TokenStream<ComponentValue>& tokens)
{
    // none | strict | content | [ [size | inline-size] || layout || style || paint ]
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    // none
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None)) {
        transaction.commit();
        return none;
    }

    // strict
    if (auto strict = parse_all_as_single_keyword_value(tokens, Keyword::Strict)) {
        transaction.commit();
        return strict;
    }

    // content
    if (auto content = parse_all_as_single_keyword_value(tokens, Keyword::Content)) {
        transaction.commit();
        return content;
    }

    // [ [size | inline-size] || layout || style || paint ]
    if (!tokens.has_next_token())
        return {};

    RefPtr<StyleValue const> size_value;
    RefPtr<StyleValue const> layout_value;
    RefPtr<StyleValue const> style_value;
    RefPtr<StyleValue const> paint_value;

    while (tokens.has_next_token()) {
        tokens.discard_whitespace();
        auto keyword_value = parse_keyword_value(tokens);
        if (!keyword_value)
            return {};
        switch (keyword_value->to_keyword()) {
        case Keyword::Size:
        case Keyword::InlineSize:
            if (size_value)
                return {};
            size_value = move(keyword_value);
            break;
        case Keyword::Layout:
            if (layout_value)
                return {};
            layout_value = move(keyword_value);
            break;
        case Keyword::Style:
            if (style_value)
                return {};
            style_value = move(keyword_value);
            break;
        case Keyword::Paint:
            if (paint_value)
                return {};
            paint_value = move(keyword_value);
            break;
        default:
            return {};
        }
    }

    StyleValueVector containment_values;
    if (size_value)
        containment_values.append(size_value.release_nonnull());
    if (layout_value)
        containment_values.append(layout_value.release_nonnull());
    if (style_value)
        containment_values.append(style_value.release_nonnull());
    if (paint_value)
        containment_values.append(paint_value.release_nonnull());

    transaction.commit();

    return StyleValueList::create(move(containment_values), StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-conditional-5/#propdef-container-name
RefPtr<StyleValue const> Parser::parse_container_name_value(TokenStream<ComponentValue>& tokens)
{
    // none | <custom-ident>+
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    if (auto none = parse_specific_keyword_value(tokens, { { Keyword::None } })) {
        transaction.commit();
        return none;
    }

    StyleValueVector names;
    while (tokens.has_next_token()) {
        // The keywords none, and, not, and or are excluded from this <custom-ident>.
        auto name = parse_custom_ident_value(tokens, { { "none"sv, "and"sv, "not"sv, "or"sv } });
        if (!name)
            break;

        names.append(name.release_nonnull());
        tokens.discard_whitespace();
    }

    if (names.is_empty())
        return {};

    transaction.commit();

    if (names.size() == 1)
        return names.take_first();

    return StyleValueList::create(move(names), StyleValueList::Separator::Space, StyleValueList::Collapsible::No);
}

// https://drafts.csswg.org/css-conditional-5/#propdef-container-type
RefPtr<StyleValue const> Parser::parse_container_type_value(TokenStream<ComponentValue>& tokens)
{
    // normal | [ [ size | inline-size ] || scroll-state ]
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    // normal
    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::Normal)) {
        transaction.commit();
        return none;
    }

    // [ [ size | inline-size ] || scroll-state ]
    if (!tokens.has_next_token())
        return {};

    RefPtr<StyleValue const> size_value;
    RefPtr<StyleValue const> scroll_state_value;

    while (tokens.has_next_token()) {
        auto keyword_value = parse_keyword_value(tokens);
        if (!keyword_value)
            return {};
        switch (keyword_value->to_keyword()) {
        case Keyword::Size:
        case Keyword::InlineSize:
            if (size_value)
                return {};
            size_value = move(keyword_value);
            break;
        case Keyword::ScrollState:
            if (scroll_state_value)
                return {};
            scroll_state_value = move(keyword_value);
            break;
        default:
            return {};
        }
        tokens.discard_whitespace();
    }

    StyleValueVector containment_values;
    if (size_value)
        containment_values.append(size_value.release_nonnull());
    if (scroll_state_value)
        containment_values.append(scroll_state_value.release_nonnull());

    transaction.commit();

    return StyleValueList::create(move(containment_values), StyleValueList::Separator::Space);
}

// https://drafts.csswg.org/css-conditional-5/#propdef-container
RefPtr<StyleValue const> Parser::parse_container_value(TokenStream<ComponentValue>& tokens)
{
    // <'container-name'> [ / <'container-type'> ]?
    auto transaction = tokens.begin_transaction();
    tokens.discard_whitespace();

    auto name = parse_container_name_value(tokens);
    if (!name)
        return {};

    tokens.discard_whitespace();

    RefPtr<StyleValue const> type;
    if (tokens.has_next_token()) {
        if (!tokens.next_token().is_delim('/'))
            return {};
        tokens.discard_a_token();

        tokens.discard_whitespace();
        type = parse_container_type_value(tokens);
        if (!type)
            return {};

        tokens.discard_whitespace();
        if (tokens.has_next_token())
            return {};
    } else {
        type = property_initial_value(PropertyID::ContainerType);
    }

    transaction.commit();
    return ShorthandStyleValue::create(PropertyID::Container,
        { PropertyID::ContainerName, PropertyID::ContainerType },
        { name.release_nonnull(), type.release_nonnull() });
}

// https://www.w3.org/TR/css-text-4/#white-space-trim
RefPtr<StyleValue const> Parser::parse_white_space_trim_value(TokenStream<ComponentValue>& tokens)
{
    // none | discard-before || discard-after || discard-inner

    if (auto none = parse_all_as_single_keyword_value(tokens, Keyword::None))
        return none;

    auto transaction = tokens.begin_transaction();

    RefPtr<StyleValue const> discard_before;
    RefPtr<StyleValue const> discard_after;
    RefPtr<StyleValue const> discard_inner;

    while (auto parsed_value = parse_css_value_for_property(PropertyID::WhiteSpaceTrim, tokens)) {
        switch (parsed_value->as_keyword().keyword()) {
        case Keyword::DiscardBefore:
            if (discard_before)
                return {};
            discard_before = parsed_value;
            break;
        case Keyword::DiscardAfter:
            if (discard_after)
                return {};
            discard_after = parsed_value;
            break;
        case Keyword::DiscardInner:
            if (discard_inner)
                return {};
            discard_inner = parsed_value;
            break;
        default:
            return {};
        }

        if (!tokens.has_next_token())
            break;
    }

    StyleValueVector parsed_values;

    // NOTE: The values are appended here rather than in the loop above to canonicalize their order.
    if (discard_before)
        parsed_values.append(discard_before.release_nonnull());
    if (discard_after)
        parsed_values.append(discard_after.release_nonnull());
    if (discard_inner)
        parsed_values.append(discard_inner.release_nonnull());

    transaction.commit();

    return StyleValueList::create(move(parsed_values), StyleValueList::Separator::Space);
}

// https://www.w3.org/TR/css-text-4/#white-space-property
RefPtr<StyleValue const> Parser::parse_white_space_shorthand(TokenStream<ComponentValue>& tokens)
{
    // normal | pre | pre-wrap | pre-line | <'white-space-collapse'> || <'text-wrap-mode'> || <'white-space-trim'>

    auto transaction = tokens.begin_transaction();

    auto make_whitespace_shorthand = [&](RefPtr<StyleValue const> white_space_collapse, RefPtr<StyleValue const> text_wrap_mode, RefPtr<StyleValue const> white_space_trim) {
        transaction.commit();

        if (!white_space_collapse)
            white_space_collapse = property_initial_value(PropertyID::WhiteSpaceCollapse);

        if (!text_wrap_mode)
            text_wrap_mode = property_initial_value(PropertyID::TextWrapMode);

        if (!white_space_trim)
            white_space_trim = property_initial_value(PropertyID::WhiteSpaceTrim);

        return ShorthandStyleValue::create(
            PropertyID::WhiteSpace,
            { PropertyID::WhiteSpaceCollapse, PropertyID::TextWrapMode, PropertyID::WhiteSpaceTrim },
            { white_space_collapse.release_nonnull(), text_wrap_mode.release_nonnull(), white_space_trim.release_nonnull() });
    };

    // normal | pre | pre-wrap | pre-line
    if (parse_all_as_single_keyword_value(tokens, Keyword::Normal))
        return make_whitespace_shorthand(KeywordStyleValue::create(Keyword::Collapse), KeywordStyleValue::create(Keyword::Wrap), KeywordStyleValue::create(Keyword::None));

    if (parse_all_as_single_keyword_value(tokens, Keyword::Pre))
        return make_whitespace_shorthand(KeywordStyleValue::create(Keyword::Preserve), KeywordStyleValue::create(Keyword::Nowrap), KeywordStyleValue::create(Keyword::None));

    if (parse_all_as_single_keyword_value(tokens, Keyword::PreWrap))
        return make_whitespace_shorthand(KeywordStyleValue::create(Keyword::Preserve), KeywordStyleValue::create(Keyword::Wrap), KeywordStyleValue::create(Keyword::None));

    if (parse_all_as_single_keyword_value(tokens, Keyword::PreLine))
        return make_whitespace_shorthand(KeywordStyleValue::create(Keyword::PreserveBreaks), KeywordStyleValue::create(Keyword::Wrap), KeywordStyleValue::create(Keyword::None));

    // <'white-space-collapse'> || <'text-wrap-mode'> || <'white-space-trim'>
    RefPtr<StyleValue const> white_space_collapse;
    RefPtr<StyleValue const> text_wrap_mode;
    RefPtr<StyleValue const> white_space_trim;

    while (tokens.has_next_token()) {
        if (auto value = parse_css_value_for_property(PropertyID::WhiteSpaceCollapse, tokens)) {
            if (white_space_collapse)
                return {};
            white_space_collapse = value;
            continue;
        }

        if (auto value = parse_css_value_for_property(PropertyID::TextWrapMode, tokens)) {
            if (text_wrap_mode)
                return {};
            text_wrap_mode = value;
            continue;
        }

        Vector<ComponentValue> white_space_trim_component_values;

        while (true) {
            auto peek_token = tokens.next_token();

            if (!peek_token.is(Token::Type::Ident)) {
                break;
            }

            auto keyword = keyword_from_string(peek_token.token().ident());

            if (!keyword.has_value() || !property_accepts_keyword(PropertyID::WhiteSpaceTrim, keyword.value())) {
                break;
            }

            white_space_trim_component_values.append(tokens.consume_a_token());
        }

        if (!white_space_trim_component_values.is_empty()) {
            auto white_space_trim_token_stream = TokenStream { white_space_trim_component_values };

            if (auto value = parse_white_space_trim_value(white_space_trim_token_stream)) {
                if (white_space_trim)
                    return {};
                white_space_trim = value;
                continue;
            }
        }

        return {};
    }

    return make_whitespace_shorthand(white_space_collapse, text_wrap_mode, white_space_trim);
}

// https://drafts.csswg.org/scroll-animations-1/#view-timeline-shorthand
RefPtr<StyleValue const> Parser::parse_view_timeline_value(TokenStream<ComponentValue>& tokens)
{
    // [ <'view-timeline-name'> [ <'view-timeline-axis'> || <'view-timeline-inset'> ]? ]#
    StyleValueVector names;
    StyleValueVector axes;
    StyleValueVector insets;

    auto transaction = tokens.begin_transaction();

    do {
        RefPtr<StyleValue const> name;
        RefPtr<StyleValue const> axis;
        RefPtr<StyleValue const> inset;

        auto const append_entry = [&]() {
            VERIFY(name);
            names.append(name.release_nonnull());

            static auto default_axis = property_initial_value(PropertyID::ViewTimelineAxis)->as_value_list().values()[0];
            static auto default_inset = property_initial_value(PropertyID::ViewTimelineInset)->as_value_list().values()[0];

            axes.append(axis ? axis.release_nonnull() : default_axis);
            insets.append(inset ? inset.release_nonnull() : default_inset);
        };

        tokens.discard_whitespace();

        auto maybe_name = parse_css_value_for_property(PropertyID::ViewTimelineName, tokens);

        if (!maybe_name)
            return nullptr;

        name = maybe_name;

        tokens.discard_whitespace();

        if (tokens.next_token().is(Token::Type::Comma)) {
            tokens.discard_a_token();

            // Disallow trailing commas
            if (!tokens.has_next_token())
                return nullptr;

            append_entry();
            continue;
        }

        auto remaining_longhands = Vector { PropertyID::ViewTimelineAxis, PropertyID::ViewTimelineInset };

        while (tokens.has_next_token() && !tokens.next_token().is(Token::Type::Comma)) {
            tokens.discard_whitespace();

            auto property_and_value = parse_css_value_for_properties(remaining_longhands, tokens);

            if (!property_and_value.has_value())
                return nullptr;

            remove_property(remaining_longhands, property_and_value->property);

            switch (property_and_value->property) {
            case PropertyID::ViewTimelineAxis:
                if (axis)
                    return nullptr;

                axis = property_and_value->style_value;
                break;
            case PropertyID::ViewTimelineInset:
                if (inset)
                    return nullptr;

                inset = property_and_value->style_value;
                break;
            default:
                VERIFY_NOT_REACHED();
            }
        }

        append_entry();

        if (tokens.next_token().is(Token::Type::Comma)) {
            tokens.discard_a_token();

            // Disallow trailing commas
            if (!tokens.has_next_token())
                return nullptr;

            continue;
        }

        if (tokens.has_next_token())
            return nullptr;
    } while (tokens.has_next_token());

    transaction.commit();

    return ShorthandStyleValue::create(PropertyID::ViewTimeline,
        { PropertyID::ViewTimelineName, PropertyID::ViewTimelineAxis, PropertyID::ViewTimelineInset },
        { StyleValueList::create(move(names), StyleValueList::Separator::Comma),
            StyleValueList::create(move(axes), StyleValueList::Separator::Comma),
            StyleValueList::create(move(insets), StyleValueList::Separator::Comma) });
}

// https://drafts.csswg.org/css-will-change/#will-change
RefPtr<StyleValue const> Parser::parse_will_change_value(TokenStream<ComponentValue>& tokens)
{
    // auto | <animateable-feature>#
    // <animateable-feature> = scroll-position | contents | <custom-ident>
    if (parse_all_as_single_keyword_value(tokens, Keyword::Auto))
        return KeywordStyleValue::create(Keyword::Auto);

    auto parse_animateable_feature = [this](TokenStream<ComponentValue>& tokens) -> RefPtr<StyleValue const> {
        auto style_value = parse_css_value_for_property(PropertyID::WillChange, tokens);
        if (!style_value)
            return nullptr;

        if (style_value->to_keyword() == Keyword::Auto)
            return nullptr;

        return style_value;
    };

    return parse_comma_separated_value_list(tokens, [&parse_animateable_feature](auto& tokens) {
        return parse_animateable_feature(tokens);
    });
}

}