* { font-family: Arial,Helvetica,sans-serif; 
}

tt, pre { font-family: monospace; }

pre {
white-space: pre-wrap;
}

div { 
      border: thin inset black;
        margin: 3px;
       padding: 3px;
margin-top: 1em;
 }

div.framework {
margin-right: 13em;
}

body > div {
margin-right: 13em;
}

#vcard { border: none;
text-align: center;
margin-bottom: 10px;
}

div.withoutborders { border: none; 
}

div.job { padding: 10px; }

div.date { border: none; 
font-style: italic;
float: right;
margin-top: 3px;
margin-bottom: 0px;
padding-bottom: 0px;
}

.image { float: right;
border: none;
clear: right;
font-style: italic;
font-size: small;
text-align: center; 
margin-top: 0px;
padding-top: 0px;
}

div.image { width: 260px; 
padding-left: 20px;
}

.image img { width: 250px; 
border: none;
}

#nav {
border: none;
margin-top: 0em;
padding: 0em;
margin: 0em;
text-align: center;
}

#nav ul {   
list-style-type: none;
display: inline;
margin: 0em;
padding: 0em;
align: center;
               }               

#nav li {
display: inline;
text-align: center;
margin-left: 5px;
margin-right: 5px;
padding-left: 0.3em;
padding-right: 0.3em;
border: thin solid black;
}

div.left { 
width: 45%;
float: left;
clear: both;
border: none;
}

div.software {
width: 45%;
margin-left: 50%;
clear: right;
border: none;
}

h1 { 
margin-bottom: 0px;
text-align: center;
}

h2 {
margin-left: 6px;
}

h3 {
margin-top: 3px;
margin-bottom: 3px;
margin-left: 6px;
clear: left;
}

h4 {
margin-left: 6px;
margin-top: 6px;
margin-bottom: 2px;
}

a { text-decoration: none; }

p { 
text-align: justify; 
margin-left: 6px;
margin-right: 6px;
margin-top: 6px;
margin-bottom: 6px;
}

ul { 
margin-top: 6px;
list-style-type: square;
list-style-image: none;
 }

dt {
font-weight: bold;
margin-left: 20px;
float: left;
clear: left;
width: 10em;
margin-right : 0.5em;
}

dt::after { content: ": "; 
}

#toc { 
bottom: 0px;
right: 0px;
width: 15em;
font-size: small;
position: fixed;
margin-right: 0px;
line-height: 1.2;
}

#toc ul, #toc li {
margin-left: 0.5em;
padding-left: 0em;
list-style-type: none;
}

#toc ul {
margin-bottom: 0px;
padding-bottom: 0px;
}

    .resources { 
    font-weight: bold;
    width: 20em;
    }

.resources li {
display: inline;
text-align: center;
margin-left: 5px;
margin-right: 5px;
margin-bottom: 5px;
padding-left: 0.3em;
padding-right: 0.3em;
border: thin inset black;
}

ul.resources {
list-style-type: none;
margin: 0em;
padding: 0em;
align: left;
clear: both;
}