html { overflow-y: scroll; }
body { font-family: sans-serif; }
a { color: rgb(0,0,255); text-decoration: none; }
a:hover { text-decoration: underline; }
li { margin: 0.3em; }

/* selected/unselected tabs on main header */
* .unselected_tab { border-bottom: 2px solid #f0f8fc; }
* .selected_tab   { border-bottom: 2px solid #0000ff; }

.desktop { display: block; }
.mobile { display: none; }

/* for narrow screens, switch to mobile view */
@media screen and (max-width: 768px) { 
  .desktop { display: none; }
  .mobile { display: block; }
}