1div.project_file {
2    border-style: solid;
3    border-width: 1px
4}
5
6div.tag_header {
7    background: lightblue;
8    float: left;
9    padding: 3px;
10}
11
12div.project_file_type {
13    float: left;
14    padding: 3px;
15}
16
17div.project_file_name {
18    padding: 3px;
19    float: left;
20}
21
22div.project_file_project {
23    padding: 3px;
24    float: left;
25}
26
27div.project_file_buttons {
28    font-size: 80%;
29    float: right;
30}
31
32div.project_file_errors {
33    clear: both;
34}
35
36div.project_file_content {
37    clear: both;
38}
39
40div.use {
41    border-style: solid;
42    border-width: 1px;
43}
44
45div.use_use {
46    padding: 3px;
47    float: left;
48}
49
50div.use_buttons {
51    float: right;
52    font-size: 80%;
53}
54
55div.use_content {
56    clear: both;
57}
58
59div.code_block {
60    border-style: solid;
61    border-width: 1px
62}
63
64div.code_block_name {
65    padding: 3px;
66}
67
68div.code_block_buttons {
69    float: right;
70}
71
72@import "codemirror.css";
73.CodeMirror {
74    border-style: solid;
75    border-width: 1px;
76}
77