@articleLinkColour: #AAA;
@articleLinkHoverColour: #009999; /* also good: turquoise3(#00C5CD) */
@articleLinkVisitedColour: #434343;

@darkGrey: #333333;

.rounded-corners (@radius: 10px) {
    -webkit-border-radius: @radius;
    -moz-border-radius: @radius;
    -ms-border-radius: @radius;
    -o-border-radius: @radius;
    border-radius: @radius;
    }

.transition (@interval: 0.3s) {
    -moz-transition: all @interval ease;
    -webkit-transition: all @interval ease;
    -o-transition: all @interval ease;
    transition: all @interval ease;
    }

.transform (@rotation: -10deg) {
    -moz-transform:rotate(@rotation);
    -ms-transform:rotate(@rotation);
    -webkit-transform:rotate(@rotation);
    transform:rotate(@rotation);
    }


mark {background:#3A3A3A;
    color:#1A1A1A;
    padding:1px 4px;
    border-bottom:solid 1px #303030;
    .rounded-corners(2px); /* LESS parametric mixin */
    }
	mark:hover {background:#434343; color:#737373; text-shadow:#333333; cursor:pointer; border-bottom:none;}
    mark.ActiveMark {background:#666666; color:#737373;}


article a:link, article a {color:@articleLinkColour;}
article a:hover {color:@articleLinkHoverColour;}
article a:visited {color:@articleLinkVisitedColour;}
article a:visited:hover {color:@articleLinkHoverColour;}





div#NSpageContainer img#SiteLogo {margin:100px 0px 0px -37px;
    .transition(); /* parameterless mixin */
    }
    div#NSpageContainer img#SiteLogo:hover {
        .transform (-80deg);
        cursor:pointer;
        }



.darkGreyPlusRed {
    color: (@darkGrey + #110000);       /* Equals #443333 in LESS, meaning variation of prime colour is possible */
}



.desaturatedLink {
    color: desaturate(@articleLinkColour, 20%);     /* Dunno what it equals, but it desaturates sure enough */
}