@import url("https://fonts.googleapis.com/css?family=Architects+Daughter");
body { font-family: 'Helvetica Neue', Helvetica, Arial, serif; }
header {
    background: url(../assets/images/header-bg-left.png) top right repeat;
    font-family: 'Architects Daughter', 'Helvetica Neue', Helvetica, Arial, serif;

}
header h1 { font-size: 46px; font-weight: normal; margin-top: 0; margin-bottom: 0.2em; letter-spacing: -1px; width: 100%; }

header h2 { font-size: 150%; font-weight: 300; margin-top: 0; margin-bottom: 0; }
body, header { margin: 0; padding: 0; }
header div { margin: 0; padding: 1.6em; }
main, article { margin: 0; padding: 1em; }

header  div {
    background: url(../assets/images/header-bg-right.png) top right repeat-y;
}
header h1 a { color: white; text-decoration: none;}
header h2 { color: #9ddcff; }
/*https://developer.mozilla.org/en-US/docs/Learn/HTML/Introduction_to_HTML/Document_and_website_structure*/
.deprecated { background: rgb(244, 165, 130); padding: 2px; }

button, .button {
    text-decoration: none;
    background-color: #EEEEEE;
    color: #333333;
    padding: 4px 6px 2px 6px;
    border-top: 1px solid #CCCCCC;
    border-right: 1px solid #333333;
    border-bottom: 1px solid #333333;
    border-left: 1px solid #CCCCCC;
    border-radius: 4px;
    margin: 3px;
    line-height: 1.8em;
}
#helpMenu { background-color: #EEEEEE; margin-top: 0; padding-top: 0.5em; padding-bottom: 0.5em; }