div.code{
    font-family: monospace;
    border-radius: 5px;
    border-color: black;
    border-style: dashed;
    border-width: 1px;
    text-align:left;
    padding:5px;
    margin-top: 5px;
}

h1{
    font-size:150%;
}

h2{
    font-size:110%;
    text-decoration: underline;
}

h3{
    font-size:100%;
    font-style:italic;
    font-weight: normal;
}

.comment{
    font-style: italic;
}

textarea.console{
  margin: 2px; 
  width: 789px;
  border-radius: 5px;
  border-color: black;
  border-style: dashed;
  border-width: 1px;
}

div.fallback-message{
    display: none;
}

div.dontPrint{
    display:none;
}

div.solution{
    display:none;
}


span.citation-source{
    font-weight: bold;
}

span.citation-title{
    font-style: italic;
}


.dp-highlighter
{
	font-family: "Consolas", "Courier New", Courier, mono, serif;
	font-size: 14px; /* Si modifié, changer ligne 68 */
	background-color: #E7E5DC;
	width: 980px;
	overflow: auto;
	margin: 18px 0 18px 0 !important;
	padding-top: 1px; /* adds a little border on top when controls are hidden */
}

.dp-highlighter ol li,
.dp-highlighter .columns div
{
	list-style: decimal-leading-zero; /* better look for others, override cascade from OL */
	list-style-position: outside !important;
	border-left: 3px solid #6CE26C;
	background-color: #F8F8F8;
	color: #5C5C5C;
	padding: 0 3px 0 10px !important;
	margin: 0 !important;
	line-height: 16px;
}