a/docs_style.css b/docs_style.css
...
...
6
  background-color: #f0f0f0;
6
  background-color: #f0f0f0;
7
  font-size: 13px;
7
  font-size: 13px;
8
  line-height: 18px;
8
  line-height: 18px;
9
  font-family:Arial, Helvetica, sans-serif;
9
  font-family:Arial, Helvetica, sans-serif;
10
  text-align: justify;
10
  text-align: justify;
11
}
12
13
.hint {
14
  font-weight: bold;
15
  padding: 10px 10px 10px 10%;
16
  background: #eee;
11
}
17
}
12
18
13
#site-header {
19
#site-header {
14
    margin: 0 auto;
20
    margin: 0 auto;
15
    overflow: hidden;
21
    overflow: hidden;
...
...
83
    height:35px;
89
    height:35px;
84
    width:183px;
90
    width:183px;
85
}
91
}
86
92
87
.col1 {
93
.col1 {
88
  max-width:420px;
94
  max-width:620px;
89
  float:left;
95
  float:left;
90
  padding-top: 10px;
96
  padding-top: 10px;
91
  padding-bottom: 10px;
97
  padding-bottom: 10px;
92
}
98
}
93
.col2 {
99
.col2 {
94
  max-width:420px;
100
  max-width:220px;
95
  float:right;
101
  float:right;
96
  padding-top: 10px;
102
  padding-top: 10px;
97
  padding-bottom: 10px;
103
  padding-bottom: 10px;
98
}
104
}
105
99
106
100
.col2 img {
107
.col2 img {
101
}
108
}
102
109
103
.nocol{
110
.nocol{
...
...
112
  -moz-border-radius: 2px;
119
  -moz-border-radius: 2px;
113
  -webkit-border-radius: 2px;
120
  -webkit-border-radius: 2px;
114
  padding:10px;
121
  padding:10px;
115
  text-align: center;
122
  text-align: center;
116
  margin: 0 auto;
123
  margin: 0 auto;
117
  max-width: 800px;
124
  max-width: 600px;
118
  margin-top: 10px;
125
  margin-top: 10px;
119
}
126
}
120
127
121
#content_base img.narrow {
128
#content_base img.narrow {
122
  max-width: 500px;
129
  max-width: 500px;