Skip to content
Snippets Groups Projects
Commit 148b5489 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[ivette] merging styles

parent b971e3ae
No related branches found
No related tags found
No related merge requests found
/* -------------------------------------------------------------------------- */
/* --- Frama-C Styling --- */
/* --- Main Frame --- */
/* -------------------------------------------------------------------------- */
.sidebar-ruler {
......@@ -16,6 +16,10 @@
font-size: smaller;
}
/* -------------------------------------------------------------------------- */
/* --- Properties --- */
/* -------------------------------------------------------------------------- */
.code-column {
margin: 0px;
padding: 0px;
......@@ -23,6 +27,10 @@
text-overflow: ellipsis;
}
/* -------------------------------------------------------------------------- */
/* --- AST View --- */
/* -------------------------------------------------------------------------- */
.highlighted-marker {
background-color: #FFFF66;
}
......@@ -41,6 +49,10 @@
background: #DDD
}
/* -------------------------------------------------------------------------- */
/* --- Globals --- */
/* -------------------------------------------------------------------------- */
.globals-main label {
text-decoration: underline;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment