File: default.css

package info (click to toggle)
tiarra 20100212-4
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 2,732 kB
  • ctags: 1,712
  • sloc: perl: 32,032; lisp: 193; sh: 109; makefile: 10
file content (116 lines) | stat: -rw-r--r-- 1,687 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
/* $Id: default.css,v 1.1 2003/08/04 09:29:21 admin Exp $ */
@import url(http://www.clovery.jp/common/style/blue/base.css);

/* toc-group */
.toc-group
{
  font-size: x-large;
  }

.toc-group .group-description
{
  font-size: large;
  }

.toc-group .toc-individual
{
  font-size: large;
  }

.toc-group .toc-individual .module-description
{
  font-size: medium;
  }


/* doc-element */
div.module
{
  border-style: dotted;
  border-width: 2px;
  border-color: #66b3ff;
  padding: 10px;
  margin-left: 20px;
  margin-bottom: 10px;
  margin-right: 10px;
  background: #d4e9ff;
  }

div.module h2
{
  display: inline;
  }

div.module .description
{
  font-weight: bold;
  margin-left: 2em;
  }

div.module .content
{
  padding-left: 1em;
/*
  padding-top: 1em;
  border-top-width: 1px;
  border-top-style: dashed;
  border-top-color: #66b3ff;
  border-left-width: 1px;
  border-left-style: dashed;
  border-left-color: #66b3ff;
  */
  }

div.module .comment
{
  border-left-width: 1px;
  border-left-style: solid;
  border-left-color: #66b3ff;
  border-bottom-width: 1px;
  border-bottom-style: dashed;
  border-bottom-color: #66b3ff;
  padding-left: 0.3em;
  }
div.module .comment:first-line
{
  font-weight: bolder;
}

div.element.block
{
  }

div.element .key
{
  font-weight: bolder;
  }

div.element .value
{
  margin-left: 0.5em;
  }

div.element.block
{
  margin-top: 0.7em;
  border-width: 1px;
  border-style: solid;
  border-color: #66b3ff;
  }

div.element.block .block.key
{
  position: relative;
  padding-left: 0.5em;
  padding-right: 0.5em;
  top: -0.6em;
  left: 0.3em;
  color: black;
  background: #d4e9ff;
  }

div.block.content
{
  margin: 0.5em;
  margin-top: 0em;
  }