/* Original static-page declarations, moved from HTML style attributes. */
.static-js-warning { float: left; color: #f00; }
.static-header-logo { max-width: 100%; max-height: 60px; }
.static-shortcut-key { width: 30%; }
.static-shortcut-description { width: 70%; }