<?php

declare(strict_types=1);
/**
 * BorderTopStyle class.