Yes. #a80000 is the HTML color code for that particular shade of red. If you Google "HTML color picker" you'll find a few easy to use websites that will give you the color code for whichever color you want. The URL fragment is just the "name" part of "/name". When you create or edit a page in the Admin panel, there's a field that says "URL fragment". Get it from there.