cor-lang/docs/assets/style.css

The Language of the Web

/* BEGIN ICONS */

@font-face {
    font-family: 'icomoon';
    src: url('fonts/icomoon.eot?w08g61');
    src: url('fonts/icomoon.eot?w08g61#iefix') format('embedded-opentype'),
        url('fonts/icomoon.ttf?w08g61') format('truetype'),
        url('fonts/icomoon.woff?w08g61') format('woff'),
        url('fonts/icomoon.svg?w08g61#icomoon') format('svg');
    font-weight: normal;
    font-style: normal;
}


[class^="icon-"], [class*=" icon-"] {
    /* use !important to prevent issues with browser extensions that change fonts */
    font-family: 'icomoon' !important;
    speak: none;
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    text-transform: none;
    line-height: 1;
    
    font-size: 25px !important;

    /* Better Font Rendering =========== */
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

.icon-twitter:before {
    content: "\e901";
}
.icon-github:before {
    content: "\e902";
}

/* END ICONS */


@font-face {
    font-family: 'Oxygen';
    src: url('fonts/Oxygen-Regular.ttf') format('truetype');
}

body {
    font-family: Oxygen, "Helvetica Neue", Helvetica, Arial, sans-serif;
    margin: 0px;
    background-color: #fefefe;
    font-size: 15px;
}

a {
    text-decoration: none;
    color: #269abc;
}

a:hover {
    border-bottom: 2px solid #269abc;
}

.inline {
    display: inline;
}

.left {
    float: left;
    margin: 0px;
}

.right {
    float: right;
    margin: 0px;
}

.clear {
    clear: right;
}

.center {
    text-align: center;
}

/* NAV BAR */
.navbar {
    left: 0px;
    right: 0px;
    width: auto;
    margin-top: 0px;
    display: block;
    color: #fff;
    text-align: center;
    background-color: #01579B;
    display: block;
    min-height: 50px;
    padding-bottom: 1px;
    position: fixed;
    z-index: 1000;
    top: 0px;
}

.navbar a {
    text-decoration: none;
    color: #fff;
}

.nav > ul {
    list-style: none;
    padding: 0px;
    font-size: 14px;
    margin-top: 14px;
}

.nav li {
    margin-right: 18px;
}

.nav li:last-child {
    margin-right: 0px;
}

.nav li a {
    padding-bottom: 5px;
}

.nav li a:hover {
    border-bottom: 2px solid #E1F5FE;
}

.nav li a:active {
    /*border-bottom: 2px solid #fff;*/
}

/* CONTENT */

ul {
    padding-left: 20px;
}

.body {
    margin-top: 50px;
}

.content {
    margin-left: auto;
    margin-right: auto;
    max-width: 800px;
    width: auto;
}

pre {
    background-color: #eee;
    border-radius: 3px;
}

code {
    background-color: #eee;
    font-family: Monaco, Consolas, "Lucida Console", monospace;
    font-size: 13px;
    padding: 0px 5px;
    color: #555;
    border-radius: 3px;
}

pre code {
    padding: 15px !important;
    color: #000;
    font-size: 13px;
    line-height: 17px;
}

h1, h2, h3, h4 {
    color: #286090;
    padding: 0px;
    margin: 0px;
}

h1 {
    padding-top: 20px;
    padding-bottom: 5px;
    font-size: 40px;
}

h2 {
    padding-top: 25px;
    margin-bottom: 10px;
    font-size: 32px;
}

h3 {
    padding-top: 10px;
    padding-bottom: 5px;
    margin-bottom: 10px;
    border-bottom: 1px solid #ddd;
    font-size: 25px;
}

h4 {
    padding-top: 5px;
    padding-bottom: 5px;
    margin-bottom: 10px;
    font-size: 20px;
}

p {
    padding: 0px;
    margin: 0px;
    text-align: justify;
}

blockquote {
    border-left: 5px solid #bbb;
    margin-left: 0px;
    padding: 10px 0px 10px 20px;
    color: #666 !important;
}

table {
    margin-top: 10px;
}

td.cmd-arg {
    width: 70px;
}

td {
    padding: 5px 15px 5px 0;
    vertical-align: top;
}

.brand {
    float: left;
    display: inline;
    margin-left: 3px;
    font-size: 15px;
    padding: 14px 0px;
}

.rule {
    width: 100%;
    margin: 30px auto;
    clear: both;
}

.full-rule {
    width: 100%;
    margin: 100px auto;
    clear: both;
}


.lead {
    margin-right: auto;
    margin-left: auto;
    font-weight: normal;
}

.master {
    left: 0px;
    right: 0px;
    width: auto;    
    background-color: #0277BD;
    text-align: center;
    padding-bottom: 40px;
    margin-top: 0px;
    color: #fff;
}

.master .lead {
    font-size: 22px;
}

.master h1 {
    margin-top: 0px;
    margin-bottom: 20px;
    padding-top: 20px;
    text-align: left;
    font-size: 50px;
    color: #fff;
}

.grid {
    margin-right: -15px;
    margin-left: -15px;
    width: auto;
    display: table;
}

.grid .col {
    width: 380px;
    min-width: 90px;
    position: relative;
    display: inline;
    float: left;
    padding: 0 15px;
}

.grid .col h3 {
    font-size: 23px;
    margin-bottom: 10px;
    border: 0px;
    padding: 0px;
}

.grid .col img {    
    margin-top: 15px;
}

.grid pre {
    margin-top: 6px;
}

/* BUTTON */
a.button {
    display: inline-block;
    text-align: center;
    color: #fff;
    border: 0px;
    padding: 10px 20px;
    font-size: 20px;
    border-radius: 50px;
    font-weight: normal;
    background-color: #01579B;
}

a.button:hover {
    background-color: #204d74;
}

a.button-inverse {
    color: #204d74;
    border: 1px solid #204d74;
    padding: 10px 20px;
    font-size: 20px;
    border-radius: 8px;
    font-weight: normal;
    background-color: transparent;
}

a.button-inverse:hover {
    color: #fff;
    background-color: #204d74;
}


a.button-inline {
    color: #fff;
    border: 0px;
    padding: 0px 7px;
    background-color: #d9534f;
    border-radius: 3px;
    font-weight: normal;
}

a.button-inline:hover {
    background-color: #c9302c;
}

/* FOOTER */
.footer-links {
    left: 0px;
    right: 0px;
    margin: auto;
    text-align: center;
    display: block;
    padding-bottom: 10px;
    height: auto;    
}

.footer p {
    padding: 10px 0px;
    background-color: #eee;
    font-size: 11px;
    text-align: center;
}

.footer-links > ul {
    list-style: none;
    padding-left: 0px;
}

.footer-links > ul > li {
    display: inline;
    line-height: 1;
}

/**TABLE CONTENT*/

.toclink {
    display: block;
    padding: 1px;
    border-radius: 3px;
    border-bottom: 1px dashed #eee;
}

a.toclink:hover {
    background-color: #eee;
    border: 0px;
}

.toclink-1 {
    padding-left: 0px;
}

.toclink-2 {
    padding-left: 10px;
}

.toclink-3 {
    padding-left: 20px;
}

.toclink-4 {
    padding-left: 30px;
}

#top {
    position: absolute;
    width: 0px;
    height: 0px;
    top: 0px;
    left: 0px;
}
.goto-top {
    position: fixed;
    display: block;
    right: 10px;
    bottom: 10px;
    width: 35px;
    height: 35px;
    font-size: 40px;
    font-weight: bold;
}

.goto-top a:hover {
    color: #204d74;
}

/* PLAYGROUND */
.pg-content {
    padding: 0px;
    display: block;
    margin-left: 10px;
    margin-right: 10px;
}

.pg-editor {
    padding: 0px;
    padding-top: 10px;
    display: block;
    height: 400px;
    margin: 0px;
}

.pg-source, .pg-output {
    display: inline;
    border: 0;
    float: left;
    left: 0px;
    right: 0px;
    width: 47%;
    height: 100%;
    overflow-y: auto;
    padding: 15px 8px 8px 15px;
    background-color: #eee;
    color: #333;
    outline: none;
    font-family: Monaco, Consolas, "Lucida Console", monospace;
    font-size: 13px;
    white-space: pre;
    word-wrap: normal;
    overflow-x: auto;
}

.pg-source {
    resize: none;
    border-left: 3px solid #aaa;
}

.pg-output {
    resize: none;
    border-left: 3px dotted #aaa;
    border-right: 3px solid #aaa;
}

.pg-toolbar {
    /*float: right;*/
    margin-left: 10px;
    border-left: 1px dashed #ccc;
    padding: 7px 7px 7px 10px;
    display: inline;
}

.pg-btn-run, .pg-btn-link {
    color: #fff;
    padding: 5px 16px;
    background-color: #449d44;
    border-radius: 3px;
}

a.pg-btn-run {
    background-color: #5cb85c;
}

a.pg-btn-run:hover {
    background-color: #449d44;
}

a.pg-btn-link {
    background-color: #5bc0de;
}

a.pg-btn-link:hover {
    background-color: #31b0d5;
}

.notification {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    font-size: 12px;
    text-align: right;
    background-color: #FDFFBC;
    color: #BA0000;
    opacity: .9;
    z-index: 2000;
}


/* RESPONSIVE */

@media (max-width: 800px) {

    h1, h2, h3, h4 {
        text-align: center;
        margin-top: 10px;
    }

}

@media (max-width: 900px) {

    img {
        width: 100%;
        height: auto;
    }

    .master h1 {
        font-size: 40px;
        text-align: center;
    }
    
    .master .lead {        
        text-align: center;
    }
    
    .brand {
        float: none;
    }
    
    .navbar .right {
        float: none;
    }

    .nav > ul {
        margin: 0px;
    }
    
    .grid {
        margin: auto;
        display: block;
    }
    
    .grid .col {
        margin: auto;
        display: block;
        float: none;
        width: auto;
        max-width: 500px;
    }
    
    .rule {
        margin: 20px auto;
    }
    
    .goto-top {
        display: none;
    }

    .pg-source, .pg-output {
        border-left: 3px solid #aaa;
        border-right: 3px solid #aaa;
        display: block;
        width: 93%;
    }
    
    .pg-source {
        border-bottom: 3px dotted #aaa;
    }
}

@media print {
    h1, h2, h3, h4 {
        text-align: left;
        border: 0px;
    }

    h2 {
        page-break-before: always;
        page-break-inside: avoid;
    }

    .hljs {
        color: #222 !important;
    }

    .hljs-comment {
        color: #ddd !important;
    }

    .toclink {
        border: 0px;
    }

    nav.navbar, .footer, .footer-links {
        display: none;
    }
}