/* style.scss 
Pour compiler il suffit de lancer:
sass --watch style.scss:style.css
*/
/*$fondBody:	rgb(100%,100%,100%);
$fondNav:	rgb(100%,100%,85%);*/
body {
  padding-left: 1em;
  font-family: Georgia, "Times New Roman",           Times, serif;
  color: #191966;
  background-color: #ffffd8; 
  font-size: 20pt;}

address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted; }

/*
h1 {
    font-family: Helvetica, Geneva, Arial,
          SunSans-Regular, sans-serif }
*/
h1 {
  font-family: Georgia, "Times New Roman",Times, serif; text-align: center;}
/*
ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  position: fixed;
  top: 2em;
  left: 1em;
  width: 9em; }
  ul.navbar li {
    background: #ffffd8;
    margin: 0em 0;
    padding: 0.3em;
    border-right: 0em solid black; }
  ul.navbar a {
    text-decoration: none; }

a:link {
  color: red; }
a:visited {
  color: #990000; }

.input {
  color: blue; }

.comment {
  color: black;
  background-color: #add8e6;
  padding: 2mm; }

.section {
  color: black;
  background-color: #ffffd8;
  font-weight: bold;
  text-decoration: underline;
  font-size: 1.5em;
  padding: 2mm; }

.title {
  color: black;
  background-color: #ffffd8;
  font-weight: bold;
  font-style: italic;
  text-decoration: underline;
  font-size: 2em;
  padding: 2mm; }

.prompt {
  color: red; }

.hidden {
  color: red;
  font-style: italic;
  text-decoration: underline; }

.alatex {
  position: relative;
  top: -0.4ex;
  right: .35em;
  font-size: 80%;
  font-variant: small-caps; }

.tlatex {
  position: relative;
  top: 0ex;
  right: .45em;
  font-size: 1em;
  font-variant: small-caps; }

.elatex {
  position: relative;
  top: .48ex;
  right: .6em;
  font-size: 1em;
  font-variant: small-caps; }

.xlatex {
  position: relative;
  top: 0ex;
  right: .75em;
  font-size: 1em;
  font-variant: small-caps; }
 
*/