/* From http://gongzhitaao.org/orgcss/ , with minimal (22 lines) changes*/
/*from ivan's org.css, with change only on blockquote, font-size 10pt first line of table-of-contents -   */

html{
    font-family:sans-serif;
    line-height:1.15;
    -ms-text-size-adjust:100%;
    -webkit-text-size-adjust:100%
}
body{
    margin:0
}
article,aside,details,figcaption,figure,footer,header,main,menu,nav,section,summary{
    display:block
}
audio,canvas,progress,video{
    display:inline-block
}
audio:not([controls]){
    display:none;
    height:0
}
progress{
    vertical-align:baseline
}
[hidden],template{
    display:none
}
a{
    background-color:transparent;
    -webkit-text-decoration-skip:objects
}
a:active,a:hover{
    outline-width:0
}
abbr[title]{
    border-bottom:none;
    text-decoration:underline;
    text-decoration:underline dotted
}
b,strong{
    font-weight:inherit;
    font-weight:bolder
}
dfn{
    font-style:italic
}
    font-size:2em;
    margin:.67em 0
}
mark{
    background-color:#ff0;
    color:#000
}
small{
    font-size:80%
}
sub,sup{
    font-size:75%;
    line-height:0;
    position:relative;
    vertical-align:baseline
}
sub{
    bottom:-.25em
}
sup{
    top:-.5em
}
img{
    border-style:none
}
svg:not(:root){
    overflow:hidden
}
code,kbd,pre,samp{
    font-family:monospace,monospace;
    font-size:1em
}
figure{
    margin:1em 40px
}
hr{
    box-sizing:content-box;
    height:0;
    overflow:visible
}
button,input,optgroup,select,textarea{
    font:inherit;
    margin:0
}
optgroup{
    font-weight:700
}
button,input{
    overflow:visible
}
button,select{
    text-transform:none
}
[type=reset],[type=submit],button,html [type=button]{
    -webkit-appearance:button
}
[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{
    border-style:none;
    padding:0
}
[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring,button:-moz-focusring{
    outline:1px dotted ButtonText
}
fieldset{
    border:1px solid silver;
    margin:0 2px;
    padding:.35em .625em .75em
}
legend{
    box-sizing:border-box;
    color:inherit;
    display:table;
    max-width:100%;
    padding:0;
    white-space:normal
}
textarea{
    overflow:auto
}
[type=checkbox],[type=radio]{
    box-sizing:border-box;
    padding:0
}
[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{
    height:auto
}
[type=search]{
    -webkit-appearance:textfield;
    outline-offset:-2px
}
[type=search]::-webkit-search-cancel-button,[type=search]::-webkit-search-decoration{
    -webkit-appearance:none
}
::-webkit-input-placeholder{
    color:inherit;
    opacity:.54
}
::-webkit-file-upload-button{
    -webkit-appearance:button;
    font:inherit
}
.org-bold{
    font-weight:700
}
.org-bold-italic{
    font-weight:700;
    font-style:italic
}
.org-buffer-menu-buffer{
    font-weight:700
}
.org-builtin{
    color:#483d8b
}
.org-button{
    color:#3a5fcd;
    text-decoration:underline
}
.org-calendar-month-header{
    color:#00f
}
.org-calendar-today{
    text-decoration:underline
}
.org-calendar-weekday-header{
    color:#008b8b
}
.org-calendar-weekend-header{
    color:#b22222
}
.org-comint-highlight-input{
    font-weight:700
}
.org-comint-highlight-prompt{
    color:#0000cd
}
.org-comment,.org-comment-delimiter{
    color:#b22222
}
.org-constant{
    color:#008b8b
}
.org-diary{
    color:red
}
.org-doc{
    color:#8b2252
}
.org-error{
    color:red;
    font-weight:700
}
.org-escape-glyph{
    color:brown
}
.org-file-name-shadow{
    color:#7f7f7f
}
.org-fringe{
    background-color:#f2f2f2
}
.org-function-name{
    color:#00f
}
.org-glyphless-char{
    font-size:60%
}
.org-header-line{
    color:#333;
    background-color:#e5e5e5
}
.org-help-argument-name{
    font-style:italic
}
.org-highlight{
    background-color:#b4eeb4
}
.org-holiday{
    background-color:pink
}
.org-info-header-node{
    color:brown;
    font-weight:700;
    font-style:italic
}
.org-info-header-xref{
    color:#3a5fcd;
    text-decoration:underline
}
.org-info-index-match{
    background-color:#ff0
}
.org-info-menu-header{
    font-weight:700
}
.org-info-menu-star{
    color:red
}
.org-info-node{
    color:brown;
    font-weight:700;
    font-style:italic
}
.org-info-title-1{
    font-size:172%;
    font-weight:700
}
.org-info-title-2{
    font-size:144%;
    font-weight:700
}
.org-info-title-3{
    font-size:120%;
    font-weight:700
}
.org-info-title-4{
    font-weight:700
}
.org-info-xref{
    color:#3a5fcd;
    text-decoration:underline
}
.org-italic{
    font-style:italic
}
.org-keyword{
    color:#a020f0
}
.org-lazy-highlight{
    background-color:#afeeee
}
.org-link{
    color:#3a5fcd;
    text-decoration:underline
}
.org-link-visited{
    color:#8b008b;
    text-decoration:underline
}
.org-makefile-makepp-perl{
    background-color:#bfefff
}
.org-makefile-space{
    background-color:#ff69b4
}
.org-makefile-targets{
    color:#00f
}
.org-match{
    background-color:#ff0
}
.org-next-error{
    background-color:gtk_selection_bg_color
}
.org-nobreak-space{
    color:brown;
    text-decoration:underline
}
.org-org-agenda-calendar-event,.org-org-agenda-calendar-sexp{
    color:#000;
    background-color:#fff
}
.org-org-agenda-clocking{
    background-color:#ff0
}
.org-org-agenda-column-dateline{
    background-color:#e5e5e5
}
.org-org-agenda-current-time{
    color:#b8860b
}
.org-org-agenda-date{
    color:#00f
}
.org-org-agenda-date-today{
    color:#00f;
    font-weight:700;
    font-style:italic
}
.org-org-agenda-date-weekend{
    color:#00f;
    font-weight:700
}
.org-org-agenda-diary{
    color:#000;
    background-color:#fff
}
.org-org-agenda-dimmed-todo{
    color:#7f7f7f
}
.org-org-agenda-done{
    color:#228b22
}
.org-org-agenda-filter-category,.org-org-agenda-filter-effort,.org-org-agenda-filter-regexp,.org-org-agenda-filter-tags{
    color:#000;
    background-color:#bfbfbf
}
.org-org-agenda-restriction-lock{
    background-color:#eee
}
.org-org-agenda-structure{
    color:#00f
}
.org-org-archived,.org-org-block{
    color:#7f7f7f
}
.org-org-block-begin-line,.org-org-block-end-line{
    color:#b22222
}
.org-org-checkbox{
    font-weight:700
}
.org-org-checkbox-statistics-done{
    color:#228b22;
    font-weight:700
}
.org-org-checkbox-statistics-todo{
    color:red;
    font-weight:700
}
.org-org-clock-overlay{
    color:#000;
    background-color:#d3d3d3
}
.org-org-code{
    color:#7f7f7f
}
.org-org-column,.org-org-column-title{
    background-color:#e5e5e5
}
.org-org-column-title{
    font-weight:700;
    text-decoration:underline
}
.org-org-date{
    color:#a020f0;
    text-decoration:underline
}
.org-org-date-selected{
    color:red
}
.org-org-default{
    color:#000;
    background-color:#fff
}
.org-org-document-info{
    color:#191970
}
.org-org-document-info-keyword{
    color:#7f7f7f
}
.org-org-document-title{
    color:#191970;
    font-weight:700
}
.org-org-done{
    color:#228b22;
    font-weight:700
}
.org-org-drawer{
    color:#00f
}
.org-org-ellipsis{
    color:#b8860b;
    text-decoration:underline
}
.org-org-footnote{
    color:#a020f0;
    text-decoration:underline
}
.org-org-formula{
    color:#b22222
}
.org-org-headline-done{
    color:#bc8f8f
}
.org-org-hide{
    color:#fff
}
.org-org-latex-and-related{
    color:#8b4513
}
.org-org-level-1{
    color:#00f
}
.org-org-level-2{
    color:sienna
}
.org-org-level-3{
    color:#a020f0
}
.org-org-level-4{
    color:#b22222
}
.org-org-level-5{
    color:#228b22
}
.org-org-level-6{
    color:#008b8b
}
.org-org-level-7{
    color:#483d8b
}
.org-org-level-8{
    color:#8b2252
}
.org-org-link{
    color:#3a5fcd;
    text-decoration:underline
}
.org-org-list-dt{
    font-weight:700
}
.org-org-macro{
    color:#8b4513
}
.org-org-meta-line{
    color:#b22222
}
.org-org-mode-line-clock{
    color:#000;
    background-color:#bfbfbf
}
.org-org-mode-line-clock-overrun{
    color:#000;
    background-color:red
}
.org-org-priority{
    color:#a020f0
}
.org-org-quote{
    color:#7f7f7f
}
.org-org-scheduled{
    color:#006400
}
.org-org-scheduled-previously{
    color:#b22222
}
.org-org-scheduled-today{
    color:#006400
}
.org-org-sexp-date,.org-org-special-keyword{
    color:#a020f0
}
.org-org-table{
    color:#00f
}
.org-org-tag,.org-org-tag-group{
    font-weight:700
}
.org-org-target{
    text-decoration:underline
}
.org-org-time-grid{
    color:#b8860b
}
.org-org-todo{
    color:red;
    font-weight:700
}
.org-org-upcoming-deadline{
    color:#b22222
}
.org-org-verbatim,.org-org-verse{
    color:#7f7f7f
}
.org-org-warning{
    color:red;
    font-weight:700
}
.org-outline-1{
    color:#00f
}
.org-outline-2{
    color:sienna
}
.org-outline-3{
    color:#a020f0
}
.org-outline-4{
    color:#b22222
}
.org-outline-5{
    color:#228b22
}
.org-outline-6{
    color:#008b8b
}
.org-outline-7{
    color:#483d8b
}
.org-outline-8{
    color:#8b2252
}
.org-preprocessor{
    color:#483d8b
}
.org-regexp-grouping-backslash,.org-regexp-grouping-construct{
    font-weight:700
}
.org-region{
    background-color:gtk_selection_bg_color
}
.org-secondary-selection{
    background-color:#ff0
}
.org-shadow{
    color:#7f7f7f
}
.org-show-paren-match{
    background-color:#40e0d0
}
.org-show-paren-mismatch{
    color:#fff;
    background-color:#a020f0
}
.org-string{
    color:#8b2252
}
.org-success{
    color:#228b22;
    font-weight:700
}
.org-table-cell{
    color:#e5e5e5;
    background-color:#00f
}
.org-tooltip{
    color:#000;
    background-color:#ffffe0
}
.org-trailing-whitespace{
    background-color:red
}
.org-type{
    color:#228b22
}
.org-underline{
    text-decoration:underline
}
.org-variable-name{
    color:sienna
}
.org-warning{
    color:#ff8c00;
    font-weight:700
}
.org-warning-1{
    color:red;
    font-weight:700
}
body{
    width:95%;
    margin:2% auto;
    font-size:14px;
    line-height:1.75;
    font-family:Georgia,serif;
    color:#222;
}
@media screen and (min-width:600px){
    body{
        font-size:18px
    }
}
@media screen and (min-width:910px){
    body{
        width:1012px
    }
}
::-moz-selection{
    background:#d6edff
}
::selection{
    background:#d6edff
}
dl,ol,p,ul{
    margin:0 auto
}
.title{
    margin:.8em auto;
    color:#000;
    font-family: Helvetica,sans-serif;
    font-size:2em;
    font-weight: bold
}
.subtitle{
    font-size:1.1em;
    line-height:1.4;
    font-weight:700;
    font-family: Helvetica,sans-serif;
    margin:1em auto;
    font-weight: bold;
}

.title .subtitle{
    /*text-align: center;*/
}

.abstract{
    margin:auto;
    width:80%;
    font-style:italic
}
.abstract p:last-of-type:before{
    content:" ";
    white-space:pre
}
.status{
    font-size:90%;
    margin:2em auto
}
[class^=section-number-]{
    margin-right:.5em
}
[id^=orgheadline]{
    clear:both
}
#footnotes{
    font-size:90%
}
.footpara{
    display:inline;
    margin:.2em auto
}
.footdef{
    margin-bottom:1em
}
.footdef sup{
    padding-right:.5em
}
a{
    color:#527d9a;
    text-decoration:none
}
a:hover{
    color:#035;
    border-bottom:1px dotted
}
figure{
    padding:0;
    margin:1em auto;
    text-align:center
}
img{
    max-width:100%;
    vertical-align:middle
}
.MathJax_Display{
    font-size:90%;
    margin:0!important;
    width:90%!important
}
h1,h2,h3,h4,h5,h6{
    color:#dd4814;
    line-height:1em;
    font-family:Helvetica,sans-serif
}
h1,h2,h3{
    line-height:1.4em
}
h4,h5,h6{
    font-size:1em
}
@media screen and (min-width:600px){
    h1{
        font-size:2em
    }
    h2{
        font-size:1.5em
    }
    h3{
        font-size:1.3em
    }
    h1,h2,h3{
        line-height:1.4em
    }
    h4,h5,h6{
        font-size:1.1em
    }
}
dt{
    font-weight:700
}
table{
    margin:1em auto;
    border-top:2px solid;
    border-collapse:collapse
}
table,thead{
    border-bottom:2px solid
}
table td+td,table th+th{
    border-left:1px solid gray
}
table tr{
    border-top:1px solid #d3d3d3
}
td,th{
    padding:.3em .6em;
    vertical-align:middle
}
caption.t-above{
    caption-side:top
}
caption.t-bottom{
    caption-side:bottom
}
caption{
    margin-bottom:.3em
}
figcaption{
    margin-top:.3em
}
th.org-center,th.org-left,th.org-right{
    text-align:center
}
td.org-right{
    text-align:right
}
td.org-left{
    text-align:left
}
td.org-center{
    text-align:center
}
blockquote{
    background-color: #F0F0F0;
    border-left:5px solid #CCCCCC;
    font-style:none;
    line-height:24px;
    margin:0px 0px 24px 0px;
    /* margin-left:24px; */
    padding: 6px 20px;
}
kbd{
    background-color:#f7f7f7;
    font-size:80%;
    margin:0 .1em;
    padding:.1em .6em
}
.todo{
    background-color:red
}
.done,.todo{
    color:#fff;
    padding:.1em .3em;
    border-radius:3px;
    background-clip:padding-box;
    font-size:80%;
    font-family:Lucida Console,monospace;
    line-height:1
}
.done{
    background-color:green
}
.priority{
    color:orange;
    font-family:Lucida Console,monospace
}
#table-of-contents li{
    clear:both
}
.tag{
    font-family:Lucida Console,monospace;
    font-size:.7em;
    font-weight:400
}
.tag span{
    padding:.3em;
    float:right;
    margin-right:.5em;
    border:1px solid #bbb;
    border-radius:3px;
    background-clip:padding-box;
    color:#333;
    background-color:#eee;
    line-height:1
}
.timestamp{
    color:#bebebe;
    font-size:90%
}
.timestamp-kwd{
    color:#5f9ea0
}
.org-right{
    margin-left:auto;
    margin-right:0;
    text-align:right
}
.org-left{
    margin-left:0;
    margin-right:auto;
    text-align:left
}
.org-center{
    margin-left:auto;
    margin-right:auto;
    text-align:center
}
.underline{
    text-decoration:underline
}
#postamble p,#preamble p{
    font-size:90%;
    margin:.2em
}
p.verse{
    margin-left:3%
}
:not(pre)>code{
    padding:2px 5px;
    margin:auto 1px;
    border:1px solid #ddd;
    border-radius:3px;
    background-clip:padding-box;
    color:#333;
    font-size:80%
}
.org-src-container{
    border:1px solid #ccc;
    box-shadow:3px 3px 3px #eee;
    font-family:Lucida Console,monospace;
    font-size:80%;
    margin:1em auto;
    padding:.1em .5em;
    position:relative
}
.org-src-container>pre{
    overflow:auto
}
.org-src-container>pre:before{
    display:block;
    position:absolute;
    background-color:#b3b3b3;
    top:0;
    right:0;
    padding:0 .5em;
    border-bottom-left-radius:8px;
    border:0;
    color:#fff;
    font-size:80%
}
.org-src-container>pre.src-sh:before{
    content:"sh"
}
.org-src-container>pre.src-bash:before{
    content:"bash"
}
.org-src-container>pre.src-emacs-lisp:before{
    content:"Emacs Lisp"
}
.org-src-container>pre.src-R:before{
    content:"R"
}
.org-src-container>pre.src-cpp:before{
    content:"C++"
}
.org-src-container>pre.src-c:before{
    content:"C"
}
.org-src-container>pre.src-html:before{
    content:"HTML"
}
.org-src-container>pre.src-javascript:before,.org-src-container>pre.src-js:before{
    content:"Javascript"
}
// More languages 0% http://orgmode.org/worg/org-contrib/babel/languages.html .org-src-container>pre.src-abc:before{
    content:"ABC"
}
.org-src-container>pre.src-asymptote:before{
    content:"Asymptote"
}
.org-src-container>pre.src-awk:before{
    content:"Awk"
}
.org-src-container>pre.src-C:before{
    content:"C"
}
.org-src-container>pre.src-calc:before{
    content:"Calc"
}
.org-src-container>pre.src-clojure:before{
    content:"Clojure"
}
.org-src-container>pre.src-comint:before{
    content:"comint"
}
.org-src-container>pre.src-css:before{
    content:"CSS"
}
.org-src-container>pre.src-D:before{
    content:"D"
}
.org-src-container>pre.src-ditaa:before{
    content:"Ditaa"
}
.org-src-container>pre.src-dot:before{
    content:"Dot"
}
.org-src-container>pre.src-ebnf:before{
    content:"ebnf"
}
.org-src-container>pre.src-forth:before{
    content:"Forth"
}
.org-src-container>pre.src-F90:before{
    content:"Fortran"
}
.org-src-container>pre.src-gnuplot:before{
    content:"Gnuplot"
}
.org-src-container>pre.src-haskell:before{
    content:"Haskell"
}
.org-src-container>pre.src-io:before{
    content:"Io"
}
.org-src-container>pre.src-java:before{
    content:"Java"
}
.org-src-container>pre.src-latex:before{
    content:"LaTeX"
}
.org-src-container>pre.src-ledger:before{
    content:"Ledger"
}
.org-src-container>pre.src-ly:before{
    content:"Lilypond"
}
.org-src-container>pre.src-lisp:before{
    content:"Lisp"
}
.org-src-container>pre.src-makefile:before{
    content:"Make"
}
.org-src-container>pre.src-matlab:before{
    content:"Matlab"
}
.org-src-container>pre.src-max:before{
    content:"Maxima"
}
.org-src-container>pre.src-mscgen:before{
    content:"Mscgen"
}
.org-src-container>pre.src-Caml:before{
    content:"Objective"
}
.org-src-container>pre.src-octave:before{
    content:"Octave"
}
.org-src-container>pre.src-org:before{
    content:"Org"
}
.org-src-container>pre.src-perl:before{
    content:"Perl"
}
.org-src-container>pre.src-picolisp:before{
    content:"Picolisp"
}
.org-src-container>pre.src-plantuml:before{
    content:"PlantUML"
}
.org-src-container>pre.src-python:before{
    content:"Python"
}
.org-src-container>pre.src-ruby:before{
    content:"Ruby"
}
.org-src-container>pre.src-sass:before{
    content:"Sass"
}
.org-src-container>pre.src-scala:before{
    content:"Scala"
}
.org-src-container>pre.src-scheme:before{
    content:"Scheme"
}
.org-src-container>pre.src-screen:before{
    content:"Screen"
}
.org-src-container>pre.src-sed:before{
    content:"Sed"
}
.org-src-container>pre.src-shell:before{
    content:"shell"
}
.org-src-container>pre.src-shen:before{
    content:"Shen"
}
.org-src-container>pre.src-sql:before{
    content:"SQL"
}
.org-src-container>pre.src-sqlite:before{
    content:"SQLite"
}
.org-src-container>pre.src-stan:before{
    content:"Stan"
}
.org-src-container>pre.src-vala:before{
    content:"Vala"
}
.org-src-container>pre.src-axiom:before{
    content:"Axiom"
}
.org-src-container>pre.src-browser:before{
    content:"HTML"
}
.org-src-container>pre.src-cypher:before{
    content:"Neo4j"
}
.org-src-container>pre.src-elixir:before{
    content:"Elixir"
}
.org-src-container>pre.src-request:before{
    content:"http"
}
.org-src-container>pre.src-ipython:before{
    content:"iPython"
}
.org-src-container>pre.src-kotlin:before{
    content:"Kotlin"
}
.org-src-container>pre.src-Flavored Erlang lfe:before{
    content:"Lisp"
}
.org-src-container>pre.src-mongo:before{
    content:"MongoDB"
}
.org-src-container>pre.src-prolog:before{
    content:"Prolog"
}
.org-src-container>pre.src-rec:before{
    content:"rec"
}
.org-src-container>pre.src-ML sml:before{
    content:"Standard"
}
.org-src-container>pre.src-Translate translate:before{
    content:"Google"
}
.org-src-container>pre.src-typescript:before{
    content:"Typescript"
}
.org-src-container>pre.src-rust:before{
    content:"Rust"
}
.inlinetask{
    background:#ffc;
    border:2px solid gray;
    margin:10px;
    padding:10px
}
#org-div-home-and-up{
    font-size:70%;
    text-align:right;
    white-space:nowrap
}
.linenr{
    font-size:90%
}
.code-highlighted{
    background-color:#ff0
}
#bibliography{
    font-size:90%
}
#bibliography table{
    width:100%
}
.creator{
    display:block
}
@media screen and (min-width:600px){
    .creator{
        display:inline;
        float:right
    }
}

menu {
    list-style: none;
    padding: 0;
    margin: 0 0 20px;
}

menu ul {
    list-style: none;
}
menu li {
    display: inline-block;
}
menu li + li:before {
    display: inline-block;
    content: "\00B7 \00a0";
    color: #ccc;
}

menu ul {
    padding: 0;
    margin: 0 0 20px;
}

menu a {
    /*color: #333;*/
}

.head {
    color: #000000;
    border-bottom: 1px solid #ccc;
}

.comments {
    border-top: 1px solid #ccc;
    padding-top: 5px;
}
#comment-button{
  background-color: whitesmoke;
  border-radius: 5%;
}

.page-date{
        color: #888;
}


 p {
  margin-top: 0em;
  margin-bottom: 1em;
}


.pdf-viewer{
     width: 100%;
 }


.responsive-table {
    display:flex;
    align-items:stretch;
    flex-wrap:wrap;
}

/*make text work as separators in the responsive table*/
.responsive-table p{
    display: inline;
    flex-basis: 100%;
}

@media (max-width: 480px) {
 .responsive-table>div {
  width:98%
 }
}
@media (min-width: 480px) and (max-width: 800px) {
 .responsive-table>div {
  width:48%
 }
}
@media (min-width: 800px) {
 .responsive-table>div {
  width:32%
 }
}


.portfolio-project {
    box-shadow:0 7px 15px grey;
    margin-bottom:1.5em;
    border-radius:10px;
    margin-right:1%;
    padding-left:3%;
    padding-right:3%;
    padding-top:5px;
    display:inline-flex;
    flex-flow: column;
}
.project-thumbnail img {
    width:60%
}
.text-center {
    text-align:center !important
}


* {
 box-sizing:border-box;
}

@media (min-width: 500px) {
    #table-of-contents {
	font-size: 10pt;
        background: white;
	position: fixed;
	right: 0em;
	top: 0em;
	text-align: right;
	box-shadow: 0 0 1em #777777;
	-webkit-box-shadow: 0 0 1em #777777;
	-moz-box-shadow: 0 0 1em #777777;
	-webkit-border-bottom-left-radius: 5px;
	-moz-border-radius-bottomleft: 5px;
	/* ensure doesn't flow off the screen when expanded */
	max-height: 80%;
	overflow: auto; }
    #table-of-contents h2 {
	padding-left: 0.5em;
	padding-right: 0.5em;
	padding-top: 0.05em;
	padding-bottom: 0.05em; }
    #table-of-contents #text-table-of-contents {
	display: none;
	text-align: left; }
    #table-of-contents:hover #text-table-of-contents {
	display: block;
	padding: 0.5em;
	margin-top: -1.5em; }
}

@media (max-width: 500px) {
    #table-of-contents {
    background: white;
	right: 0em;
	top: 0em;
	-webkit-border-bottom-left-radius: 5px;
	-moz-border-radius-bottomleft: 5px;
	/* ensure doesn't flow off the screen when expanded */
	max-height: 80%;
	overflow: auto; }
    #table-of-contents h2 {
	padding-left: 0.5em;
	padding-right: 0.5em;
	padding-top: 0.05em;
	padding-bottom: 0.05em; }
    #table-of-contents #text-table-of-contents {
	display: none;
	text-align: left; }
    #table-of-contents:hover #text-table-of-contents {
	display: block;
	padding: 0.5em;
	margin-top: -1.5em; }
}

@media screen
{
    #table-of-contents {
	border: 1px solid #CCC;
	overflow: auto;
    }
}
#table-of-contents{
     z-index: 1000; 
}

/* math from http://drz.ac/2013/01/17/latex-theorem-like-environments-for-the-web/*/

.theorem {
display: block;
font-style: italic;
}
.theorem:before {
content: "Theorem. ";
font-weight: bold;
font-style: normal;
}
.theorem[text]:before {
content: "Theorem (" attr(text) ") ";
}


.theo {
    display: block;
    margin: 12px 0;
    font-style: italic;
}

.theo:before {
    content: "Theorem.";
    font-weight: bold;
    font-style: normal;
}


.lemma {
    display: block;
    margin: 12px 0;
    font-style: italic;
}
.lemma:before {
    content: "Lemma.";
    font-weight: bold;
    font-style: normal;
}

.proof {
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.proof:before {
    content: "Proof.";
    font-style: italic;
}
.proof:after {
    float:right;
    content: "\25FB";
}

body {
    counter-reset: defi;
}
.defi {
    content: "Definition.";
    display: block;
    margin: 12px 0;
    font-style: normal;
    counter-reset: defi;
}
.defi:before {
    content: inherit;
    font-weight: bold;
    font-style: normal;
}

div.defi
{
  list-style-type: none;
  counter-increment: item;
}

div.defi:before
{
  content: "Definition " counter(item) " ";
  counter-reset: none;
  font-weight: bold;
}

.definition {
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.definition:before {
    content: "Definition";
    font-weight: bold;
    font-style: normal;
}

.rema {
    content: "Remark.";
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.rema:before {
    content: inherit;
    counter-increment: defi;  counter(defi);
    font-weight: bold;
    font-style: normal;
}

div.rema
{
  list-style-type: none;
  counter-increment: item;
}

div.rema:before
{
  content: "Remark " counter(item) " ";
  counter-reset: none;
  font-weight: bold;
}

.remark {
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.remark:before {
    content: "Remark.";
    font-weight: bold;
    font-style: normal;
}

.remarks {
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.remarks:before {
    content: "Remarks.";
    font-weight: bold;
    font-style: normal;
}



.proof-medium {
    font-size: medium;
    margin-left:-20%;
}

.proof-small {
  font-size: small;
}

.proof-small-left {
    font-size: small;
    margin-left:-40%;
}

.proof-x-small-left {
    font-size: x-small;
    margin-left:-40%;
}

.ascii-art {
    font-family: monospace;
    white-space: pre;
}