Merge pull request #593 from France-ioi/franceioi-design

Franceioi design

Author: SebastienTainon

frontend/buffers/Editor.tsx

@@ -309,7 +309,7 @@ export function Editor(props: EditorProps) {
         // editor.setBehavioursEnabled(false);
         editor.current.setTheme(`ace/theme/${props.theme || 'textmate'}`);
         session.setMode(`ace/mode/${props.mode || 'text'}`);
-        editor.current.setFontSize(Math.round(16 * zoomLevel) + 'px');
+        editor.current.setFontSize(Math.round(18 * zoomLevel) + 'px');
         editor.current.setOptions({
             readOnly: !!props.readOnly,
             enableBasicAutocompletion: props.hasAutocompletion,
@@ -403,7 +403,7 @@ export function Editor(props: EditorProps) {
 
     useEffect(() => {
         if (editor.current) {
-            editor.current.setFontSize(Math.round(16 * zoomLevel) + 'px');
+            editor.current.setFontSize(Math.round(18 * zoomLevel) + 'px');
         }
     }, [zoomLevel]);
 

frontend/task/libs/quickalgo_library_factory.ts

@@ -192,7 +192,7 @@ export function* createQuickalgoLibrary(platformAlreadyChanged: boolean = false)
         yield* put(taskSetContextIncludeBlocks(JSON.parse(JSON.stringify(context.infos.includeBlocks))));
     }
     if (context.infos && context.infos.panelCollapsed) {
-        yield* put(taskSetBlocksPanelCollapsed({collapsed: false, manual: true}));
+        yield* put(taskSetBlocksPanelCollapsed({collapsed: true}));
     }
 
     yield* call(quickAlgoLibraryResetAndReloadStateSaga);

frontend/task/task.scss

@@ -540,7 +540,7 @@ html:not([active-view="task"]):not([active-view="solution"]) {
   pre {
     display: block;
     padding: 10px;
-    font-size: 16px;
+    font-size: 1rem;
     line-height: 1.42857143;
     color: #333;
     word-break: break-all;
@@ -1081,7 +1081,7 @@ pre, #app .ace_editor, .stack-view, .subtitles-band-frame {
     box-shadow: 0 1px 3px rgba(0,0,0,0.08);
 
     .code-header {
-      font-size: 0.85rem;
+      font-size: 0.9rem;
       font-weight: 600;
       padding: 0.4rem 0.8rem;
       background: #e5e7eb;
@@ -1090,7 +1090,6 @@ pre, #app .ace_editor, .stack-view, .subtitles-band-frame {
 
     pre, .editor {
       margin: 0;
-      font-size: 0.95rem;
       overflow-x: auto;
       line-height: 1.5;
     }