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