style.css

.UMONS {
  display: none;
}

.noinstitution {
  display: block;
}

p.caption {
  color: #777;
  margin-top: 10px;
}
p code {
  white-space: inherit;
}
pre {
  word-break: normal;
  word-wrap: normal;
}
pre code {
  white-space: inherit;
}

.info {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-info.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.note {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-note.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.warning {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-warning.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.error {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-error.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.win {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-win.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.mac {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-mac.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.linux {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-linux.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.bdd {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background:  #f5f5f5 url("images/block-bdd.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.sv {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background: #f5f5f5 url("images/block-sv.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}
.svbox {
  padding: 1em 1em 1em 4em;
  margin-bottom: 5px;
  background: #f5f5f5 url("images/block-svbox.png") left center/3em no-repeat;
  border: 1px solid #ccc;
  border-radius: 3px;
}