prince-samples/webarch/default.css at master · yeslogic/prince-samples · GitHub

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
@media all { a:link img, a:visited img { border: none } }

a img { color: white; background: white }

dfn { font-style: italic; font-weight: bold }

blockquote { font-style: italic }

ul.toc {
  list-style: disc;		/* Mac NS4 has problem with 'none' */
  list-style: none
}
li.tocline1 {font-weight: bold}
li.tocline2 {font-weight: normal}
li.tocline3 {font-weight: normal}
li.tocline4 {font-weight: normal}
a.tocprinciple { background: #f7ebd7 }

span.note { background: #aeefef; color: black }

dl#all-properties { margin-left: 2em }
dl#all-properties dt { margin-top: .25em}

.glossary-entry { font-weight: bold }

.ednote {
   background: #fee;
   padding: 1px 3px 0 1px;
   border: 1px solid #fcc;
   font-style: italic
}

.icon {
   float:left;
   padding-right: .3em;
}

.figure {
    text-align: center;
}

.boxedtext {
   border: solid #bebebe 1px;
   margin: 2em 1em 1em 2em;
 }

.principle, .practice, .constraint, .property, div.story {
   margin: 1.5em 0.5em 1em 1em;
 }

.principlelab, .constraintlab,
.propertylab, .practicelab,
.storylab {
   margin: 1.5em 0.5em 1em 1em;
   font-weight: bold;
   font-style: italic;
 }

.principlelab  { background: #f7ebd7 }
.constraintlab { background: #becece }
.propertylab   { background: #f7ebd7 }
.practicelab   { background: #dfffff }
.storylab      { background: #005a9c; color: #fff; }

/* Make sure the relative spacing stuff only applies to 'screen'
   because IE has bugs when it comes to printing relative things. */

@media screen {

.principle, .practice, .constraint, .property, div.story {
   position: relative;
   top: -2em;
   padding: 0;
   margin: 1.5em 0.5em -1em 1em;
}

.principlelab, .constraintlab,
.propertylab, .practicelab,
.storylab {
   position: relative;
   padding: 0 0.5em;
   top: -1.5em;
 }

div.story {
   margin-bottom: -2em;
}
}