Print styles: footer

Tones down license information
and makes last updated primary information in
printed view

Additional changes:
* variables now inherits from mediawiki.ui

Bug: T169823
Change-Id: Ie678967a27baec8715cf86b6a0f7e7651f867be1

print.less

@@ -1,4 +1,5 @@
 @import 'variables.less';
+@footerColor: #eee;
 
 @media print {
 
@@ -160,4 +161,42 @@
 			}
 		}
 	}
+
+	.printfooter {
+		margin-top: 10px;
+		border-top: 3px solid @pureBlack;
+		padding-top: 10px;
+		font-size: 10pt;
+	}
+
+	#footer {
+		margin-top: 12px;
+		border-top: 1px solid @footerColor;
+		padding-top: 5px;
+	}
+
+	#footer-info {
+		margin: 0;
+		padding: 0;
+
+		li {
+			color: @colorGray9;
+			list-style: none;
+			display: block;
+			padding-bottom: 10px;
+			font-size: 10pt;
+
+			a {
+				// override default black print style.
+				color: @colorGray9 !important; /* stylelint-disable-line declaration-no-important */
+			}
+		}
+	}
+
+	// Last updated as primary info.
+	#footer-info-lastmod {
+		color: @pureBlack;
+		font-size: 12pt;
+		font-weight: bold;
+	}
 }

variables.less

@@ -1,3 +1,5 @@
+@import 'mediawiki.ui/variables';
+
 @html-font-size: 100%;
 
 @font-family-serif: 'Linux Libertine', 'Georgia', 'Times', serif;