garter/media/css/garter.css @ 7e8e29eb98ed

gundo.vim: Update documentation.
author Steve Losh <steve@stevelosh.com>
date Wed, 10 Jul 2013 20:36:00 -0400
parents ca20cf1cb90b
children (none)
/* @override http://localhost:8008/media/css/garter.css */

html, body {
    font-family: "Palatino", "Palatino Linotype", "Times", serif;
    font-size:  16px;
}
body {
    margin-bottom: 5em;
}

ol#breadcrumbs {
    height: 2em;
}
ol#breadcrumbs li {
    font-size: 16px !important;
    line-height: 2em;
}

div.toc ul {
    margin: 0;
}
div.toc ul li {
    list-style-type: none;
}
div.toc ul ul {
    margin-left:  1.5em;
}

a:link, a:visited, a:active {
    color: #e51b52;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
h1 a:link, h1 a:visited, h1 a:active {
    color: black;
}
h1 a:hover {
    color: #e51b52;
    text-decoration: none;
}

h1 {
    font-size: 42px;
}
h2 {
    font-size: 26px;
}
h3 {
    font-size: 18px;
}

code, pre {
    font-family: "Monaco", "Menlo", "Consolas", "Courier New", monospaced;
    font-size: 12px;
    line-height: 1.75em;
}
div.codehilite {
    margin: 0;
    padding: 5px 36px;
    margin-left: 0px;
    margin-bottom: 1.4em;
    width: 560px;
    background-color: #f5f5f5;
    border: 1px dotted #eee;
    border-right: none;
}

div#footer {
    font-size: 14px;
    font-style: italic;
    text-align: center;
    text-transform: none;
}

h1#splash-logo {
    display: none;
}
div#logo {
    text-align: center;
    margin: 8px 0 16px;
}