juplo.de Git - website/blob - dist/hibernate-maven-plugin-2.1.0/xref/stylesheet.css

   1 /* Javadoc style sheet */
   2 /* Define colors, fonts and other style attributes here to override the defaults  */
   3 body {
   4     background-color: #fff;
   5     font-family: Arial, Helvetica, sans-serif;
   6 }
   7
   8 a:link {
   9     color: #00f;
  10 }
  11 a:visited {
  12     color: #00a;
  13 }
  14
  15 a:active, a:hover {
  16     color: #f30 !important;
  17 }
  18
  19 ul, li {
  20     list-style-type:none;
  21     margin:0;
  22     padding:0;
  23 }
  24
  25 table td {
  26     padding: 3px;
  27     border: 1px solid #000;
  28 }
  29 table {
  30     width:100%;
  31     border: 1px solid #000;
  32     border-collapse: collapse;
  33 }
  34
  35 div.overview {
  36     background-color:#ddd;
  37     padding: 4px 4px 4px 0;
  38 }
  39 div.overview li, div.framenoframe li {
  40     display: inline;
  41 }
  42 div.framenoframe {
  43     text-align: center;
  44     font-size: x-small;
  45 }
  46 div.framenoframe li {
  47     margin: 0 3px 0 3px;
  48 }
  49 div.overview li {
  50     margin:3px 3px 0 3px;
  51     padding: 4px;
  52 }
  53 li.selected {
  54     background-color:#888;
  55     color: #fff;
  56     font-weight: bold;
  57 }
  58
  59 table.summary {
  60     margin-bottom: 20px;
  61 }
  62 table.summary td, table.summary th {
  63     font-weight: bold;
  64     text-align: left;
  65     padding: 3px;
  66 }
  67 table.summary th {
  68     background-color:#036;
  69     color: #fff;
  70 }
  71 table.summary td {
  72     background-color:#eee;
  73     border: 1px solid black;
  74 }
  75
  76 em {
  77     color: #A00;
  78 }
  79 em.comment {
  80     color: #390;
  81 }
  82 .string {
  83     color: #009;
  84 }
  85
  86 #overview {
  87     padding:2px;
  88 }
  89
  90 hr {
  91     height: 1px;
  92     color: #000;
  93 }
  94
  95 /* JXR style sheet */
  96 .jxr_comment
  97 {
  98     color: #390;
  99 }
 100
 101 .jxr_javadoccomment
 102 {
 103     color: #A00;
 104 }
 105
 106 .jxr_string
 107 {
 108     color: #009;
 109 }
 110
 111 .jxr_keyword
 112 {
 113     color: #000;
 114 }