static-old/media/css/sjl.less @ f9c2bf2fa2c9 lisp

@c-link: #e50053;
@c-body: #222;
@w-body: 615px;
@font-fancy: HoeflerText-Regular,'Hoefler Text','Goudy Old Style','Palatino','Palatino Linotype',serif;

html {
    overflow-y: scroll;
}
body {
    text-rendering: optimizeLegibility;
    color: @c-body;
    position: relative;

    a {
        text-decoration: none;
        color: @c-link;

        &:hover {
            text-decoration: underline;
        }
    }
    h1, h2, h3, h4, h5, h6 {
        font-family: @font-fancy;
        font-weight: normal;

        a {
            color: @c-body;

            &:hover {
                color: @c-link;
                text-decoration: none;
            }
        }
        .amp {
            font-style: italic;
        }
    }
    h1 { font-size: 45px; line-height: 50px; margin: 25px 0; } // 3
    h2 { font-size: 32px; line-height: 50px; margin: 25px 0; } // m7
    h3 { font-size: 23px; line-height: 25px; margin: 25px 0; } // 3
    h4 { font-size: 18px; line-height: 25px; margin: 25px 0; font-weight: bold; } // r
    code, pre {
        font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
        font-size: 16px;
    }
    div.threejs {
        margin-bottom: 16px;

        canvas {
            border: 1px solid #222222;
        }
        div {
            text-align: center;
        }
    }

    pre {
        font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
        font-size: 16px;
        line-height: 20px;

        overflow-x: auto;

        border: 1px solid #d5d5d5;
        border-left: 10px solid #d5d5d5;
        background-color: #fafafa;

        padding: 11px 15px 12px;
        margin-left: -25px;
    }
    pre::-webkit-scrollbar {
        height: 25px;
    }
    pre::-webkit-scrollbar-button:start,
    pre::-webkit-scrollbar-button:end {
        display: none;
    }
    pre::-webkit-scrollbar-track-piece  {
        background-color: #eee;
    }
    pre::-webkit-scrollbar-thumb {
        background-color: #bbb;
        border: 7px solid #eee;
        -webkit-background-clip: padding-box;
        -webkit-border-radius: 12px;
    }

    pre.lineart {
        background: none;
        font-family: Consolas, Menlo, "Ubuntu Mono", "Courier New", monospace;
        font-size: 16px;
        line-height: 20px;
        border: none;
    }
    pre code {
        line-height: 20px;
    }
    p code, li code, table code {
        border: 1px solid #ccc;
        background-color: #fafafa;
        font-size: 16px;
        padding: 1px 3px;
        line-height: 20px;
        margin: 0;
        white-space: nowrap;
    }

    .wrap {
        width: @w-body;
        margin: 0 auto;
        margin-bottom: 5em;

        .top {
            header {
                float: left;
                font-family: @font-fancy;
                font-size: 23px;      // 3
                line-height: 50px;
                text-transform: lowercase;
                padding-left: 2px;
                width: 612px - 2px - 490px;

                .amp {
                    font-style: italic;
                }
                a {
                    color: @c-body;

                    &:hover {
                        color: @c-link;
                    }
                }
            }
            nav {
                font: normal 18px/50px @font-fancy;    // 1
                text-align: right;
                text-transform: lowercase;
                padding-right: 2px;
                width: 490px - 2px;
                float: left;

                .sep {
                    padding: 0 4px;
                    color: #666;
                }
            }
        }
        .hr {
            margin-top: -12px;
            margin-bottom: 12px + 25px;
            height: 25px;
            background: transparent url('/media/images/hr.png') top left no-repeat;
        }
        .hrb {
            height: 25px;
            margin-top: 50px;
            background: transparent url('/media/images/hrb.png') top left no-repeat;
        }
        footer {
            text-align: center;

            p {
                font-size: 14px;
                font-style: italic;
                line-height: 50px;
                margin-bottom: 0px;
            }
            .rochester-made {
                img {
                    opacity: 0.7;
                    padding: 5px 20px;
                }
            }
        }
    }
}
hr {
    border: none;
    background: #ccc;
    height: 1px;
    margin-bottom: 24px;
}
.splash {
    @color: #454545;
    color: @color;
    text-align: center;
    font: normal 27px/32px @font-fancy;
    margin-bottom: -1px;
    padding-top: 0;

    p {
        margin-bottom: 24px;
    }
    .amp {
        font-style: italic;
    }
    .fn {
        color: @color;
        text-decoration: none;

        &:hover {
            color: @c-link;
            text-decoration: none;
        }
        .last-name {
            display: none;
        }
    }
}
.section-listing {
    margin-bottom: -50px;
    ol {
        list-style-type: none;

        li {
            margin: 0 0 25px 0;

            a {
                font: normal 23px/32px @font-fancy;    // 3
                color: @c-body;
                display: block;

                &:hover {
                    color: @c-link;
                    text-decoration: none;
                }
            }

            span.snip {
                font-size: 18px;     // 1
                color: #333;
                line-height: 25px;
                font-style: italic;
            }
            .amp {
                font-style: italic;
            }
        }
    }
}

blockquote {
    border: 1px solid #ccc;
    background-color: #fafafa;
    padding: 11px 15px 12px;
    margin-left: 2em;
    overflow: auto;

    p:last-child {
        margin-bottom: 0;
    }
}
span.dquo {
    margin-left: -0.23em;
}

#leaf-stats p {
    color: #666;
    margin-top: -22px;
    margin-bottom: 22px;
}
#leaf-content {
    img {
        display: block;
        margin: 25px auto 26px;
        border: 11px solid #e5e5e5;
        padding: 1px;
        background: black;
        max-width: 590px;
    }
    img.diagram {
        display: block;
        margin: 25px auto;
        padding: 0;
        background: none;
        border: none;
    }
    img.left, img.right {
        border: none;
        background: none;
        padding: none;
    }
    img.left {
         margin: 0 1.5em 1em 0;
    }
    img.right {
        margin: 0 0 .75em 1em;
    }
    .gallery img {
        background: none;
        padding: 0;
        border: none;
        display: inline;
        margin-bottom: 25px;
        margin-right: 25px;
    }
    .photo-gallery-link {
        display: inline-block;
        position: relative;
        width: 200px;
        height: 200px;
        margin-right: 1px;
        // border: 1px solid black;

        img {
            display: block;
            margin: 0px;
            border: none;
        }
        .caption {
            width: 202px;
            background: rgba(0, 0, 0, 0.6);
            text-align: center;
            color: white;
            padding: 5px 0px 0px;

            position: absolute;
            left: 0px;
            bottom: 10px;
        }
    }
    .photo-gallery-thumbnail {
        display: inline-block;
        margin: 0px;
        padding: 0px;
        width: 200px;
        height: 200px;
        margin-right: 1px;

        img {
            display: block;
            margin: 0px;
            border: none;
        }
    }
    nav#TableOfContents {
        ul {
            list-style: none;
        }

        ul:first-child>li {
            margin-left: 0em;
        }
    }
    table {
        padding: 0px;
        margin-top: -8px;
        margin-bottom: 25px;

        tr {
            margin: 0px;
            padding: 0px;

            td, th {
                margin: 0px;
                padding: 5px 5px;
                line-height: 23px;
            }
            td {
                border: 1px solid #666;
            }
        }
    }
}
#leaf-toc {
    display: none;
}

.print-links {
    display: none;
}
img.self {
    border: none;
    padding: 0;
    margin: 0;
    margin-right: -108px;
    margin-top: -15px;
    margin-left: 30px;
    margin-bottom: 20px;
}

div#cboxCurrent {
    bottom: -30px;
    font-size: 17px;
    font-weight: normal;
    left: 60px;
}
div.screenshots {
    img {
        max-width: 580px;
    }
}

#scrolling-header {
    color: #999;
    font-size: 23px;
    font-style: italic;
    font: italic 23px @font-fancy;
    line-height: 30px;
    position: fixed;
    top: 75px;
    text-align: right;
    width: 180px;
}