5 /* Add a missing header. */
 
  26     @include min-screen(240px) {
 
  34     @include min-screen(320px) {
 
  43         @include theme-showing;
 
  48 @mixin theme-showing {
 
  49     @include size(width, 120px);
 
  55     border-left: 1px solid #DDDDDD;
 
  65     @include theme-hidden;
 
  81     text-decoration: none;
 
  83     @include min-screen(600px) {
 
  84         @include theme-showing;
 
  89         @include theme-showing;
 
  96         @include theme-hidden;
 
 102         @include theme-hidden;
 
 104         @include min-screen(1200px) {
 
 105             @include theme-showing;
 
 106             margin-right: -160px;