/************** * Custom font import ***************/ @font-face { font-family: 'Crete Round'; src: url('../fonts/Crete_Round/CreteRound-Regular-webfont.eot'); src: url('../fonts/Crete_Round/CreteRound-Regular-webfont.eot?#iefix') format('embedded-opentype'), url('../fonts/Crete_Round/CreteRound-Regular-webfont.woff') format('woff'), url('../fonts/Crete_Round/CreteRound-Regular-webfont.ttf') format('truetype'), url('../fonts/Crete_Round/CreteRound-Regular-webfont.svg#CreteRoundRegular') format('svg'); font-weight: normal; font-style: normal; } @font-face { font-family: 'z'; src: url('../fonts/Crete_Round/CreteRound-Italic-webfont.eot'); src: url('../fonts/Crete_Round/CreteRound-Italic-webfont.eot?#iefix') format('embedded-opentype'), url('../fonts/Crete_Round/CreteRound-Italic-webfont.woff') format('woff'), url('../fonts/Crete_Round/CreteRound-Italic-webfont.ttf') format('truetype'), url('../fonts/Crete_Round/CreteRound-Italic-webfont.svg#CreteRoundItalic') format('svg'); font-weight: normal; font-style: italic; } @font-face { font-family: 'Action Man'; src: url('../fonts/Action_Man/Action_Man-webfont.eot'); src: url('../fonts/Action_Man/Action_Man-webfont.eot?#iefix') format('embedded-opentype'), url('../fonts/Action_Man/Action_Man-webfont.woff') format('woff'), url('../fonts/Action_Man/Action_Man-webfont.ttf') format('truetype'), url('../fonts/Action_Man/Action_Man-webfont.svg#ActionManRegular') format('svg'); font-weight: normal; font-style: normal; } /************** * General style ***************/ h2 { font-family: 'Crete Round', serif; font-size: 24px; font-style: bold; color: black; text-align: left; margin-top: 20px; margin-bottom: 12px; clear: both; } h3 { font-size: 16px; font-style: bold; color: rgb(255, 143, 0); text-align: left; } a { font-style: normal; cursor: pointer; color: #C51111; text-decoration: underline; } /************** * Theme and general layout ***************/ body { background-color: #FDF697; } #content { background-color: #FDE862; width: 980px; height: auto; position: relative; margin: auto; margin-top: 50px; margin-bottom: 50px; border: solid; border-width: 4px; border-radius: 15px; border-color: #FAC801; padding-bottom: 30px; text-align: center; } #banner { text-align:center; margin: 45px 0 16px 0; } #menu { width: 900px; margin: auto; height: 30px; border-radius: 10px; background: rgb(255,190,62); background: linear-gradient(180deg, rgba(255,190,62,1) 0%, rgba(255,122,49,1) 100%); display: flex; flex-direction: row; text-align: center; } #menu a { font-family: 'Action Man', Arial; flex-grow: 1; padding-top: 5px; line-height: 25px; margin: 0 16px 0px 16px; font-size: 1.2em; color: black; text-decoration: none; } #menu a:hover { background: rgb(238,0,33); background: linear-gradient(167deg, rgba(238,0,33,1) 0%, rgba(177,24,40,1) 100%); } #contenu { padding: 0px 45px; } article { margin-top: 30px; } #footer { text-align: center; font-family: 'Crete Round', serif; } #footer .partners a { margin: 0 8px; text-decoration: none; color: black; font-size: 12px; display: inline-block; } #footer .partners img { display: block; } #footer .copyright { text-decoration: none; color: black; font-size: 14px; } #footer .credits_images { text-decoration: none; color: black; font-size: 12px; } /************** * Help page specific layout ***************/ #help_page .float_block { float: right; margin: 0 16px; } #help_page .layout_float { display: flex; flex-direction: row; align-items: flex-start; } #help_page .layout_float > img { height: auto; flex-grow: 0; flex-shrink: 0; margin-left: 32px; margin-top: 20px; margin-bottom: 20px; } /************** * About page specific layout ***************/ #about_page > iframe { margin: 20px 0; } /************** * example page specific layout ***************/ .example .try_it { text-align: right; } .example .try_it button { border: 0; background: none; cursor: pointer; } /************** * programm page specific layout ***************/ #programm { display: grid; grid-template-columns: 220px 260px auto; } #programm .current_language { grid-column: 1; grid-row: 1; font-family: 'Crete Round', serif; font-size: 16px; position: relative; color: #D70404; margin-top: 8px; } #programm .current_language > span { font-weight: bold; } #programm .top_buttons { grid-column: 2; grid-row: 1; text-align:left; } #programm #infos { grid-column: 3; grid-row: 1; background-color: #FFD745; border: solid; border-width: 4px; border-radius: 5px; border-color: #FAC801; font-family: 'Crete Round', serif; color: #D70404; font-size: 12px; font-style: normal; text-decoration: none; text-align: justify; margin-top: 0; min-height: 50px; padding: 0px 3px 0px 3px; } #programm #infos .mot_cle { color: #D70404; font-family: 'Crete Round', serif; font-weight: bold; } #programm #infos .indications { color: #C17700; font-family: 'Crete Round', serif; font-style: italic; } #dropdown_menu { position: absolute; display: flex; flex-direction: column; list-style-type: none; z-index: 1; padding: 0; margin: 0; } #dropdown_menu > li > a { display: block; width: 130px; height: 33px; background-color: white; line-height: 33px; font-family: 'Crete Round', serif; font-size: 16px; color: #9B7606; text-decoration: none; border-style: solid; border-width: 4px; margin-bottom: -4px; border-top-color: #ffce67; border-left-color: #ffce67; border-bottom-color: #d69c3f; border-right-color: #d69c3f; padding: 0 5px; } #dropdown_menu > li > a:hover { background: rgb(255,190,62); background: linear-gradient(180deg, rgba(255,190,62,1) 0%, rgba(255,122,49,1) 100%); } #programm .action_buttons { grid-column: 1; grid-row: 2; } #programm .action_buttons button { border: 0; cursor: pointer; background: none; display: inline; margin: 0; padding: 0; } #programm .editor { grid-column: 2 / 4; grid-row: 2; margin-bottom: 10px; } #programm .editor .cleditorMain { border: solid; border-width: 4px; border-color: #FFAF22; background-color: #FAF07A; } #programm .editor #disable { background-color: gray; opacity: 0.3; position: absolute; cursor: not-allowed; /* Add margin the size of the border */ margin: 4px; /* Same fixed size as editor */ width: 620px; height: 314px; } #programm .signes_container { float: right; display: flex; flex-direction: column; width: 32px; } #programm .signes_container > button { margin-bottom: 16px; max-width: 25px; max-height: 25px; border-width: 3px; font-size: 16px; padding: 0; border-left-color: #989993; border-bottom-color: #74746f; border-right-color: #80807b; border-top-color: #a5a5a0; background-color: #a19e9d; background: linear-gradient(45deg, #a19e9d 0%, #efefef 100%); cursor: pointer; } #programm #debug { grid-column: 2 / 4; grid-row: 3; background-color: #DF6060; border: solid; border-width: 4px; border-color: #D12424; overflow: auto; max-height: 400px; overflow: auto; padding: 2px 5px; font-family: 'Crete Round', serif; } #programm #debug .debug_title { font-size: 16px; color: #AC0000; margin-bottom: 8px; } #programm #debug .debug_title img { display: inline-block; margin-top: 8px; margin-bottom: -8px; } #programm #debug .debug_content { text-align: left; font-size: 14px; color: #771A1A; } #programm #debug #suggestion_erreur { font-size: 14px; color: #1B6618; } #programm #debug .ampoule { margin-right: 2px; } #programm #execution { grid-column: 2 / 4; grid-row: 3; max-height: 400px; overflow-y: auto; background-color: #EED858; border: solid; border-width: 4px; border-color: #D2A124; font-family: 'Crete Round', serif; font-style: normal; text-decoration: none; text-align: left; overflow: auto; word-wrap: break-word; padding: 2px 5px; font-size: 12px; } #programm #execution p { margin: 0; padding: 0; } #programm #execution > span { font-size: 18px; color: #DB7517; } #programm #execution #fin_execution { color: red; font-size: 18px; } #programm #variables { grid-column: 1; grid-row: 3; max-height: 400px; overflow-y: auto; margin-right: 16px; background-color: #FFD745; border: solid; border-width: 4px; border-color: #FAC801; font-family: 'Crete Round', serif; font-style: normal; text-decoration: none; text-align: left; overflow: auto; word-wrap: break-word; font-size: 12px; padding: 2px 5px; } #programm #variables > span { font-size: 18px; color: #D70404; } #programm #variables .vars { margin-top: 3px; margin-bottom: 0px; font-size: 14px; color: #D70404; } /************** * Text blocks ***************/ .text_block { text-align: justify; background-color: #FFD745; border: solid; border-width: 4px; border-radius: 5px; border-color: #FAC801; font-family: 'Crete Round', serif; font-size: 16px; color: black; padding: 5px 11px 7px 11px; margin-bottom: 40px; } p .text_block { margin: 0; } .text_block >p:first-child { margin-top: 0; } /************** * Code example + code result ***************/ .code_example_container { display: flex; flex-direction: row; align-items: flex-start; width: 100%; } .code_example_container > * { flex-grow: 1; flex-basis: 0; } .code_example { border: solid; border-radius: 14px; border-width: 4px; font-family: 'Verdanna', Arial; font-size: 14px; font-weight: bold; position: relative; margin: 8px 16px; padding: 5px 6px; } .code_example > small { line-height: 12px; position: absolute; top: 2px; right: 5px; font-weight: normal; font-family: 'Crete Round', serif; } .code_example.code_algo { background-color: rgb(255, 84, 84); border-color: rgb(236, 10, 10); color: rgb(173, 0, 0); } .code_example.code_casio { background-color: rgb(145, 226, 99); border-color: rgb(66, 167, 66); color: rgb(62, 139, 10); } .code_example.code_ti { background-color: rgb(155, 148, 248); border-color: rgb(60, 103, 167); color: rgb(40, 83, 175); } .code_result { border: solid; border-radius: 14px; border-width: 4px; font-family: 'Crete Round', serif; background-color: #EED858; border-color: #D2A124; margin: 8px 16px; color: #D29A17; padding: 6px 18px; } .code_result > span { font-size: 18px; color: #DB7517; margin: 0px 6px 3px -6px; display: block; }