File: .def

package info (click to toggle)
wims-help 4.01-5
  • links: PTS
  • area: main
  • in suites: bookworm, bullseye, sid, trixie
  • size: 18,412 kB
  • sloc: python: 46; sh: 16; makefile: 7
file content (7 lines) | stat: -rw-r--r-- 1,877 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
tit=DocAide Modules d'exercices OEF
author=Bernadette Perrin-Riou
email=bpr@math.u-psud.fr
copyright=gnu
docopen=yes
dlang=fr
header=<style type="text/css"> <!--	body  {font-family: Arial, Helvetica, sans-serif; font-size: 100% ; background-color: #FFFFCC;}		div.statement {	          background-color : #99CCCC;	          padding : 1%;	          margin : 0 5%;	          border-width : thin;	      }	div.aide {	          background-color : #ffcc99;	          padding : 1%;	          border-width : thin;	          color : black;	          margin : 0 10% 0 15%;	      }	div.variable {	          background-color : #cccccc;	          padding : 1%;	          margin : 0 5%;	          border-width : thin;	          color : black;	      }		.fichier   { 	    background-color :#FFFFFF;	    font-weight: bold ;	        font-size: 12px;	        border-style: solid;	        border-width: 2pt;	        margin: 2% 2% 2% 2%;	        padding : 3%;}	 	 #ccc	 {	 margin: 0% 3% 0% 3%;	 width: 90%;	 padding: 2%;	 background-color: #CCFFCC;	 color: #c52d2d;	 font-weight: bold; 	 }	 	#def {margin: 0% 8% 0% 8%;	 width: 80%;	 padding: 2%;	          background-color: #FFFF99;	          font-family : Verdana, Arial, Helvetica, sans-serif;	              }			p {text-ident: 1.3em;}		/*<p class="p1" */	.p1	 {	 color: blue;	 font-weight: bolder;	 }		.p2	 {	 color: red;	 font-weight: bolder;	 }	 	 .p3	 {	 color: green;	 }	 	 .orange	 {color: #ff6600;}	 	h1 {	 font-size: 150%;	 text-align: center;		 }	 	 h3 {	 font-size: 130%;	 text-align: center;	 color: green;	 }	 h2 {	 background-color: #D9D2C0;	 font-size: 110%;	 padding-left: 0.3em;	 }		.c   { color: #c52d2d; 	font-size:100%;	font-weight: bold;	 }	.d   { color: #3F803F; 	font-size:100%;	font-weight: bold;	 }	.e   { color: #48d1cc; 	font-size:100%;	font-weight: bold;	 }	.fl{	 color: blue;	 text-decoration: underline;	 }	--></style>