ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Remove common.css

Browse Source 
This has been moved to the learn repository.
This commit is contained in:
Nicolas Setton
2019-02-06 15:06:23 -05:00
parent 36173c32ed
commit b53ad5363c
1 changed files with 0 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

82
compile_server/app/static/common.css
View File

@@ -1,82 +0,0 @@
div.file{
display: none;
}
div.editor_container{
height: 30em;
border: 1px solid #ddd;
border-top: 0px;
}
div.editor_container.inline{
height: 20em;
border: 1px solid #ddd;
margin: .5em 0;
}
div.output_line{
color: #666;
padding-left:15px;
padding-right:3px;
}
div.output_msg{
color: #944;
padding-left:15px;
padding-right:3px;
}
div.output_msg:hover{
background-color:#fdd;
}
div.output_msg_info{
color: #449;
padding-left:15px;
padding-right:3px;
}
div.output_msg_info:hover{
background-color:#ddf;
}
div.output_info{
color: #222;
padding-left:3px;
padding-right:3px;
}
div.output_error{
color: #822;
padding-left:3px;
padding-right:3px;
}
div.output_success{
color: #070;
padding-left:3px;
padding-right:3px;
font-weight:bold;
}
div.output_area{
font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
margin-top: 10px;
background: #f3f3f3;
}
div.output_row{
margin-right: 0px;
}
div.output_row button{
margin-right:4px;
margin-top:2px;
}
.read-only {
background-color: #c0c0c0;
opacity: 0.2;
position: absolute;
}