Navdots & Other

Added navigation dots on right of page and JavaScript, fixed heights for
Linux and ???.