OT: How did they change the color of highlighted text? I've never seen that effect before!

Edit:

Found it in case someone else was interested:

    /* Mozilla based browsers */
    ::-moz-selection{background-color:#e12000;color:#fff;}
    /* Works in Safari */
    ::selection{background-color:#e12000;color:#fff;}