+#slim_container {
+ width: 100%;
+}
+
+#slim_container_content {
+ max-width: 50em;
+ background-color: #FFFFFF;
+ margin: 10px auto;
+ padding: 3px;
+ border-radius: 25px;
+ -moz-border-radius: 25px;
+ border: 1px solid #e6e6e6;
+}
+
+#slim_content {
+ margin: 10px;
+ margin-top: 90px;
+ max-width: 50em;
+}
+
+#slim_header {
+ margin: 10px;
+ position: absolute;
+ top: 0px;
+}
+
+#slim_header img {
+ vertical-align: middle;
+ margin-right: 5px;
+ margin-bottom: 5px;
+}
+
+/* Rules for the changeset list shown by the history tab etc */
+
+#changeset_list_container {
+ position: relative;
+}
+
+#changeset_list {
+ width: 50%;
+ font-size: small;
+ text-align: left;
+ border-collapse: collapse;
+ border-width: 0px;
+ margin-top: 1px;
+ margin-bottom: 1px;
+}
+
+#changeset_list td {
+ vertical-align: top;
+ padding: 3px;
+}
+
+#changeset_list .date {
+ white-space: nowrap;
+}
+
+#changeset_list .user {
+ white-space: nowrap;
+}
+
+#changeset_list .area {
+ white-space: nowrap;
+}
+
+#changeset_list .selected {
+ background-color: rgb(255, 255, 160);
+ background-color: rgba(255, 255, 85, 0.5);
+}
+
+#changeset_list_map {
+ float: right;
+ position: absolute;
+ top: 0px;
+ bottom: 0px;
+ right: 0px;
+ width: 49%;
+ min-height: 400px;
+ border: solid 1px black;
+}
+
+/* Rules for the data browser */
+
+#browse_navigation {
+ float: right;
+ width: 250px;
+ text-align: center;
+ margin-left: 10px;
+}
+
+table.browse_details th {
+ white-space: nowrap;
+}
+
+#browse_map {
+ float: right;
+ width: 250px;
+ text-align: right;
+ margin-left: 10px;
+}
+
+#browse_map #small_map {
+ width: 250px;
+ height: 300px;
+ border: solid 1px black;
+}
+
+/* Rules for the trace list shown by the traces tab etc */
+
+#trace_list {
+ font-size: small;
+ text-align: left;
+ border-collapse: collapse;
+ border-width: 0px;
+}
+
+#trace_list .trace_summary {
+ font-size: 12px;
+ color: gray;
+}
+
+/* Rules for the user list */
+
+#user_list {
+ width: 100%;
+ font-size: small;
+}
+
+#user_list tr {
+ vertical-align: middle;
+}
+
+#user_list p {
+ margin-top: 0px;