libraries/ManiaLib/Gui/Cards/PageNavigator.php
function setSize($iconSize = 5, $nullValue = null)
    {
        $this->arrowNext->setSize($iconSize, $iconSize);
        $this->arrowPrev->setSize($iconSize, $iconSize);
        $this->arrowFastNext->setSize($iconSize, $iconSize);
        $this->arrowFastPrev->setSize($iconSize, $iconSize);
        $this->arrowLast->setSize($iconSize, $iconSize);
        $this->arrowFirst->setSize($iconSize, $iconSize);
    }
function setSize($iconSize = 5, $nullValue = null)
    {
        $this->arrowNext->setSize($iconSize, $iconSize);
        $this->arrowPrev->setSize($iconSize, $iconSize);
        $this->arrowFastNext->setSize($iconSize, $iconSize);
        $this->arrowFastPrev->setSize($iconSize, $iconSize);
        $this->arrowLast->setSize($iconSize, $iconSize);
        $this->arrowFirst->setSize($iconSize, $iconSize);
    }
Sets the size of the navigation icons