← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to external/mono-tools/webdoc/main.css

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
external/mono-tools/webdoc/main.css
1
 
#fsearch_window {
2
 
        display: none;
3
 
        opacity: 0;
4
 
        position: absolute;
5
 
        z-index: 60;
6
 
        text-align: left;
7
 
        width: 25em;
8
 
        right: 80px;
9
 
        top: 40px;
10
 
        border: 1px solid black;
11
 
        background: white;
12
 
        padding: 5px;
13
 
        overflow: hidden;
14
 
        -webkit-transition: opacity 200ms linear 0;
15
 
        -moz-transition: opacity 200ms linear 0;
16
 
        -o-transition: opacity 200ms linear 0;
17
 
}
18
 
 
19
 
#fsearch_window a {
20
 
        color: blue;
21
 
        text-decoration: none;
22
 
        font-family: monospace;
23
 
}
24
 
 
25
 
#fsearch_window .threedots {
26
 
        color: #333;
27
 
        font-size: x-small;
28
 
        font-family: sans-serif;
29
 
}
30
 
 
31
 
#fsearch_window .selected {
32
 
        background-color: 679ef1;
33
 
        color: white;
34
 
}
35
 
 
36
 
#fsearch_companion {
37
 
        display:none;
38
 
        position: absolute;
39
 
        z-index: 60;
40
 
        top: 40px;
41
 
        right:410px;
42
 
        color: grey;
43
 
        background-color: white;
44
 
}
45
 
 
46
 
iframe {
47
 
        margin: 0;
48
 
        padding: 0;
49
 
        border: 0;
50
 
        font-size: 100%;
51
 
        font: inherit;
52
 
        vertical-align: baseline;
53
 
}
54
 
 
55
 
body,div {
56
 
    margin: 0;
57
 
    padding: 0;
58
 
}
59
 
 
60
 
img.toolbarsep {
61
 
    border: 0px;
62
 
    margin-bottom: 1px;
63
 
    margin-top: 1px;
64
 
    padding-top: 3px;
65
 
    padding-bottom: 3px;
66
 
    vertical-align: middle;
67
 
}
68
 
 
69
 
img.toolbar {
70
 
    border: 0px;
71
 
    margin: 1px;
72
 
    padding: 3px;
73
 
    vertical-align: middle;
74
 
}
75
 
 
76
 
img.toolbar:hover {
77
 
    border-left: 1px solid white;
78
 
    border-right: 1px solid #B1A598;
79
 
    border-top: 1px solid white;
80
 
    border-bottom: 1px solid #B1A598;
81
 
    margin: 0px;
82
 
}
83
 
 
84
 
img.toolbar:active {
85
 
    border-right: 1px solid white;
86
 
    border-left: 1px solid #B1A598;
87
 
    border-bottom: 1px solid white;
88
 
    border-top: 1px solid #B1A598;
89
 
}
90
 
 
91
 
 
92
 
#login {
93
 
    position: fixed;
94
 
    top: 0px;
95
 
    right: 0px;
96
 
    float: right;
97
 
    padding: 5px;
98
 
}
99
 
 
100
 
#rightSide {
101
 
    position: relative;
102
 
    top: 2px;
103
 
    right: 0px;
104
 
    float: right;
105
 
    padding: 5px;
106
 
}
107
 
 
108
 
#banner {
109
 
        background: #679EF1 url(mdocimages/headerbg.png) no-repeat 100% 50%;
110
 
        background-color: #679EF1;
111
 
        background-position: 100% 50%;
112
 
        background-repeat: no-repeat;
113
 
        border-bottom: 1px dotted #3363BD;
114
 
}
115
 
 
116
 
#header {
117
 
        color: black;
118
 
        height: 40px;
119
 
        margin-bottom: 0px;
120
 
        padding: 0px 0px 0px 15px;
121
 
        position: relative;
122
 
        width: 50%;
123
 
}
124
 
#header h1 {
125
 
        color: white;
126
 
        font-family: arial, helvetica, verdana, sans-serif;
127
 
        font-size: 22px;
128
 
        font-weight: bold;
129
 
        line-height: 1.8em;
130
 
        margin: 0;
131
 
}
132
 
body,div {
133
 
        margin: 0;
134
 
        padding: 0;
135
 
        border: 0;
136
 
        font-size: 100%;
137
 
        font: inherit;
138
 
        vertical-align: baseline;
139
 
}
140
 
 
141
 
html,body {
142
 
        height: 100%;
143
 
}
144
 
 
145
 
#side {
146
 
        width:20%;
147
 
        height: 93%;
148
 
        float: left;
149
 
        border-right: 1px solid black;
150
 
        overflow-x: auto;
151
 
        overflow-y: auto;
152
 
}
153
 
 
154
 
#content_frame {
155
 
        width:79.9%;
156
 
        height: 94%;
157
 
}
158
 
 
159
 
#content_frame_wrapper {
160
 
        height: 100%;
161
 
}
162
 
 
163
 
#main_part {
164
 
        height: 94%;
165
 
}