a.ui-button:hover {
    color: #fff;
    text-decoration: none;
}

/*
Visual Studio-like style based on original C# coloring by Jason Diamond <jason@diamond.name>
*/
.hljs {
    display: block;
    overflow-x: auto;
    background: white;
    color: black;
}

.hljs-comment,
.hljs-quote,
.hljs-variable {
    color: #008000;
}

.hljs-keyword,
.hljs-selector-tag,
.hljs-built_in,
.hljs-name,
.hljs-tag {
    color: #00f;
}

.hljs-string,
.hljs-title,
.hljs-section,
.hljs-attribute,
.hljs-literal,
.hljs-template-tag,
.hljs-template-variable,
.hljs-type,
.hljs-addition {
    color: #a31515;
}

.hljs-deletion,
.hljs-selector-attr,
.hljs-selector-pseudo,
.hljs-meta {
    color: #2b91af;
}

.hljs-doctag {
    color: #808080;
}

.hljs-attr {
    color: #f00;
}

.hljs-symbol,
.hljs-bullet,
.hljs-link {
    color: #00b0e8;
}


.hljs-emphasis {
    font-style: italic;
}

.hljs-strong {
    font-weight: bold;
}

.documentation-link {
    text-decoration: none !important;
    padding: 6px 0;
    display: flex;
    align-items: center;
    position: relative;
    float: right;
    margin-left: -100%;
}

.social-link {
    margin-right: 8px;
    text-decoration: none;
}

.console {
    height: 400px;
    background: #fff;
    margin: 16px 0;
    border-radius: 4px;
    display: flex;
    flex-direction: column;
    padding: 0 0 16px 0;
    color: #000;
}

.console-content {
    flex: 1;
    overflow: auto;
    background-color: #ccc;
}

.console-header {
    display: flex;
    border-bottom: 1px solid #ccc;
    padding: 8px 0;
}
.console-title {
    flex: 1;
    text-align: center;
    font-size: 24px;
}

.console-clear {
    appearance: none;
    border: none;
    background: transparent;
    color: #000;
    padding: 0 16px 0 0;
}

.console-message {
    margin: 8px;
    padding: 4px 0;
    display: flex;
    align-items: baseline;
    background: #fff;
    border-radius: 4px;
}

.console-message-time {
    font-size: 12px;
    padding: 2px 4px;
}

.logos {
    margin: 48px 0;
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    justify-content: center;
}

.logos img {
    height: 32px;
    margin-right: 32px;
    margin-bottom: 32px;
}

.logos  .square {
    height: 48px;
}