[Sommaire] [Imprimer]

   1  body {
   2      font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
   3      font-weight:normal;
   4      font-size:10pt;
   5      color:black;
   6      margin:0px 0px 0px 0px;
   7      padding:0px;
   8      background-image: url('mantisbg.jpg');
   9      background-repeat: no-repeat;
  10      background-position: top right;
  11  }
  12  
  13  h1, h2, h3, h4
  14  {
  15      color: #333;
  16  }
  17  
  18  h1, h2
  19  {
  20      padding-bottom: 3px;
  21      border-bottom: 1px solid #ccc;
  22  }
  23  
  24  h1 {
  25      font-size:13pt;
  26  }
  27  
  28  h2 {
  29      font-size:12pt;
  30  }
  31  
  32  h3 {
  33      font-size:10pt;
  34      font-weight:bold;
  35  }
  36  
  37  a
  38  {
  39      color: #cc3333;
  40  }
  41  
  42  #header {
  43  
  44      font-size:30px;
  45      font-weight:bold;
  46      text-align: right;
  47      color: #666;
  48      height:100px;
  49      background-image: url('pradologo.gif');
  50      background-repeat: no-repeat;
  51  }
  52  
  53  #header div.title
  54  {
  55     display: none;
  56  }
  57  
  58  #header div.image
  59  {
  60      display: block;
  61      float: right;
  62      width: 757px;
  63      height: 100px;
  64      background-image: url('mantis.jpg');
  65      background-repeat: no-repeat;
  66      background-position: top right;
  67  }
  68  
  69  
  70  
  71  .mainmenu {
  72      padding:10px;
  73      padding-right:10px;
  74      background:#EDEDED;
  75      border-bottom: 1px solid #A6A6A6;
  76      border-top: 1px solid #DCDCDC;
  77      color:white;
  78      text-align:right;
  79      font-size: 9pt;
  80  }
  81  
  82  .mainmenu a {
  83      color:#737373;
  84      text-decoration:none;
  85  }
  86  
  87  .mainmenu a:hover {
  88      color: #FF0000;
  89  }
  90  
  91  #toc {
  92      background-color: #F3F3F3;
  93      width:220px;
  94      padding:0px 10px 0px 10px;
  95  }
  96  
  97  #content {
  98      background:#fff;
  99      padding: 1em 1em 1em 1em;
 100      line-height: 135%;
 101  }
 102  
 103  #footer {
 104      clear:both;
 105      color: gray;
 106      font-size:8pt;
 107      text-align:center;
 108      margin-top:25px;
 109      padding:10px;
 110  }
 111  
 112  .topic {
 113      font-size: 9pt;
 114      padding: 0px 0px 0px 0px;
 115  }
 116  
 117  .topic div {
 118      background-image: url('arrowdown.gif');
 119      background-repeat: no-repeat;
 120      background-position: left center;
 121      margin: 0px;
 122      font-size: 8pt;
 123      font-weight:bold;
 124      color:#2A480A;
 125      padding: 5px;
 126      padding-left: 15px;
 127      border-top: 1px solid #fff;
 128      border-bottom: 1px solid #E2E2E2;
 129  }
 130  
 131  .topic ul
 132  {
 133      margin: 0px;
 134      padding: 0px;
 135  }
 136  
 137  .topic ul li
 138  {
 139      list-style: none;
 140      margin: 0px;
 141      padding: 5px;
 142      padding-left: 15px;
 143      border-bottom: 1px dotted #D8D8D8;
 144  }
 145  
 146  .topic a {
 147      color:#4F811A;
 148      font-size: 8pt;
 149      text-decoration: none;
 150  }
 151  
 152  .topic a:hover {
 153      color:#2A480A;
 154  }
 155  
 156  .source {
 157      padding: 0.5em;
 158      border-style:solid;
 159      border-width:1px;
 160      border-color:#eeeeee;
 161      background-color:#ffffee;
 162      font-family: "Courier New", Courier, mono;
 163      margin: 0.2em;
 164  }
 165  
 166  .source pre {
 167      font-family: "Courier New", Courier, mono;
 168      margin: 0;
 169  }
 170  
 171  .runbar
 172  {
 173      margin: 1em 0 1em 0;
 174  }
 175  
 176  .runbar a:link, .runbar a:visited {
 177      background-color:#E2E2E2;
 178      font-size: 12px;
 179      font-weight: normal;
 180      padding: 3px;
 181      padding-left: 6px;
 182      padding-right: 6px;
 183      border-top: 1px solid white;
 184      border-left: 1px solid white;
 185      border-bottom: 1px solid #aaaaaa;
 186      border-right: 1px solid #aaaaaa;
 187      text-decoration: none;
 188  }
 189  
 190  .runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
 191      background-color:#E2E2E2;
 192      font-size: 12px;
 193      font-weight: normal;
 194      padding: 3px;
 195      padding-left: 6px;
 196      padding-right: 6px;
 197      border-top: 1px solid #aaaaaa;
 198      border-left: 1px solid #aaaaaa;
 199      border-bottom: 1px solid white;
 200      border-right: 1px solid white;
 201  }
 202  
 203  #sourceList {
 204      background-color:#E2E2E2;
 205      margin:10px 10px 0px 10px;
 206      padding:10px;
 207      border:1px solid silver;
 208  }
 209  
 210  #sourceView {
 211      font-family: "Courier New", Courier, mono;
 212      background-color:#ffffee;
 213      margin:5px 10px 10px 10px;
 214      border:1px solid silver;
 215  }
 216  
 217  code {
 218      font-family: "Courier New", Courier, mono;
 219  }
 220  
 221  tt {
 222      font-family: "Courier New", Courier, mono;
 223      border-bottom: 1px dotted silver;
 224  }
 225  
 226  .sampleheader {
 227      font-size:30px;
 228      font-weight:bold;
 229      text-align: right;
 230      color: #666;
 231      height:100px;
 232      background-image: url('pradologo.gif');
 233      background-repeat: no-repeat;
 234  }
 235  
 236  .sampleheader div.title
 237  {
 238     display: none;
 239  }
 240  
 241  .sampleheader div.image
 242  {
 243      display: block;
 244      float: right;
 245      width: 900px;
 246      height: 100px;
 247      background-image: url('mantissample.jpg');
 248      background-repeat: no-repeat;
 249      background-position: top right;
 250  }
 251  
 252  .samplemenu
 253  {
 254      padding:10px;
 255      padding-right:10px;
 256      background:#EDEDED;
 257      border-bottom: 1px solid #A6A6A6;
 258      border-top: 1px solid #DCDCDC;
 259      text-align:right;
 260      font-size: 9pt;
 261  }
 262  
 263  .samplemenu a {
 264      color:#737373;
 265      text-decoration:none;
 266  }
 267  
 268  .samplemenu a:hover {
 269      color: #FF0000;
 270  }
 271  
 272  .sampleheader a {
 273      font-size:30px;
 274      font-weight:bold;
 275      color: #666;
 276      text-decoration: none;
 277  }
 278  
 279  .samplepanel {
 280      margin: 0px;
 281      border: 1px solid silver;
 282      padding: 10px;
 283      margin-bottom:10px;
 284  }
 285  
 286  .sampletitle {
 287      width: 100%;
 288      border-bottom:1px solid silver;
 289      font-weight:bold;
 290      margin-bottom:5px;
 291  }
 292  
 293  .sampletable {
 294      width: 100%;
 295      border-collapse: collapse;
 296  }
 297  
 298  td.samplenote {
 299      width: 300px;
 300      text-align: right;
 301      background: #BFE4FF;
 302      border: 1px solid silver;
 303      padding: 5px;
 304      vertical-align: top;
 305  }
 306  
 307  td.sampleaction {
 308      background: #ffffee;
 309      border: 1px solid silver;
 310      padding: 5px;
 311      vertical-align: top;
 312  }
 313  
 314  
 315  dl
 316  {
 317      margin: 0 2em;
 318  }
 319  
 320  dt
 321  {
 322      font-weight: bold;
 323      margin-bottom: 0.15em;
 324  }
 325  
 326  dd
 327  {
 328      margin-left: 2em;
 329      margin-bottom: 0.75em;
 330  }
 331  
 332  .quicksearch .search .searchBox
 333  {
 334      width: 25em;
 335  }
 336  
 337  .quicksearch .search
 338  {
 339      text-align: center;
 340      padding: 2em;
 341  }
 342  
 343  .searchItem
 344  {
 345      margin-top: 20px;
 346      margin-left: 20px;
 347      margin-right: 20px;
 348  }
 349  
 350  .searchItemBody
 351  {
 352      margin-top: 0em;
 353      font-size: 0.9em;
 354  }
 355  
 356  .searchItemLink
 357  {
 358      font-size: 1.05em;
 359  }
 360  
 361  .searchterm
 362  {
 363      font-weight: bold;
 364  }
 365  
 366  .searchAPIItem
 367  {
 368      margin-top: 5px;
 369      margin-left: 20px;
 370      margin-right: 20px;
 371  }
 372  
 373  .searchHeader, .emptyResult
 374  {
 375      margin-top: 30px;
 376  }
 377  
 378  .empty_search_result
 379  {
 380      text-align: center;
 381      margin: 30px;
 382  }
 383  
 384  /** Comments **/
 385  #comments
 386  {
 387      margin: 10px;
 388  }
 389  
 390  .comment_header
 391  {
 392      border-bottom: 1px solid silver;
 393  }
 394  
 395  .comment_item
 396  {
 397      padding: 10px;
 398      border: 1px solid silver;
 399      margin: 0 10px 10px 10px;
 400  }
 401  
 402  .comment_item .number
 403  {
 404      float: right;
 405      font-size: 1.5em;
 406      font-weight: bold;
 407      color: silver;
 408  }
 409  
 410  .comment_item1
 411  {
 412      background-color: #EDEDED;
 413  }
 414  
 415  .comment_item .email
 416  {
 417      font-weight: bold;
 418      display: block;
 419  }
 420  
 421  .comment_item .date
 422  {
 423      font-size: 0.85em;
 424      display: block;
 425      border-bottom: 1px dotted silver;
 426  }
 427  
 428  .comment_item .comment
 429  {
 430      padding: 10px;
 431  }
 432  
 433  .add_comments
 434  {
 435      margin-top: 2em;
 436  }
 437  
 438  .add_comments .comment_email
 439  {
 440      margin-bottom: 5px;
 441  }
 442  
 443  .add_comments .comment_email input
 444  {
 445      width: 25em;
 446  }
 447  
 448  .add_comments .comment_content textarea
 449  {
 450      width: 75%;
 451      height: 200px;
 452      padding: 5px;
 453  }
 454  
 455  .add_comments .comment_email label, .add_comments .comment_content label
 456  {
 457      width: 8em;
 458      float: left;
 459      text-align: right;
 460      padding-right: 5px;
 461  }
 462  
 463  .add_comments .add_comment
 464  {
 465      padding-left: 8.2em;
 466      padding-top: 0.5em;
 467  }
 468  
 469  .add_comments .please_add
 470  {
 471      padding-left: 8.2em;
 472  }
 473  
 474  .add_comments h3, .comment_added h3
 475  {
 476      border-bottom: 1px solid silver;
 477  }
 478  
 479  .comment_preview
 480  {
 481      margin: 10px;
 482      padding: 10px;
 483      border: 1px solid silver;
 484  }
 485  
 486  .comment_preview .comment
 487  {
 488      padding: 10px;
 489  }
 490  
 491  .comment_added
 492  {
 493      margin-top: 3em;
 494      border-top: 1px dotted silver;
 495      padding: 10px;
 496  }
 497  
 498  .comment_added .comment
 499  {
 500      padding: 10px;
 501      margin-top: 10px;
 502  }
 503  
 504  .comment_added .thank
 505  {
 506      background-color: #ffffcc;
 507      padding: 20px;
 508  }
 509  
 510  pre code
 511  {
 512      display: block;
 513      padding: 0.5em;
 514      border-style:solid;
 515      border-width:1px;
 516      border-color:#eeeeee;
 517      background-color:#ffffee;
 518      font-family: "Courier New", Courier, mono;
 519      margin: 0.2em;
 520  }
 521  
 522  div.tip, div.info, div.note
 523  {
 524      border:1px solid #0cf;
 525      padding:1em;
 526      margin: 1em 2em;
 527      background-color: #eff;
 528  }
 529  
 530  div.info
 531  {
 532      border-color: #32CD32;
 533      background-color: #EBFFCE;
 534  }
 535  
 536  div.note
 537  {
 538      border-color: Orange;
 539      background-color: #FFF5E1;
 540  }
 541  
 542  div b.tip
 543  {
 544      font-size: 1em;
 545      padding-right: 0.5em;
 546  }
 547  
 548  img.figure
 549  {
 550      display: block;
 551      margin: 1em auto;
 552      background-color: White;
 553      padding: 15px;
 554      border: 1px solid #eee;
 555  }
 556  
 557  div.caption
 558  {
 559      text-align: center;
 560  }
 561  
 562  table.tabular, table.tabular td, table.tabular th
 563  {
 564      border: 1px solid #ccc;
 565      border-collapse: collapse;
 566      padding: 0.3em;
 567  }
 568  
 569  table.tabular
 570  {
 571      margin: 1em auto;
 572      width: 80%;
 573  }
 574  
 575  table.tabular td
 576  {
 577      padding: 0.75em;
 578  }