code
    font-size 1.2em

pre
    box-shadow none
    background-color color-background-highlight-extra-less
    font-size 1.2em

img
    margin 0.25em

.buttons
    background-color highlight
    box-shadow 0 0 10px emphasized
    color emphasized
    font-family sans-serif
    font-size 1.5rem
    position fixed
    left -4.5em
    top 50%
    transform rotate(90deg)
    filter opacity(50%)


.hsReviewPanel
    display none

.title
    border 0

#postamble
    display none

// #preamble
//     background none repeat scroll 0 0 #46484B
//     color #FFFFFF
//     font-family Arial,Helvetica,sans-serif
//     font-size 70%
//     font-weight bold
//     height 224px /* so that content begins after... */
//     padding 2px 2px 0 6px
//
//
#banner
    text-align center
//
//
#tabs
    background-color highlight
    float left
    margin 0px 0px 20px 0px
    padding 0
    width 100%

    font-family sans-serif
//
#tabs ul
    margin 0
    padding 0
//
//
#tabs li
    float left
    list-style-type none
    margin 0px 2px 0px 0px
    padding 0px 0px 0px 0px
    white-space nowrap
//
//
#tabs li a
//    color #EEEEEE
    display block
    font-size 120%
    font-weight bold
    margin 0
    padding 4px 10px 4px 10px
    text-decoration none
//
//
#tabs li a:hover
    //background-color highlight-extra
    color lighten(blue, 50%)
//
//
#tabs li.ui-tabs-active a
    background-color color-background-highlight-extra-less
    color lighten(blue, 25%)
//
//
#content
    clear both
//     background-color #FFFFFF
//     font-size 100%
//     margin 0 auto
//     max-width 810px
//     overflow-x hidden
//     overflow-y auto
//     padding 0px 10px 2px 10px
//
//
#postamble
//     color #999999
//     font-family Arial,Helvetica,sans-serif
//     font-size 70%
//     height 40px
//     margin 0 auto
//     max-width 810px
//     padding-right 30px
//     padding-top 22px
//     padding 2px 2px 0 6px
    text-align right
//
//
// body
//     color #333333
//     font-family DejaVu Sans, sans-serif
//     margin 0 .1em
//     padding 0
//
//
// b
//     color #000000
//
//
blockquote
//     /* Use #EAEAEA for background-color of border with src code block's name */
    background-color highlight
    padding-left 0.75em
    padding-right 0.75em
    padding-top 0.01em
    padding-bottom 0.01em
    overflow hidden
    margin-left 0
//     border 1px solid #DEDEDE
//     color #444444
//     line-height 1.14em
//     overflow auto
//     /* overflow-x auto */
//     padding 0px 10px 0px 10px
//
//
// i
//     color #1A1A1A
//

//h1, h2, h3, h4, h5, h6
//    margin-left 25px

// h1
//     padding-left 2%
// h2
//    padding-left 4%
.outline-text-2, .outline-text-3, .outline-text-4, .outline-text-5, .outline-text-6
    padding-left 4%
// h3
//     padding-left 6%
.outline-3
    padding-left 4%
// h4
//     padding-left 8%
.outline-4
    padding-left 4%
// h5
//     padding-left 10%
.outline-5
    padding-left 4%
// h6
//     padding-left 14%
.outline-6
    padding-left 4%

h1, h2, h3, h4, h5, h6
    font-family sans-serif
    border-bottom 2px solid
    border-color color-background-highlight-extra-less

//
// h1, ul#tabs, h2, h3, h4, h5
//     font-family "Trebuchet MS",Verdana,sans-serif
//
//
// h1
//     background-color #0A3F69
//     color #F8F8F8
//     font-size 180%
//     margin 0
//     padding 9px 0px 0px 10px
//
//
// h2
//     border-bottom 4px solid #67B3E3
//     color #13679D
//     font-size 160%
//
//
// h3, h4, h5, h6
//     color #1572AE
//
//
//h3
//     border-bottom 1px solid #B5DAF1
//     font-size 140%
//    margin-left 2%
//
//
//h4
//     border-bottom 1px dotted #C9E3F5
//     font-size 120%
//     margin-left 2%
//
//
// h5
//     font-size 110%
//     margin-left 87px
//
//
// h6
//     font-size 1em
//     margin-left 100px
//
//
// .DONEheader
//     color #ADADAD
//     text-decoration line-through
//
//
// h3.DONEheader
//     border-bottom 1px solid #DDDDDD
//
//
// h4.DONEheader
//     border-bottom 1px dotted #DDDDDD
//
//
// .outline-text-2, .outline-text-3, .outline-text-4, .outline-text-5,
// .outline-3 > ul, /* for HTML export of Beamer slides */
// .outline-4 > ol, #text-footnotes
//     margin-left 100px
//
//
// li > .outline-text-5,
// li > .outline-text-6,
// li > .outline-text-7
//     font-weight normal
//     margin-left 20px
//
//
// ul, ol
//     padding-left 1.5em
//
//
// dt
//     color #1572AE
//     font-weight bold
//
//
// dd
//     margin-bottom 6px
//
//
// pre
//     /* Use #EAEAEA for background-color of border with src code block's name */
//     background-color #fdf6e3
//     border 1px solid #DEDEDE
//     color #444444
//     font-family Hack, DejaVu Sans Mono, monospace
//     line-height 1.14em
//     overflow auto
//     /* overflow-x auto */
//     padding 10px 10px 10px 10px !important
//
//
//
// pre.src
//     background-color #002b36 !important
//
//
// code
//     background-color #fdf6e3
//     border 1px solid #DEDEDE
//     color #444444
//     font-family monospace
//     /* font-size 0.93em */
//     margin 0px 1px
//     padding 0px 2px
//
//
// li > p, li > ul, li > .inlinetask, li > dl
//     margin-left 0px
//
//
// dd > p, dd > ul, dd > .inlinetask, dd > dl
//     margin-left 0px
//
//
// li.checked
//     list-style-image url('../images/checked.png')
//
//
// li.halfchecked
//     list-style-image url('../images/halfchecked.png')
//
//
// li.unchecked
//     list-style-image url('../images/unchecked.png')
//
//
// a, alink, avisited
//     color #2061A2
//     text-decoration none
//
//
a:hover
    text-decoration underline
//
//
// afocus
//     outline none
//
//
#search
//     border-radius 3px
//     background none repeat scroll 0 0 #FFFFFF
    display block
    float right
//     height 18px
//     margin 5px 10px 0 0
//     overflow hidden
//     padding 0 3px
//     width 188px
//
//
// #search input
//     border 0 none
//     color #666666
//     float left
//     font-family Arial,Helvetica,sans-serif
//     font-size 11px
//     font-weight normal
//     margin 0
//     padding 2px 4px
//     width 160px
//
//
// #search button
//     background url("../images/search-glass.png") no-repeat scroll 0 50% transparent
//     border 0 none
//     cursor pointer
//     display block
//     float right
//     height 18px
//     margin 0
//     text-indent -999em
//     width 14px
//
//
// table
//     border-collapse collapse
//     margin-right auto
//     margin-left auto
//
//
// table td
//     padding 3px 5px
//
//
// table, th, td
//
//     border 1px solid #B5DAF1
//     border-left 2px solid white
//     border-right 2px solid white
//
//
// th
//
//     border-width 1px 2px
//     border-color white
//     background-color #2061A2
//     color white
//
//
// caption
//     color #8D8D84
//
//
// img
//     display block
//     margin-left auto
//     margin-right auto
//     text-align center
//
//
// .figure
//     color #8D8D84
//     text-align center
//
//
// .fixme
//     background #FFFF88 url('../images/fixme.png') no-repeat top left
//     color #CC0000
//     display inline-block
//     height 16px
//     text-indent -9999px
//     width 82px
//
//
// .left
//     text-align left
//
//
// .right
//     text-align right
//
//
// .center
//     text-align center
//
//
// .justify
//     text-align justify
//
//
// .inlinetask
//     background-color #F7F7F7
//     border-collapse separate
//     border-color #EEEEEE #EEEEEE #EEEEEE #1E90FF
//     border-style solid
//     border-width 1px 1px 1px 6px
//     padding 8px 8px 0px 8px
//     margin 10px 0px
//
//
// .inlinetask td
//     padding 2px 5px 0px 2px
//     border 0px
//
//
// .info
//     border 1px solid
//     background url('../images/info.png') no-repeat 10px 10px #BDE5F8
//     color #00529B
//     padding 4px 10px 4px 52px
//     border-top-left-radius 5px
//     border-top-right-radius 5px
//     border-bottom-right-radius 5px
//     border-bottom-left-radius 5px
//     margin 10px 0px
//
//
// .tip
//     border 1px solid
//     background url('../images/tip.png') no-repeat 10px 10px #DFF2BF
//     color #4F8A10
//     padding 4px 10px 4px 52px
//     border-top-left-radius 5px
//     border-top-right-radius 5px
//     border-bottom-right-radius 5px
//     border-bottom-left-radius 5px
//     margin 10px 0px
//
//
// .note
//     border 1px solid
//     background url('../images/note.png') no-repeat 10px 10px #FFFCCB
//     color #9F6000
//     padding 4px 10px 4px 52px
//     border-top-left-radius 5px
//     border-top-right-radius 5px
//     border-bottom-right-radius 5px
//     border-bottom-left-radius 5px
//     margin 10px 0px
//
//
// .warning
//     border 1px solid
//     background url('../images/warning.png') no-repeat 10px 10px #FFBABA
//     color #D8000C
//     padding 4px 10px 4px 52px
//     border-top-left-radius 5px
//     border-top-right-radius 5px
//     border-bottom-right-radius 5px
//     border-bottom-left-radius 5px
//     margin 10px 0px
//
//
// .todo, .done
//     //margin 5px
//     font-size 80%
//     padding 3px
//
//
// .NEW
//     background-color #FDFCD8
//     border 1px solid #EEE9C3
//     color #302B13
//     font-weight normal
//
//
// .TODO
//     background-color seagreen
//     //    border 1px solid #FC5158
//     color white
//
//
// .UNDERWAY
//     background-color seagreen
//     //border 1px solid green
//     color lawngreen
//
//
// .STRT, .STARTED
//     background-color #FEF2D4
//     border 1px solid #FDBF3D
//     color #FDBF3D
//
//
// .WAIT, .WAITING, .DLGT, .DELEGATED
//     background-color #DFFFDF
//     border 1px solid #55BA80
//     color #55BA80
//
//
// .SDAY, .SOMEDAY, .DFRD, .DEFERRED
//     background-color #D3EEFF
//     border 1px solid #42B5FF
//     color #42B5FF
//
//
// .DONE, .CANX, .CANCELED
//     background-color #969696
//     border 1px solid #F2F2EE
//     color #F2F2EE
//
//
.tag
    background-color()
    color emphasized
    border 0px

    span
        background-color color-background-highlight-extra-less
        margin 0.25em
        padding 0.25em

//     border 1px solid #EDEDED
//     color #939393
//     cursor pointer
//     display block
//     float right
//     font-size 80%
//     font-weight normal
//     margin 0 3px
//     padding 1px 2px
//     border-radius 10px
//
//
// #right-panel-contents .tag span
//     font-size 100%
//
//
// .tag spanhover
//     background #BABDB6
//
//
// .tag .FLAGGED
//     background-color #EDC6C8
//     border 1px solid #EDC6C8
//     color #C15F4E
//
//
// .tag .selected
//     background-color #FFEBC1
//     border 1px solid #FDBF3B
//     color #A6750C
//
//
// #listOfTags .tag span
//     display inline
//     float none
//
//
// span.todo
//     cursor pointer
//     /* display block */
//     /* float left */
//     margin -1px 3px 0px 0px
//
//
// span.todohover
//     background #BABDB6
//     color #888888
//
//
// span.todo .selected
//     background-color #FFEBC1
//     border-color #FDBF3B
//     color #A6750C
//
//
// .matchtag
//     background-color #FBFFC0
//
//
// .matchNEW
//     background-color #FDFCD8
//
//
// .matchTODO
//     background-color #FFE6E4
//
//
// .matchSTRT
//     background-color #FEF2D4
//
//
// .matchWAIT, .matchDLGT
//     background-color #DFFFDF
//
//
// .matchSDAY, .matchDFRD
//     background-color #E0EFFF
//
//
// #listOfTodo, #listOfDone, #listOfTags
//     /* bottom 10px /\* together with this to put the div at the bottom*\/ */
//     /* left 10px */
//     /* list-style-type none */
//     margin-left 0px
//     /* position fixed /\* this is the magic *\/ */
//
//
// .timestamp-kwd
//     background-color #FFF1F1
//     color #880000
//     margin 0px 4px 0px 0px
//     padding 2px 0px 2px 2px
//
//
// .timestamp
//     color #777777
//     font-size 80%
//
//
#table-of-contents
//     background-color #FFFFDD
//     border 1px solid #E4E4E4
    display table
    float right
//     line-height 1.2em
//     padding 4px
//     margin 4px
//     max-width 400px
//     float right
//     width auto
//
//
#table-of-contents h2
    display none
//
//
// #table-of-contents ul
//     margin 0
//     padding 0
//
//
#table-of-contents li
    list-style-type none
//     margin 0
//
//
// #table-of-contents li li
//     margin-left 1.5em
//
//
// #table-of-contents li li li
//     //font-size 0.8em
//
//
// #table-of-contents a
//     color #606060
//     //font-size 0.9em
//     font-weight normal
//     text-decoration none
//
//
#table-of-contents a:hover
    text-decoration underline
//     color #C61A1A
//
//
#minitoc
    background-color highlight
    position fixed
    bottom 5em
    left -5.5em
    transform rotate(90deg)
    box-shadow 0px 0px 10px emphasized
    padding-top 0.1em
    padding-bottom 0.1em
    padding-left 0.5em
    padding-right 0.5em
    filter opacity(50%)
    z-index 200

    &:hover
        padding 1em
        filter opacity(100%)
        transform rotate(0deg)
        left 0

    h2
        margin-top 0
        margin-bottom 0
//     border 1px solid #E4E4E4
//     color #484848
//     line-height 1.2em
//     margin 12px
//     padding 4px
//     width auto
//
//


#minitoc a
    display block
    font-family sans-serif
    text-decoration none

    &:hover
        text-decoration underline
//     font-size 100%
//     font-weight normal
//
//
#minitoc a
    display none
//
//
#minitoc:hover a
    display block
//    padding 1em

//
//
// #minitoc h2
//     margin 3px 0px
//     border none
//     font-size 75%
//
//
// p.verse
//     color #808080
//     font-style italic
//
//
// .example
//     background-color #DDFADE
//     border 1px solid #9EC49F
//     color #333333
//
//
// .alert
//     font-weight bold
//     color #FF0000
//
//
#toTop
    top -100px                          /* together with this to put the div at the top */
    position fixed                    /* this is the magic */
    text-align center
    z-index 999
    display none
//     background #F7F7F7
//     border 1px solid #CCCCCC
//     color #333333
//     cursor pointer
//     font-family verdana
//     //font-size 11px
//     padding 5px
//     right 10px
//     width 100px
//
//
#toTop:hover
    text-decoration underline
//
//
#left-panel-wrapper
    display none
    position fixed
    z-index 200
//     /* display none /\* hide the panel if Javascript is not running *\/ */
//
//
#left-panel-contents
    display none
    position fixed
    text-align left
    top 0
    z-index 200
//     background-color #EFEFEF
//     border-right 1px dotted #ADADAD
//     height 100%
//     left 0px
//     width 199px
//     padding-top 7px
//     padding-left 7px
//
//
#left-panel-button
    transform rotate(90deg)
    left -23px
    position fixed
    top 50%
    z-index 200
//     background-color #EFEFEF
//     border 1px dotted #ADADAD
//     border-bottom-width 0px
//     padding 2px 5px 5px 5px
//
//
#right-panel-wrapper
    position fixed
    z-index 200
//     /* display none /\* hide the panel if Javascript is not running *\/ */
//
//
#right-panel-contents
    display none
    z-index 200
    position fixed
    text-align left
    top 0
//     background-color #EFEFEF
//     border-left 1px dotted #ADADAD
//     height 100%
//     right 0px
//     width 199px
//     padding-top 7px
//     padding-left 7px
//
//
// .org-src-container
//     position relative
//
//
.snippet-copy-to-clipboard
    display none
    position absolute
    left 50px
    top 50px
//     font-size 0.9em
//     text-decorationunderline
//
//
// .copy-to-clipboard-buttonhover
//     cursor pointer
//
//
// .title
//     margin-bottom 0px
//
//
// ol li,
// ul li
//     margin-top 1em
//
//
// .outline-4 > ol > li
//     font-weight bold
//
//
// .outline-4 > .org-ul
//     margin-left 5em
//
//
// .org-ul > li
//     font-weight bold
//
//
// a code
//     text-decoration underline

.org-ul
    margin-top 1em

    li
        margin-top 0.5em
.org-ul > li > a
    font-family sans-serif