/*
Some styling overrides for the public content
*/
#public-content-container {
    width: 1200px;
}


a, a:link, a:hover, a:visited, a:active {
    text-decoration: underline;
    color: #000;
}

pre {
    font-family: "Source Sans Pro", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    font-size: 1rem;
    font-weight: 400;
    line-height: 1.5;
}