1 /* article related styles */
4 &:extend(.bordered-box);
9 &:extend(.rectangle-header);
10 &:extend(.large-text);
17 a { color: @foreground-color; }
18 a:hover { color: @anchor-color-hover; }
19 a:visited {color: inherit; }
23 &:extend(.smaller-text);
41 a { color: @foreground-color; }
42 a:hover { color: inherit; }
44 &:extend(.largest-text);
52 a { &:extend(.button); }
57 &:extend(.smaller-text);
58 border-top: 1px solid @component-border-color;
61 /* .tags { &:extend(.flatten-list); } */
62 .tags li { display: inline-block };
68 @media(max-width:480px) {
73 header .property .dept {