@import url("screen.css"); /* default gitit screen styles */
@import url("hk-pyg.css"); /* for syntax highlighting */

/* Put your custom style modifications here: */


/* cf http://google-styleguide.googlecode.com/svn/trunk/htmlcssguide.xml */

body {
    margin: 0 auto;
    max-width: 80em;
    font-family: Helvetica, Arial, sans-serif;
}

h1 {
    font-size: 1.6em;
}

h2 {
    margin: 1em 0 0.3em 0;
    font-size: 1.3em;
}

h3 {
    margin: 1.5em 0 .5em 0;
    font-size: 1em;
}

ul {
    margin: 0;
    padding-left: 1.2em;
}

pre,
code,
tt {
    font-size: .9em;
}

table td {
    vertical-align:top;
}


pre {
    border-radius: 1em;
    padding: .5em;
    overflow: auto;
    border-bottom: thin solid;
    box-shadow: 0px 2px 4px 1px hsl(0, 0%, 80%);
}

pre.dark {
    box-shadow: 0px 2px 4px 1px hsl(0, 0%, 50%);
}

code {
    font-weight: bold;
}

a:link {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

#header #logo {
    vertical-align: middle;
    margin-right: 1em;
}

#navbar {
    font-size: larger;
    display: inline-block;
}

#navbar li {
    list-style-type: none;
    display: inline-block;
    width: 4em;
    text-align: center;
}

#navbar a {
    text-decoration: none;
}

#splash {
    margin-bottom:1em;
}

#intro {
    max-width: 30em;
    font-size: larger;
}

#download {
    float: right;
    width: 22em;
    margin: 0 0 1em 1em;
    padding: .5em;
    border: thin solid;
    border-bottom: .15em solid;
    border-radius: 1em;
    box-shadow: 0px 5px 10px 1px hsl(0, 0%, 60%);
}

#download-heading {
    font-size: larger;
    font-weight: bold;
    margin-bottom: .4em;
}

#leftcol {
    float: left;
    margin-right: 2em;
    max-width: 60em;
    padding-left: .5em;
}

#leftcol h2 {
    margin-left: -.5em;
}

#leftcol pre {
    margin-left: 1em;
}

#rightcol {
    /*float: right;
    max-width: 22em;*/
    float: right;
    max-width: 22em;
    padding: .5em;
    /*margin-right: 2%;*/
}

#rightcol ul {
    padding-left:0;
}

#rightcol li {
    list-style-type: none;
}

#footer {
    clear: both;
    position: relative;
    top: 1em;
/*
    border-top: thin solid;
    padding: 1em;
*/
    font-size: smaller;
    text-align:center;
}

#footer div {
    display: inline-block;
    margin-right: 2em;
}

img.thanks-left {
    float: left;
    margin-right: 5px;
    height: 50px;
}

img.thanks-right {
    float: right;
    margin-left: 5px;
    height: 50px;
}

blockquote.testimonial {
    font-style: italic;
}

/* old: */

/* command options (in manual ?) */
.cmd-opt-hdr     {
    font-size: 14px;
    font-weight: bold;
}

/* styles for rss feed (?) */

.rss_title, rss_title a {
    margin: 0px 0;
    padding: 0;
}

.rss_items {
    list-style: none;
    margin: 0;
    padding: 0;
}

.rss_item  {
    margin-bottom: 1em;;
}

.rss_item a:link, .rss_item a:visited, .rss_item a:active {

}

.rss_item a:hover { 

}

.rss_date {
    font-size: xx-small;
}

/* colors */

body { color: black; background-color: white; }
h1, h2 { color: hsl(240, 28%, 40%); }
pre {
    color: black;
    background-color: hsl(240, 100%, 96%);
    border-bottom-color: hsl(240, 40%, 70%);
}
pre.dark {
    background: url('code-bg.jpg');
    color: hsl(240, 100%, 90%);
    border-bottom-color: hsl(240, 40%, 60%);
}
pre.dark b { color: orange; }
#splash { border-bottom-color: #ddd; }
#download {
    background-color: hsl(240, 100%, 95%);
    border-color: hsl(240, 25%, 50%);
    border-bottom-color: hsl(240, 25%, 30%);
}
#footer { border-top-color: hsl(0, 0%, 87%); }
#footer,
#footer a:link,
#footer a:visited  { color: hsl(0, 0%, 53%); }
.cmd-opt-hdr { color: hsl(240, 28%, 40%); }

/* more saturated
h1, h2 { color: hsl(250, 60%, 40%); }
#download { border: 3px solid hsl(240, 100%, 21%); }
pre { border-bottom-color: hsl(240, 40%, 60%); }
 */

/* green
h1,h2 { color: black; }
a { color: green; }
pre { background-color: hsl(120, 100%, 96%); border: none; }
#download { border: 3px solid hsl(120, 100%, 21%); background-color: hsl(120, 100%, 95%); }
 */

/*debug
html {border: thin solid red;}
body {border: thin solid orange;}
div {border: thin solid yellow;}
li {border: thin solid pink;}
  */

.pageTitle {font-weight:bold;}
